Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation 2009th Edition
Author(s): Stephan Kleuker (Author)
- Publisher: Vieweg+Teubner Verlag
- Publication Date: September 15, 2009
- Edition: 2009th
- Language: German
- Print length: 311 pages
- ISBN-10: 3834806692
- ISBN-13: 9783834806697
Book Description
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.
Editorial Reviews
Review
“Die Fehlerauflistung am Anfang macht deutlich, woran das Buch arbeitet, woran die Ausbildung arbeiten muss und woran Entwickler denken müssen. Es sind eben nicht die monumentalen Dinge, die Fehler auslösen; es sind die kleinen Dinge, Komma, statt Punkt etc. Tests alleine genügen daher nicht; wir müssen mehr und mehr Korrektheitsbeweise anstreben, um eine Vollständigkeit bzgl. der Korrektheit unserer Programme erreichen.”
Professor Christoph Klauck, HAW Hamburg
Book Description
Softwarefehler finden
From the Back Cover
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.
Der Inhalt:
Motivation von formalen Modellen – Model Checking mit Promela und Spin – Timed Automata – Petrinetze – Semantik und Verifikation sequenzieller und paralleler Programme
Die Zielgruppe:
– Informatik-Studierende ab 4. Semester
– Studierende in Informatik-orientierten Master-Studiengängen
– Entwickler kritischer Software-Systeme
– An Qualitätssicherung Interessierte
Der Autor:
Prof. Dr. Stephan Kleuker hat im Themengebiet “formale Methoden” promoviert und lehrt seit mehreren Jahren Software-Engineering an den Fachhochschulen in Osnabrück und Wiesbaden. Er hat mehrjährige Praxiserfahrung als Systemanalytiker sowie als Berater bei der Erstellung komplexer Software-Systeme.
About the Author
Prof. Dr. Stephan Kleuker hat im Themengebiet “formale Methoden” promoviert und lehrt seit mehreren Jahren Software-Engineering an den Fachhochschulen in Osnabrück und Wiesbaden. Er hat mehrjährige Praxiserfahrung als Systemanalytiker sowie als Berater bei der Erstellung komplexer Software-Systeme.
View on Amazon
{“@context”:”https://schema.org”,”@type”:”Book”,”name”:”Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation 2009th Edition”,”image”:”https://m.media-amazon.com/images/I/41vqC+cG9PL._SY445_SX342_FMwebp_.jpg”,”author”:{“@type”:”Person”,”name”:”Stephan Kleuker (Author)”},”publisher”:{“@type”:”Organization”,”name”:”Vieweg+Teubner Verlag”},”datePublished”:”September 15, 2009″,”isbn”:”9783834806697″,”numberOfPages”:311,”inLanguage”:”German”,”description”:”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.”,”bookEdition”:”2009th”,”url”:”https://www.amazon.com/dp/3834806692/”,”bookFormat”:”http://schema.org/EBook”,”additionalType”:”http://schema.org/PDF”,”fileSize”:”92 MB”,”accessibilityFeature”:[“login required”,”member access only”],”accessibilitySummary”:”PDF version available to authenticated members only. File size: 92 MB.”}
Wow! eBook
