Hutter, DieterDieterHutterMantel, HeikoHeikoMantelRock, GeorgGeorgRockStephan, WernerWernerStephanWolpers, AndreasAndreasWolpersBalser, MichaelMichaelBalserReif, WolfgangWolfgangReifSchellhorn, GerhardGerhardSchellhornStenzel, KurtKurtStenzel2022-11-152022-11-151998-10Lecture Notes in Computer Science 1641 LNCS: 351-358 (1999)http://hdl.handle.net/11420/14040We 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.enInformatikConference Paper10.1007/3-540-48257-1_26Other