The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
A guide to the SQL standard (2nd ed.)
A guide to the SQL standard (2nd ed.)
An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Inside Smalltalk: vol. 1
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
ML for the working programmer
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Defining UML Family Members Using Prefaces
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Defining the context of OCL expressions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
Does object coupling really affect the understanding and modifying of OCL expressions?
Proceedings of the 2006 ACM symposium on Applied computing
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
Information Sciences: an International Journal
Extending context descriptions in semantics-aware access control
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Hi-index | 0.00 |
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the following work on these topics. Overview of OCL.