Copied Formale Modelle der Softwareentwicklung
Formale Modelle der Softwareentwicklung
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 Testanstzen spielen fr 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 przise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Bildung Arbeit Erwachsenwerden
$44.99
Intelligent Systems and Machine Learning
$109.99
SL2(R)
$54.99
Management Models for Corporate Social Responsibility
$54.99
Ambulatory Electrocardiography
$79.99
Minimal Surfaces from a Complex Analytic Viewpoint
$139.99
From History to Herstory
$169.99
Circulatory and Developmental Aspects of Brain Metabolism
$54.99
Shopping Malls
$59.99
Prostate Cancer
$249.99
Science, Politics and the Public Good
$44.99
Job Scheduling Strategies for Parallel Processing
$54.99
The True Story of Modern Cosmology
$34.99
Ultralogic as Universal?
$99.99
Resilienz fr die VUCA-Welt
$74.99
Bezeugen
$69.99
Web Reasoning and Rule Systems
$54.99
Zur Zukunft der Controllingforschung
$89.99
Oral Microbiology
$74.99
Contesting British Chinese Culture
$99.99
Zeit in der Bildung zwischen Anthropozentrik und Verzweckung von Wissen
$59.99
Datenversorgung komponentenbasierter Informationssysteme
$39.99
Left Septal Fascicular Block
$109.99
Advanced Information Systems Engineering Workshops
$54.99
Migration, Religion and Early Childhood Education
$84.99
Colon Polypectomy
$54.99
The Hypnotists
$5.99
Praxisbuch Trauerbegleitung
$39.99
Research Misconduct as White-Collar Crime
$99.99
Reale Optionen
$99.99
Your True Moral Compass
$44.99
The Photographer as Autobiographer
$84.99
Data Mining for Design and Manufacturing
$169.99
Seedfolks
$7.46
Practical Blockchains and Cryptocurrencies
$59.99
A Womanist Pastoral Theology Against Intimate and Cultural Violence
$109.00
Western Views of Islam in Medieval and Early Modern Europe
$69.99
Data Engineering in Medical Imaging
$44.99
Zeiten des bergangs
$49.99
Die Komplexitt der Kriege
$49.99
