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

KVM Best Practices

eBook KVM Best Practices Cover

Die im Linux-Kernel integrierte Hardwarevirtualisierung KVM gewinnt im Enterprise-Bereich zunehmend an Bedeutung. Nach einer kurzen Einführung in die Virtualisierung mit KVM werden Lösungen ...

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 ...

Software Engineering

eBook Software Engineering Cover

Das Lehrbuch behandelt alle Aspekte der Software-Entwicklung, besonders aber Methoden und Richtlinien zur Herstellung großer und qualitativ hochwertiger Softwareprodukte. Es vermittelt das zur ...

Ergonomiesoftware

eBook Ergonomiesoftware Cover

Studienarbeit aus dem Jahr 2004 im Fachbereich Informatik - Software, Note: 1,5, Hochschule Pforzheim (Wirtschaftsingenieurwesen), Veranstaltung: Produktion, Sprache: Deutsch, Abstract: Die in ...

Weitere Zeitschriften

Card Forum International

Card Forum International

Card Forum International, Magazine for Card Technologies and Applications, is a leading source for information in the field of card-based payment systems, related technologies, and required reading ...

Courier

Courier

The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...

Die Versicherungspraxis

Die Versicherungspraxis

Behandlung versicherungsrelevanter Themen. Erfahren Sie mehr über den DVS. Der DVS Deutscher Versicherungs-Schutzverband e.V, Bonn, ist der Interessenvertreter der versicherungsnehmenden Wirtschaft. ...

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 ...

e-commerce magazin

e-commerce magazin

PFLICHTLEKTÜRE – Seit zwei Jahrzehnten begleitet das e-commerce magazin das sich ständig ändernde Geschäftsfeld des Online- handels. Um den Durchblick zu behalten, teilen hier renommierte ...

ERNEUERBARE ENERGIEN

ERNEUERBARE ENERGIEN

ERNEUERBARE ENERGIEN informiert durch unabhängigen Journalismus umfassend über die wichtigsten Geschehnisse im Markt der regenerativen Energien. Mit Leidenschaft sind wir stets auf der Suche nach ...