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
Special Issue on Program Comprehension (Pittsburg,
PA,
1999)
- 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
Copyright © Sun Nov 8 03:46:13 2009
by Michael Ley (ley@uni-trier.de)
