Unsere Literatur zum Schlagwort For­male Spezifikation

Eine schlagwort­basierte Auswahl unserer Fachbücher

Statecharts in CSP (Forschungsarbeit)

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Forschungsergebnisse zur Informatik

Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle werden immer stärker Analyseverfahren…

CSP Formale Spezifikation Informatik Verifikation
Die Integration formaler Methoden zur Spezifikation von Informationssystemen (Forschungsarbeit)

Die Integration formaler Methoden zur Spezifikation von Informationssystemen

Studien zur Datenbankforschung

Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches…

Dynamische Integritätsbedingungen Formale Methode Informatik Informationssysteme Prädikatenlogik
 

Literatur: For­male Spezifikation / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač