TU Darmstadt / ULB / TUbiblio

VSE: Formal Methods Meet Industrial Needs

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas (2000)
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, 3 (1)
Artikel, Bibliographie

Kurzbeschreibung (Abstract)

The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides the means to structure specifications and supports the development process from the specification of a system to the automatic generation of code. Formal developments following the VSE method are stored and maintained in an administration system that guides the user and maintains a consistent state of development. An integrated deduction system provides proof support for the deduction problems arising during the development process.

We describe the application of VSE to an industrial case study and give an overview of the enhanced VSE system and the VSE methodology.

Typ des Eintrags: Artikel
Erschienen: 2000
Autor(en): Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas
Art des Eintrags: Bibliographie
Titel: VSE: Formal Methods Meet Industrial Needs
Sprache: Englisch
Publikationsjahr: 2000
Verlag: Springer
Titel der Zeitschrift, Zeitung oder Schriftenreihe: International Journal on Software Tools for Technology Transfer
Jahrgang/Volume einer Zeitschrift: 3
(Heft-)Nummer: 1
URL / URN: https://link.springer.com/article/10.1007/s100099900022
Kurzbeschreibung (Abstract):

The Verification Support Environment (VSE) is a tool to formally specify and verify complex systems. It provides the means to structure specifications and supports the development process from the specification of a system to the automatic generation of code. Formal developments following the VSE method are stored and maintained in an administration system that guides the user and maintains a consistent state of development. An integrated deduction system provides proof support for the deduction problems arising during the development process.

We describe the application of VSE to an industrial case study and give an overview of the enhanced VSE system and the VSE methodology.

Zusätzliche Informationen:

ar:vsegroup2000a

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS)
Hinterlegungsdatum: 09 Apr 2010 14:10
Letzte Änderung: 19 Jul 2018 12:28
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen