Making classes provable through contracts, models and frames

Download
Abstract (PDF, 255.6Kb)
Fulltext (PDF, 1.083Mb)
Thumbnail
Open access
Author
Schoeller, Bernd K.A.
Date
2008
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-005558438
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Odersky, Martin
Examiner: Meyer, Bertrand
Publisher
ETH
Subject
SPEZIFIKATIONEN (SOFTWARE ENGINEERING); VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIFICATIONS (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); CORRECTNESS (THEORY OF PROGRAMMING)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
03594 - Meyer, Bertrand (emeritus)  
More
Show all metadata
ETH Bibliography
yes
Altmetrics