Es stellt eine allgemeine Methode zur modularen formalen Entwicklung zu Verfügung, die beginnend mit abstrakten Spezifikationen eine schrittweise Verfeinerung über mehr und mehr mit technischen Einzelheiten angereicherte Zwischenebenen bis hin zu ausführbarem Code unterstützt.
VSE bietet dem Benutzer Werkzeugunterstützung für die Entwicklung sequentieller Algorithmen und verteilter, nebenläufiger Systeme basierend auf Abstrakten Datentypen erster Ordnung, Dynamischer Logik und Temporallogik als grundlegenden Formalismen.
Strukturierte Entwicklungen werden als sogenannte Entwicklungsgraphen dargestellt, die als Schnittstelle zur Deduktionskomponente dienen.
www.dfki.deHowever, the VSE is not restricted to security issues : it provides a general methodology for a modular formal development that starts with abstract specifications and proceeds by stepwise refinement to the formal description of more concrete layers even down to the code level.
VSE offers implemented development methods for sequential algorithms and distributed concurrent systems using first-order abstract data types, Dynamic Logic, and Temporal Logic as basic building blocks.
Structured developments are represented as so called development graphs that serve as an interface to the deduction component.
www.dfki.deChcesz dodać słowo, frazę lub tłumaczenie?
Wyślij nowe hasło.