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

Description

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.

Sujets

• Informatik

Informations

• Publié par: karlsruher_institut_fur_technologie
• Publié le: 01 janvier 2006
• Nombre de lectures: 16
• Langue: English
• Poids de l'ouvrage: 2 Mo

Extrait

Andreas Roth
Specification and Verification of Object-Oriented
Software Components Specification and Verification of
Object-Oriented Software Components
by
Andreas RothDissertation, Universität Karlsruhe (TH)
Fakultät für Informatik, 2006
Impressum
Universitätsverlag Karlsruhe
c/o Universitätsbibliothek
Straße am Forum 2
D-76131 Karlsruhe
www.uvka.de
Dieses Werk ist unter folgender Creative Commons-Lizenz
lizenziert: http://creativecommons.org/licenses/by-nc-nd/2.0/de/
Universitätsverlag Karlsruhe 2006
Print on Demand
ISBN 3-86644-042-1Specification and Verification of
Object-Oriented Software Components
Zur Erlangung des akademischen Grades eines
Doktors der Naturwissenschaften
von der Fakultat fur Informatik¨ ¨
der Universitat Karlsruhe (TH)¨
genehmigte
Dissertation
von
Andreas Roth
aus Stuttgart
Tag der mundli¨ chen Prufung:¨ 7.Februar 2006
Erster Gutachter: Prof.Dr.P.H.Schmitt, Universit¨at Karlsruhe (TH)
Zweiter Gutachter: Prof.Dr.U.Aßmann, Technische Universit¨at Dresden