Title: Formal object-oriented development
Subjects: Z (Programmiersprache), Formale Spezifikationstechnik, VDM, Software, Objektorientierung, Qualitätssicherung, Object-oriented programming (Computer science)