default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 40
Volume 40, Number 1, May 2001
- Egidio Astesiano, Carlo Ghezzi:
Fundamental Approaches to Software Engineering. 1-2 - Steven Bradley
, William Henderson, David Kendall, Adrian Robson:
A formal design language for real-time systems with data. 3-29 - Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. 31-57 - Alexandre Mota, Augusto Sampaio:
Model-checking CSP-Z: strategy, tool support and industrial application. 59-96 - Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties. 97-118 - Peter Scholz:
Incremental design of statechart specifications. 119-145
Volume 40, Number 2-3, July 2001
- Dennis B. Smith, Steven Woods:
Preface. 147-149 - Margaret Ann Francel, Spencer Rugaber:
The value of slicing while debugging. 151-169 - Cristina Cifuentes, Mike Van Emmerik:
Recovery of jump table case statements from binary code. 171-188 - Arie van Deursen, Leon Moonen:
An empirical study into COBOL type inferencing. 189-211 - Giuliano Antoniol, Bruno Caprile, Alessandra Potrich, Paolo Tonella:
Design-code traceability recovery: selecting the basic linkage properties. 213-234 - Beniamino Di Martino, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano:
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs. 235-263
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
