La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

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

270 pages
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.
Voir plus Voir moins

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