Abstract is missing.
- The Name and Nature of Software EngineeringMichael Jackson. 1-38 [doi]
- A Modeling Language for Program Design and SynthesisDon S. Batory. 39-58 [doi]
- A Method for Verifiable and Validatable Business Process ModelingEgon Börger, Bernhard Thalheim. 59-115 [doi]
- Service Oriented Architecture: Overview and DirectionsBoualem Benatallah, Hamid R. Motahari Nezhad. 116-130 [doi]
- A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service CompositionsDomenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea. 131-160 [doi]
- Software Manipulation with Annotations in JavaVincenzo Gervasi, Giacomo A. Galilei. 161-184 [doi]
- Zero-Overhead Composable Aspects for .NETRasmus Johansen, Peter Sestoft, Stephan Spangenberg. 185-215 [doi]
- Technologies for Evolvable Software Products: The Conflict between Customizations and EvolutionPeter Sestoft, Sebastien Vaucouleur. 216-253 [doi]
- Security in Distributed ApplicationsDieter Gollmann. 254-276 [doi]