Vorwort Inhaltsverzeichnis Leseprobe
Video zum Buch ins Buch schauen Ebook
druckfähiges Buchcover DozentenPLUS | Zusatzmaterialien OnlinePLUS | Zusatzmaterialien
Teil einer eBook FlatrateOnline Flatrate FAQ blind
Formale Modelle der SoftwareentwicklungFormale Modelle der Softwareentwicklung
Formale Modelle der Softwareentwicklung
Autor: Kleuker, Stephan

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

2009. X, 301 S. mit 206 Abb. Br.
ISBN: 978-3-8348-0669-7

Lehrbuch

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

34,90 €
Lieferbar, versandfertig in 3 Tagen
Das Buch
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.
Aus dem Inhalt
Motivation von formalen Modellen – Model Checking mit Promela und Spin – Timed Automata – Petrinetze – Semantik und Verifikation sequenzieller und paralleler Programme
Zielgruppe
- Informatik-Studierende ab 4. Semester
- Studierende in Informatik-orientierten Master-Studiengängen
- Entwickler kritischer Software-Systeme
- An Qualitätssicherung Interessierte
Autor | Herausgeber
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.
Leserstimmen
"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
Internetressourcen / E-Mails
Autorenhomepage
» http://home.edvsz.hs-osnabrueck.de/skleuker/fmse/index.html
comment send print AddThis Feed Button

VIELLEICHT INTERESSIEREN SIE AUCH DIESE TITEL?

 
Softwareentwicklung kompakt und verständlich Autoren: Brandt-Pook, Hans / Kollmeier, Rainer
Softwareentwicklung kompakt und verständlich

Entwicklung von Softwaresystemen für Einsteiger
 
Grundkurs Software-Engineering mit UML Autor: Kleuker, Stephan
Grundkurs Software-Engineering mit UML

Eine praktische Anleitung zum Softwareentwurf mit UML
 
24,95 €
BestellenIn den Warenkorb
 
 
29,95 €
BestellenIn den Warenkorb
 

STICHWORTE, DIE AUF WEITERE PRODUKTE VERWEISEN

 
E-Mail-Adresse


Sind Sie Dozent?

Passwort vergessen?
Passwort


 Ja   Nein

 


ALLE ZEITSCHRIFTEN