Sciweavers

Share
FM
1998
Springer

VSE: Controlling the Complexity in Formal Software Developments

10 years 8 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the development process from the speci cation 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.
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where FM
Authors Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Comments (0)
books