4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Frage zu Kapitel 4.3<br />
ST II<br />
Frage zu Kapitel 4.3<br />
Welche Aussagen gelten bei der formalen <strong>Software</strong>entwicklung?<br />
Antwort<br />
f<br />
f<br />
<br />
<br />
<br />
Alle Anforderungen müssen formal beschrieben werden<br />
Sicherheitsnachweis der formal beschriebenen<br />
Sicherheitsanforderungen muss vorhanden sein<br />
Nur die zeitbehafteten Sicherheitsanforderungen werden formal<br />
beschrieben<br />
© 2013 IAS, Universität Stuttgart 192