Sie sind hier
E-Book

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

eBook Formale Modelle der Softwareentwicklung Cover
Autor
Verlag
Erscheinungsjahr
2009
Seitenanzahl
311
Seiten
ISBN
9783834895950
Format
PDF
Kopierschutz
DRM
Geräte
PC
MAC
eReader
Tablet
Preis
14,99
EUR

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.

Kaufen Sie hier:

E-Book Tabs

Weitere E-Books zum Thema: Software-Design - Softwareentwicklung

Abenteuer Softwarequalität

eBook Abenteuer Softwarequalität Cover

Dieses Buch vermittelt ein fundiertes Grundwissen über Softwarequalität. Kann man Qualität messen und wie kommt man zu sinnvollen Qualitätskriterien? Wie findet man Fehler in Programmen und wie ...

Moderne C++ Programmierung

eBook Moderne C++ Programmierung Cover

C++ ist eine objektorientierte Programmiersprache, neben der Objektorientierung gewinnt aber die generische Programmierung mittels parametrisierbaren Klassen oder Templates zunehmend an Bedeutung, da ...

Reguläre Ausdrücke

eBook Reguläre Ausdrücke Cover

Reguläre Ausdrücke sind ein leistungsstarkes Mittel zur Verarbeitung von Texten und Daten. Wenn Sie reguläre Ausdrücke noch nicht kennen, wird Ihnen dieses Buch eine ganz neue Welt eröffnen. ...

Lexikon Softwareentwicklung

eBook Lexikon Softwareentwicklung Cover

Das Lexikon Softwareentwicklung gibt es nur als E-Book im EPUB-Format. In diesem Werk werden die Vorteile der modernen E-Book-Technologie konsequent umgesetzt. Neben dem verlinkten Index gibt es ein ...

Weitere Zeitschriften

Baumarkt

Baumarkt

Baumarkt enthält eine ausführliche jährliche Konjunkturanalyse des deutschen Baumarktes und stellt die wichtigsten Ergebnisse des abgelaufenen Baujahres in vielen Zahlen und Fakten zusammen. Auf ...

Berufsstart Bewerbung

Berufsstart Bewerbung

»Berufsstart Bewerbung« erscheint jährlich zum Wintersemester im November mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...

der praktiker

der praktiker

Technische Fachzeitschrift aus der Praxis für die Praxis in allen Bereichen des Handwerks und der Industrie. “der praktiker“ ist die Fachzeitschrift für alle Bereiche der fügetechnischen ...

DGIP-intern

DGIP-intern

Mitteilungen der Deutschen Gesellschaft für Individualpsychologie e.V. (DGIP) für ihre Mitglieder Die Mitglieder der DGIP erhalten viermal jährlich das Mitteilungsblatt „DGIP-intern“ ...

DSD Der Sicherheitsdienst

DSD Der Sicherheitsdienst

Der "DSD – Der Sicherheitsdienst" ist das Magazin der Sicherheitswirtschaft. Es erscheint viermal jährlich und mit einer Auflage von 11.000 Exemplaren.Der DSD informiert über aktuelle Themen des ...

DULV info

DULV info

UL-Technik, UL-Flugbetrieb, Luftrecht, Reiseberichte, Verbandsinte. Der Deutsche Ultraleichtflugverband e. V. - oder kurz DULV - wurde 1982 von ein paar Enthusiasten gegründet. Wegen der hohen ...