default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKORSO 1995
- Manfred Broy, Stefan Jähnichen:
KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science 1009, Springer 1995, ISBN 3-540-60589-4 - Manfred Broy, Martin Wirsing:
Correct Software: From Experiments to Applications. 1-26 - Peter Pepper, Martin Wirsing:
A Method for the Development of Correct Software. 27-57 - Peter Pepper, Ralph Betschko, Sabine Dick, Klaus Didrich:
Realizing Sets by Hash Tables. 58-73 - G. Michele Pinna, Axel Poigné:
Event Automata as a Generic Model of Reactive Systems. 74-91 - Claus Lewerentz, Thomas Lindner, Andreas Rüping, Emil Sekerinski:
On Object-Oriented Design and Verification. 92-111 - Stefan Gastinger, Rolf Hennicker, Robert Stabl:
Design of Modular Software Systems with Reuse. 112-127 - Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch:
AVL Trees Revisited: A Case Study in SPECTRUM. 128-149 - 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 - Uwe Wolter, Klaus Didrich, Felix Cornelius, Marcus Klar:
How to Cope with the Spectrum of SPECTRUM. 173-189 - Jochen Burghardt:
A Fine-Grain Sort Discipline and Its Application to Formal Program Construction. 190-204 - Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig:
TROLL light - The Language and its Development Environment. 205-222 - Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer:
Formalization of Algebraic Specification in the Development Language DEVA. 223-238 - Friedrich W. von Henke, Axel Dold, Harald Rueß, Detlef Schwier:
Construction and Deduction Methods for the Formal Development of Software. 239-254 - Jacques Loeckx, Jörg Zeyer:
Experiences with a Specification Environment. 255-269 - Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments. 270-284 - Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck:
The Verification System Tatzelwurm. 285-298 - Karl Stroetmann:
Seduct - A Proof Compiler for First Order Logic. 299-316 - Jürgen Bohn, Hardi Hungar:
Traverdi - Transformation and Verification of Distributed Systems. 317-338 - Wolfgang Reif:
The KIV-Approach to Software Verification. 339-370 - Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Three Selected Case Studies in Verification. 371-387 - Claus Lewerentz, Thomas Lindner:
"Production Cell": A Comparative Study in Formal Specification and Verification. 388-416 - Felix Cornelius, Heinrich Hußmann, Michael Löwe:
The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. 417-432
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-11 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
