Was ist Software? - Software Engineering: Dependability
Was ist Software? - Software Engineering: Dependability
Was ist Software? - Software Engineering: Dependability
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
SE 2 – Motivation<br />
© Prof. Dr. Liggesmeyer<br />
<strong>Was</strong> <strong>ist</strong> <strong>Software</strong> <strong>Engineering</strong><br />
Der Modultest<br />
• Formale Verifikation<br />
44