Options
VSE: Controlling the complexity in formal software developments
Publikationstyp
Conference Paper
Date Issued
1998-10
Sprache
English
Author(s)
First published in
Number in series
1641 LNCS
Start Page
351
End Page
358
Citation
Lecture Notes in Computer Science 1641 LNCS: 351-358 (1999)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Springer
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring specifications and it supports the development process from the specification of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent state. An integrated deduction system provides proof support for the deduction problems arising during the development process.
DDC Class
004: Informatik