Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

Authors: Kleuker, Stephan

Free Preview
  • Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software

Buy this book

eBook 29,99 €
price for Spain (gross)
  • ISBN 978-3-8348-9595-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 36,92 €
price for Spain (gross)
  • ISBN 978-3-8348-0669-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

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 authors

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.

Reviews

"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

Table of contents (7 chapters)

Table of contents (7 chapters)
  • Motivation von Formalen Modellen

    Pages 1-11

    Kleuker, Stephan

  • Modelchecking mit PROMELA und SPIN

    Pages 13-116

    Kleuker, Stephan

  • Modelchecking mit Timed Automata und Uppaal

    Pages 117-162

    Kleuker, Stephan

  • Petrinetze

    Pages 163-200

    Kleuker, Stephan

  • Programmverifikation

    Pages 201-273

    Kleuker, Stephan

Buy this book

eBook 29,99 €
price for Spain (gross)
  • ISBN 978-3-8348-9595-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 36,92 €
price for Spain (gross)
  • ISBN 978-3-8348-0669-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formale Modelle der Softwareentwicklung
Book Subtitle
Model-Checking, Verifikation, Analyse und Simulation
Authors
Copyright
2009
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden
eBook ISBN
978-3-8348-9595-0
DOI
10.1007/978-3-8348-9595-0
Softcover ISBN
978-3-8348-0669-7
Edition Number
1
Number of Pages
X, 301
Number of Illustrations
206 b/w illustrations
Topics