Wissenschaftliche Literaturformale MethodeInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Jörn Mordau
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 Mittel…
dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikationJörn Jens Brandt & Klaus Schneider (Hrsg.)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
MBMV 2012
Forschungsergebnisse zur Informatik
Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE…
BeschreibungssprachenCodesginElektro-/InformationstechnikFormale ModellierungFormale VerifikationInformatikSimulationSystementwurfHäufige Schlagworte im Fachgebiet Informatik