Object Modeling with the OCL The Rationale behind the Object Constraint Language /

As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties. This book contains key contributions to the development of OCL. Most papers are developments o...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Clark, Tony (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Warmer, Jos (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:1st ed. 2002.
Σειρά:Lecture Notes in Computer Science, 2263
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • A Meta-model Facility for a Family of UML Constraint Languages
  • A New Type Checking Approach for OCL Version 2.0 ?
  • OCL: Syntax, Semantics, and Tools
  • On the Precise Meaning of OCL Constraints
  • Expressing UML Class Diagrams Properties with OCL
  • The Amsterdam Manifesto on OCL
  • An OCL Extension for Real-Time Constraints
  • Statistical Constraints and Verification
  • ?Java?OCL Based on New Presentation of the OCL-Syntax
  • The Semantics of the OCL Action Clause
  • Constraint Trees
  • Using OCL and UML to Specify System Behavior.