4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software

Weitere Magazine

Empfehlungen

Info

4.3 Vorgehensweise bei der formalen Softwareentwicklung ST II Formale Spezifikation des Systems Informelle Anforderungsbeschreibung Sicherheitsrelevante Anforderungen Formale Eigenschaften formal Beweis über Erfüllung der sicherheitsrelevanten Anforderungen Operationelle Anforderungen Formale Systembeschreibung Beweis über Umsetzung der formalen Systembeschreibung nicht formal Rahmensystem Verfeinerung Formale Beschreibung der Implementierung Programmquelltext Physikalischtechnische Realisierung © 2013 IAS, Universität Stuttgart 185
4.3 Vorgehensweise bei der formalen Softwareentwicklung ST II Beispiel: Systemstruktur Verkehrsleitsystem NS OW Verkehrsleitsystem Verkehrsüberwachung Ampelsystem Verkehrssteuerung Ampelsteuerungsmodul Ampelstatistik Ampelinit Schalten Druck-Ausgabe Schaltprotokoll Statistikauswertung © 2013 IAS, Universität Stuttgart 186
Seite 1 und 2: Softwaretechnik II § 4 Formale Met
Seite 3 und 4: 4.1 Wozu formale Methoden? ST II Vo
Seite 5 und 6: 4.1 Wozu formale Methoden? ST II Ei
Seite 7 und 8: 4.1 Wozu formale Methoden? ST II Fo
Seite 9 und 10: Frage zu Kapitel 4.1 ST II Frage zu
Seite 11 und 12: 4.2 Grundlagen der formalen Spezifi
Seite 23: Softwaretechnik II ST II § 4 Forma
Seite 27 und 28: 4.3 Vorgehensweise bei der formalen
Seite 29 und 30: 4.3 Vorgehensweise bei der formalen
Seite 31 und 32: Frage zu Kapitel 4.3 ST II Frage zu
Seite 33 und 34: 4.4 Modelchecker SMV ST II Merkmale
Seite 35 und 36: 4.4 Modelchecker SMV ST II Vorgehen
Seite 37 und 38: 4.4 Modelchecker SMV ST II Beispiel
Seite 39 und 40: 4.4 Modelchecker SMV ST II Beispiel
Seite 41 und 42: 4.4 Modelchecker SMV ST II Ergebnis
Seite 43 und 44: Softwaretechnik II ST II § 4 Forma
Seite 45 und 46: 4.5 Hinweise für die Praxis ST II

4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?