Media type: Report; E-Book Title: The HOL-OCL book: Version 0.9.0 Contributor: Brucker, Achim D. [Author]; Wolff, Burkhart [Author] imprint: ETH, Department of Computer Science, 2006 Published in: Technical Report / ETH Zurich, Department of Computer Science, 525 Language: English DOI: https://doi.org/20.500.11850/69576; https://doi.org/10.3929/ethz-a-006781813 Keywords: FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ; DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE) ; SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE) ; UML ; Data processing ; DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ) ; UNIFIED MODELLING LANGUAGE (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