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
Entwurf
Analyse & Evaluation
SE Werkzeuge u. Methoden
Methoden
Eintrag kommentierenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Glossareintrag
Formale Methoden - Map
Glossar:2970
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Erläuterung

Übersichtsgrafik
Quelle der Definition
Quelle; Quelle2
Weitere Definitionen
Weitere Definitionen
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
Formale Methoden - Map
Erläutert Technologien
Theorem Proving
Verifikation (formal)
Ansprechpartner
Josko, Bernhard
Literatur hierzu
Einsatz formaler Methoden zur Erhöhung der Sicherheit eingebetteter Systeme im Kfz
Model Checking
Programmverifikation
Statemate Magnum
Betrifft Probleme
Erfüllung von Standards
Erkennung von Spezifikationsfehlern in späten Entwicklungsphasen
Hohe Entwicklungskosten durch Integrationsprobleme in späten Phasen des Entwicklungsprozesses.
Konsistenz zwischen Spezifikation und Modell
Manuelles Aufdecken von Fehlern
Spezifikationen nur systemspezifisch verwendbar
Ungenauigkeiten beim Festlegen von Eigenschaften und Verhalten eines Systems
Unübersichtlichkeit von Spezifikationen
Unvollständigkeit von Spezifikationen
Wachsende Systemkomplexität
 
Zum Seitenanfang Top Drucken Impressum AGB
Home
VSEK ©2001-2012