Skip to main content
SpringerLink
Log in

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

  • Textbook
  • © 2009

Overview

Authors:
  1. Stephan Kleuker
    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Motivation von Formalen Modellen

    • Stephan Kleuker
    Pages 1-11

  3. Modelchecking mit PROMELA und SPIN

    • Stephan Kleuker
    Pages 13-116

  4. Modelchecking mit Timed Automata und Uppaal

    • Stephan Kleuker
    Pages 117-162

  5. Petrinetze

    • Stephan Kleuker
    Pages 163-200

  6. Programmverifikation

    • Stephan Kleuker
    Pages 201-273

  7. Installationsbeschreibungen

    • Stephan Kleuker
    Pages 275-279

  8. Kurzeinführung in Java

    • Stephan Kleuker
    Pages 281-291

  9. Back Matter

    Pages 293-301
    Download chapter PDF
Back to top

Keywords

About this book

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.

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

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation