Abstract is missing.
- Correct Software: From Experiments to ApplicationsManfred Broy, Martin Wirsing. 1-26
- A Method for the Development of Correct SoftwarePeter Pepper, Martin Wirsing. 27-57
- Realizing Sets by Hash TablesPeter Pepper, R. Betschko, S. Dick, Klaus Didrich. 58-73
- Event Automata as a Generic Model of Reactive SystemsG. Michele Pinna, Axel Poigné. 74-91
- On Object-Oriented Design and VerificationClaus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski. 92-111
- Design of Modular Software Systems with ReuseStefan Gastinger, Rolf Hennicker, Robert Stabl. 112-127
- AVL Trees Revisited: A Case Study in SPECTRUMRudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch. 128-149
- Korso Reference Languages - Concepts and Application DomainsHans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog. 150-172
- How to Cope with the Spectrum of SPECTRUMUwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar. 173-189
- A Fine-Grain Sort Discipline and Its Application to Formal Program ConstructionJochen Burghardt. 190-204
- TROLL light - The Language and its Development EnvironmentMartin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig. 205-222
- Formalization of Algebraic Specification in the Development Language DEVAThomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer. 223-238
- Construction and Deduction Methods for the Formal Development of SoftwareFriedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier. 239-254
- Experiences with a Specification EnvironmentJacques Loeckx, Jörg Zeyer. 255-269
- Towards Correct, Efficient and Reusable Transformational DevelopmentsBernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff. 270-284
- The Verification System TatzelwurmPeter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck. 285-298
- Seduct - A Proof Compiler for First Order LogicKarl Stroetmann. 299-316
- Traverdi - Transformation and Verification of Distributed SystemsJürgen Bohn, Hardi Hungar. 317-338
- The KIV-Approach to Software VerificationWolfgang Reif. 339-370
- Three Selected Case Studies in VerificationThomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel. 371-387
- Production Cell : A Comparative Study in Formal Specification and VerificationClaus Lewerentz, Thomas Lindner. 388-416
- The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information SystemFelix Cornelius, Heinrich Hußmann, Michael Löwe. 417-432