Stephan Kleuker, "Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation"
German | 2009-09-15 | ISBN: 3834806692 | 316 pages | PDF | 3.2 mb
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.
Download File Size:2.95 MB
|
