Verwandte Artikel zu Formale Modelle der Softwareentwicklung: Model-Checking,...
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation - Softcover
Críticas
"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
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagVieweg+Teubner Verlag
- Erscheinungsdatum2009
- ISBN 10 3834806692
- ISBN 13 9783834806697
- EinbandTapa blanda
- Anzahl der Seiten312
Gebraucht kaufen
Zustand: BefriedigendBefriedigend/Good: Durchschnittlich... Mehr zu diesem Angebot erfahren
EUR 8,77
Versand:
EUR 9,00
Von Deutschland nach USA
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M03834806692-G
Anzahl: 1 verfügbar