Inhalt
Kommentar |
Softwarequalität, Zusicherungen, Klassifizierung von Klassenmethoden; Programming by Contract; Vorbedingungen, Nachbedingungen und Invarianten; Contracts bei der Vererbung; formale Spezifikation mit OCL2; Frame-Regeln; Fallstudien formaler Spezifikation.
|
Zielgruppe |
Master IT: MIT03; Master Mathematik: Erg.InfFM; Studienschwerpunkte Informatik anderer Studiengänge |