Specified and verified reusable components

Download
Abstract (PDF, 149.6Kb)
Fulltext (PDF, 1.111Mb)
Thumbnail
Open access
Author
Polikarpova, Nadia
Date
2014
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-010163357
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Leino, Rustan M.
Examiner: Meyer, Bertrand
Publisher
ETH Zurich
Subject
SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING); SPEZIFIKATIONEN (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING); SPECIFICATIONS (SOFTWARE ENGINEERING); VERIFICATION (SOFTWARE ENGINEERING)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
03594 - Meyer, Bertrand (emeritus)  
Notes
Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 21939, 2014.
More
Show all metadata
ETH Bibliography
yes
Altmetrics