Sie sind nicht angemeldet
Kompetenzzentrum
Wissensdatenbank
Anwendungsfelder
SE-Themen
Glossar
Forschungsprojekte
Anbieterverzeichnis
Datenbanksuche
Highlights
Wissensbrowser starten
Einordnung im Wissensnetz
Thema
Dies ist ein themenfreier Eintrag
Zuordnung zu SE-Themen
Anforderungen
Analyse
Spezifikation
Entwurf
Analyse & Evaluation
SE Werkzeuge u. Methoden
Methoden
Problembeschreibung
Unübersichtlichkeit von Spezifikationen
NEU: Externe Quellen zum Thema suchen
Externe Quellen werden abgefragt...
Beschreibung
Spezifikationen
in Form von
logischen Formeln
sind wenig anschaulich und werden bei komplexen Systemen schnell unübersichtlich und schwierig zu handhaben, so dass leicht Fehler in den auf diese Weise erstellten Spezifikationen auftreten können.
NEU: Externe Quellen zum Thema suchen
Externe Quellen werden abgefragt...
Eintrag kommentieren
Eintrag bewerten
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
Typisch im Kontext
Eingebettete Systeme
Realzeitsysteme
Unübersichtlichkeit...
Wird behandelt in
Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Entwurf eingebetteter Systeme
Formale Methoden - Map
Model Checking
NASA Formal Methods Guidebook
Spezifikation
Statemate
Statemate Magnum
Symbolic Timing Diagrams
Theorem Proving
Überblicksartikel zu Theorem Proving
Top
Drucken
Impressum
AGB
Home
VSEK
©2001-2012