Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation
BuchKartoniert, Paperback
Deutsch
Vieweg & Teubnererschienen am15.09.20092009
Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR37,99
E-BookPDF1 - PDF WatermarkE-Book
EUR26,96

Produkt

KlappentextDoch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.
Zusammenfassung
Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software

Includes supplementary material: sn.pub/extras
Details
ISBN/GTIN978-3-8348-0669-7
ProduktartBuch
EinbandartKartoniert, Paperback
ErscheinungsortWiesbaden
ErscheinungslandDeutschland
Erscheinungsjahr2009
Erscheinungsdatum15.09.2009
Auflage2009
SpracheDeutsch
Illustrationen206 s/w Abbildungen
Artikel-Nr.11104913

Inhalt/Kritik

Inhaltsverzeichnis
Motivation von Formalen Modellen.- Modelchecking mit PROMELA und SPIN.- Modelchecking mit Timed Automata und Uppaal.- Petrinetze.- Programmverifikation.- Installationsbeschreibungen.- Kurzeinführung in Java.mehr
Prolog
Softwarefehler findenmehr

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.