Sie sind nicht angemeldet
Kompetenzzentrum
Wissensdatenbank
Anwendungsfelder
SE-Themen
Glossar
Forschungsprojekte
Anbieterverzeichnis
Datenbanksuche
Highlights
Wissensbrowser starten
Einordnung im Wissensnetz
Thema
Formale Methoden
Themeneinstiege
Activity-Charts
ATP (Überblick)
DeadLiveLockVerifISS
Endlicher Automat
Entwurf eingeb Systeme
Formale Logiken
Model Checking
Modellbildung
Petri-Netze (Übersicht)
Spezifikation
State-Chart
Statemate Verifikation
Symbolic Timing Diagram
Temporale Logik
Theorem Proving
Verifikation
Zuordnung zu SE-Themen
Qualität
Management-Prozess
Eintrag kommentierenErfahrung zum Thema berichtenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Verfahren
Formale Methoden
Methode/Technik:28677
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Beschreibung
Formale Methoden dienen dazu mit semantisch fundierten Methoden und Techniken Aussagen über ein Systemverhalten zu beweisen.

Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
 Erfahrung zum Thema berichten 
Kommentare
Es wurden 1 Kommentar und 0 Bewertungen abgegeben
Kommentare
Eine Annotation von Jan deMeer Jan deMeer, 22.05.2006
"Formale Methoden"
dienen vor allen Dingen dazu, sich ein Systemmodell zu bauen, um daran Systemverifikationen vorzunehmen, die das Vorhandensein geforderter Eigenschaften des Systemverhaltens garantieren sollen, aber... 
[Kommentar ganz lesen] 
Zu dieser Seite wurden noch keine Bewertungen abgegeben.
Formale Methoden
 
Zum Seitenanfang Top Drucken Impressum AGB
Home
VSEK ©2001-2012