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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.