InhaltsangabeCorrect software: From experiments to applications.- A method for the development of correct software.- Realizing sets by hash tables.- Event automata as a generic model of reactive systems.- On object-oriented design and verification.- Design of modular software systems with reuse.- AVL trees revisited: A case study in Spectrum.- KORSO reference languages concepts and application domains.- How to cope with the Spectrum of Spectrum.- A fine-grain sort discipline and its application to formal program construction.- TROLL light - The language and its development environment.- Formalization of algebraic specification in the development language Deva.- Construction and deduction methods for the formal development of software.- Experiences with a specification environment.- Towards correct, efficient and reusable transformational developments.- The verification system Tatzelwurm.- Seduct - A proof compiler for first order logic.- Traverdi - Transformation and verification of distributed systems.- The Kiv-approach to software verification.- Three selected case studies in verification.- Case study "production cell": A comparative study in formal specification and verification.- The Korso case study for software engineering with formal methods: A medical information system.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg