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