E-Books durchsuchen

Object Modeling with the OCL [2002]

1
Introduction
4
A Meta-model Facility for a Family of UML Constraint Languages
21
A New Type Checking Approach for OCL Version 2.0 ?
42
OCL: Syntax, Semantics, and Tools
69
On the Precise Meaning of OCL Constraints
85
Expressing UML Class Diagrams Properties with OCL
115
The Amsterdam Manifesto on OCL
150
An OCL Extension for Real-Time Constraints
172
Statistical Constraints and Verification
189
≪Java≫OCL Based on New Presentation of the OCL-Syntax
213
The Semantics of the OCL Action Clause
228
Constraint Trees
250
Using OCL and UML to Specify System Behavior
Feedback