Das Ziel algebraischer Spezifikation ist die Entwicklung verlässlicher Software.
Beginnend mit einer abstrakten Spezifikation , die eng an den informalen Anforderungen orientiert ist , kann Korrekheit durch schrittweise Verfeinerung erreicht werden , die schließlich zu einer ausführbaren Spezifikation führt , die implementiertem Code nahe kommt .
Algebraische Spezifikation kann als formale Methode zur Softwareentwicklung aufgefasst werden und gehört daher zum Bereich des Software-Engeneering.
www.informatik.uni-bremen.deThe aim of algebraic specification is the design of reliable software.
It allows for correctness by stepwise refinement, starting with an abstract specification closely related to the informal requirements and leading to an executable specification near to implemented code.
Thus, seen as a formal method for software design, algebraic specification belongs to the area of software engeneering.
www.informatik.uni-bremen.deVSE ist jedoch nicht auf den Security Bereich beschränkt.
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.
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.
www.dfki.deDie Semantik einer Spezifikation ist lose, gegeben durch die Klasse sämtlicher Modelle.
Die Hinzunahme neuer Eigenschaften im Verlauf einer schrittweisen Verfeinerung , spiegelt sich daher in der Einengung dieser Modellklasse wider .
Die Sprache ist speziell auf die Modularisierung großer Projekte ausgelegt.
www4.informatik.tu-muenchen.deThe semantics of a specification is loose, given as the class of all models.
In a stepwise refinement new properties are added to an existing specification.
This leads to a restricted model class.
www4.informatik.tu-muenchen.deWould you like to add some words, phrases or translations?
Submit a new entry.