0

Mathematical Approaches to Software Quality

Erschienen am 01.04.2006
CHF 127,00
(inkl. MwSt.)

Noch nicht lieferbar

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9781846282423
Sprache: Englisch
Auflage: 1. Auflage
Einband: Gebunden

Beschreibung

InhaltsangabeIntroduction.- Software Engineering Mathematics.- Logic for Software Engineering.- Z Specification Language.- Vienna Development Method.- Irish School of VDM.- Dijkstra and Hoare.- The Parnas Way.- Cleanroom and Software Reliability.- Unified Modeling Language.- Technology Transfer.- Glossary.