Media type: Doctoral Thesis; Electronic Thesis; E-Book Title: An interactive proof environment for object-oriented specifications Contributor: Brucker, Achim D. [Author] Published: ETH, 2007 Language: English DOI: https://doi.org/20.500.11850/4044; https://doi.org/10.3929/ethz-a-005413886 Keywords: OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ; Data processing ; KORREKTHEIT (THEORIE DER PROGRAMMIERUNG) ; CORRECTNESS (THEORY OF PROGRAMMING) ; OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS) ; SPECIFICATIONS (SOFTWARE ENGINEERING) ; SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ; computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted