On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
Temporal OCL: meeting specification demands for business components
Unified modeling language
Enriching OCL Using Observational Mu-Calculus
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The Semantics of the OCL Action Clause
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |