Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Formal Object-Oriented Development
Formal Object-Oriented Development
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Method redefinition: ensuring alternative behaviors
Information Processing Letters
Service Specification and Matchmaking Using Description Logic
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Method redefinition---ensuring alternative behaviors
Information Processing Letters
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |