Research Catalog

Title

KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen, eds.

Publication

Berlin ; New York : Springer, 1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Broy, M., 1949-
• Jähnichen, Stefan.

Description

x, 449 pages; 24 cm.

Series Statement

Lecture notes in computer science ; 1009

Uniform Title

Lecture notes in computer science ; 1009.

Subject

• Computer software > Development

Bibliography (note)

• Includes bibliographical references.

Contents

• Correct Software: From Experiments to Applications / M. Broy and M. Wirsing -- A Method for the Development of Correct Software / P. Pepper and M. Wirsing -- Realizing Sets by Hash Tables / P. Pepper, R. Betschko, S. Dick and K. Didrich -- Event Automata as a Generic Model of Reactive Systems / M. Pinna and A. Poigne -- On Object-Oriented Design and Verification / C. Lewerentz, T. Lindner, A. Ruping and E. Sekerinski -- Design of Modular Software Systems with Reuse / S. Gastinger, R. Hennicker and R. Stabl -- AVL Trees Revisited: A Case Study in SPECTRUM / R. Hettler, D. Nazareth, F. Regensburger and O. Slotosch -- KORSO Reference Languages - Concepts and Application Domains / H.-D. Ehrich -- How to Cope with the Spectrum of SPECTRUM / U. Wolter, K. Didrich, F. Cornelius, M. Klar, R. Wessaly and H. Ehrig -- A Fine-Grain Sort Discipline and Its Application to Formal Program Construction / J. Burghardt --
• TROLL light- The Language and its Development Environment / M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis and H.-D. Ehrich -- Formalization of Algebraic Specification in the Development Language DEVA / T. Santen, F. Kammuller, S. Jahnichen and M. Beyer -- Construction and Deduction Methods for the Formal Development of Software / F. von Henke, A. Dold, H. Ruess, D. Schwier and M. Strecker -- Experiences with a Specification Environment / J. Loeckx and J. Zeyer -- Towards Correct, Efficient and Reusable Transformational Developments / B. Krieg-Bruckner, J. Liu, H. Shi and B. Wolff -- The Verification System Tatzelwurm / P. Deussen, A. Hansmann, T. Kaufl and S. Klingenbeck -- SEDUCT- A Proof Compiler for First Order Logic / K. Stroetmann -- TRAVERDI - Transformation and Verification of Distributed Systems / J. Bohn and H. Hungar -- The KIV-Approach to Software Verification / W. Reif --
• Three Selected Case Studies in Verification / T. Fuchss, W. Reif, G. Schellhorn and K. Stenzel -- Case Study "Production Cell": A Comparative Study in Formal Specification and Verification / C. Lewerentz and T. Lindner -- The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System / F. Cornelius, H. Hussmann and M. Lowe.

ISBN

3540605894 (softcover : alk. paper)

LCCN

95045669

OCLC

• 33333593
• ocm33333593

Owning Institutions

Columbia University Libraries