A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Invariant-driven specifications in Maude
Science of Computer Programming
Temporal Extensions of OCL Revisited
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Formal Semantics of OCL Messages
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
| Hi-index | 0.00 |