KORSO 1995

@proceedings{DBLP:conf/korso/1995,
  editor    = {Manfred Broy and
               Stefan J{\"a}hnichen},
  title     = {KORSO - Methods, Languages, and Tools for the Construction of
               Correct Software},
  booktitle = {KORSO Book},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1009},
  year      = {1995},
  isbn      = {3-540-60589-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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