Making classes provable trough contracts, models and frames

Metadata Label Value
Author(s): Schoeller, Bernd
Publisher: ETH
Citation:

Schoeller, Bernd. Making classes provable trough contracts, models and frames. ETH (2007). http://dx.doi.org/10.3929/ethz-a-005558438

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (255.68KB) , Fulltext (1.08MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Making classes provable trough contracts, models and frames
Author(s) Schoeller, Bernd
Publication Place Zürich
Publisher ETH
Publication Date 2007
Notes Diss., Eidgenössische Technische Hochschule ETH Zürich, Nr. 17610, 2007
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005558438
Subject(s) Software
Keyword(s) SPECIFICATIONS
VERIFICATION
CORRECTNESS
THEORY OF PROGRAMMING
OBJECT-ORIENTED PROGRAMMING
PROGRAMMING METHODS
Description File Name MIME Type Size
Abstract   eth-30166-01.pdf application/pdf 255.68KB
Fulltext   eth-30166-02.pdf application/pdf 1.08MB
Abstract Views and Downloads
Views 76  abstracts
Downloads 104  downloads

Abstract Views and Downloads by Country
Views 22  abstracts
Downloads 33  downloads
Germany Views abstracts
Downloads 17  downloads
Switzerland Views 16  abstracts
Downloads 15  downloads
United States Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
China Views 15  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Colombia Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads


E-Collection record created: Sat, 19 Apr 2008, 05:46:04 CET