Specification and verification of object oriented software components [Elektronische Ressource] / by Andreas Roth

Andreas RothSpecification and Verification of Object-OrientedSoftware Components Specification and Verification ofObject-Oriented Software Componentsby Andreas RothDissertation, Universität Karlsruhe (TH)Fakultät für Informatik, 2006ImpressumUniversitätsverlag Karlsruhec/o UniversitätsbibliothekStraße am Forum 2D-76131 Karlsruhewww.uvka.deDieses Werk ist unter folgender Creative Commons-Lizenz lizenziert: http://creativecommons.org/licenses/by-nc-nd/2.0/de/Universitätsverlag Karlsruhe 2006 Print on DemandISBN 3-86644-042-1Specification and Verification ofObject-Oriented Software ComponentsZur Erlangung des akademischen Grades einesDoktors der Naturwissenschaftenvon der Fakultat fur Informatik¨ ¨der Universitat Karlsruhe (TH)¨genehmigteDissertationvonAndreas Rothaus StuttgartTag der mundli¨ chen Prufung:¨ 7.Februar 2006Erster Gutachter: Prof.Dr.P.H.Schmitt, Universit¨at Karlsruhe (TH)Zweiter Gutachter: Prof.Dr.U.Aßmann, Technische Universit¨at DresdenAcknowledgementsMany people contributed to this work in many ways, and I am grateful toall of them.Infirstplace,Iwouldliketosincerelythankmysupervisor,Prof.Dr.PeterH.Schmitt for giving me the opportunity to work on this project, for thefreedomhegavemetopursuemyideas,forhiscarefulsupportandguidance,and his valuable comments on earlier drafts of this thesis.I am grateful to Prof. Dr.