Volume 40,
Number 1,
May 2001
- Egidio Astesiano, Carlo Ghezzi:
Fundamental Approaches to Software Engineering.
1-2 BibTeX
- Steven Bradley, William Henderson, David Kendall, Adrian Robson:
A formal design language for real-time systems with data.
3-29 BibTeX
- Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.
31-57 BibTeX
- Alexandre Mota, Augusto Sampaio:
Model-checking CSP-Z: strategy, tool support and industrial application.
59-96 BibTeX
- Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-based refinement of high-level nets preserving safety properties.
97-118 BibTeX
- Peter Scholz:
Incremental design of statechart specifications.
119-145 BibTeX
Volume 40,
Number 2-3,
July 2001
Special Issue on Program Comprehension (Pittsburg,
PA,
1999)
- Dennis B. Smith, Steven Woods:
Preface.
147-149 BibTeX
- Margaret Ann Francel, Spencer Rugaber:
The value of slicing while debugging.
151-169 BibTeX
- Cristina Cifuentes, Mike Van Emmerik:
Recovery of jump table case statements from binary code.
171-188 BibTeX
- Arie van Deursen, Leon Moonen:
An empirical study into COBOL type inferencing.
189-211 BibTeX
- Giuliano Antoniol, Bruno Caprile, Alessandra Potrich, Paolo Tonella:
Design-code traceability recovery: selecting the basic linkage properties.
213-234 BibTeX
- 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 BibTeX
Copyright © Sun May 17 00:18:40 2009
by Michael Ley (ley@uni-trier.de)
