Вы здесь

Главная

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Связанные издания:

A Fine-Grain Sort Discipline and its Application to Formal Program Construction
A Method for the Development of Correct Software
AVL Trees Revisited: A Case Study in Spectrum
Case Study "Production Cell": A Comparative Study in Formal Specification and Verification
Construction and Deduction Methods for the Formal Development of Software
Correct Software: From Experiments to Applications
Design of Modular Software Systems with Reuse
Event Automata as a Generic Model of Reactive Systems
Experiences with a Specification Environment
Formalization of Algebraic Specification in the Development Language Deva
How to Cope with the Spectrum of Spectrum
KORSO Reference Languages Concepts and Application Domains
On Object-Oriented Design and Verification
Realizing Sets by Hash Tables
Seduct - A Proof Compiler for First Order Logic
The Kiv-Approach to Software Verification
The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System
The Verification System Tatzelwurm
Three Selected Case Studies in Verification
Towards Correct, Efficient and Reusable Transformational Developments
Traverdi - Transformation and Verification of Distributed Systems
TROOL light - The Language and Its Development Environment