Formale Modelle der Softwareentwicklung
Kleuker, Stephan
Produktnummer:
18de23ead5917f44e196ed0b6cb5fcfcd0
| Autor: | Kleuker, Stephan |
|---|---|
| Themengebiete: | Automat Automaten Java Modellprüfung PROMELA SPIN Simulation Verifikation |
| Veröffentlichungsdatum: | 15.09.2009 |
| EAN: | 9783834806697 |
| Sprache: | Deutsch |
| Seitenzahl: | 301 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner |
| Untertitel: | Model-Checking, Verifikation, Analyse und Simulation |
Produktinformationen "Formale Modelle der Softwareentwicklung"
Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen präzise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmöglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen