Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel

Using UML Action Semantics for model execution and transformation

Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)

Refactoring UML Models

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

Enhancing the Object Constraint Language for More Expressive Specifications

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference

Meta-models for misuse cases

Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies

A metamodel for OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Correct realizations of interface constraints with OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Landscape maps for enterprise architectures

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering

Modular semantics for object-oriented models

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods