4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software

ias.uni.stuttgart.de

4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software

Softwaretechnik II

ST II

§ 4 Formale Methoden zur Entwicklung qualitativ

hochwertiger Software

4.1 Wozu formale Methoden?

4.2 Grundlagen der formalen Spezifikation und Verifikation

4.3 Vorgehensweise bei der formalen Softwareentwicklung

4.4 Modelchecker SMV

4.5 Hinweise für die Praxis

© 2013 IAS, Universität Stuttgart 193

Weitere Magazine dieses Users
Ähnliche Magazine