USE: A UML-based specification environment for validating UML and OCL
Top Cited Papers
- 10 October 2007
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 69 (1-3), 27-34
- https://doi.org/10.1016/j.scico.2007.01.013
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Towards Transformation of Integrity Constraints and Database StatesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Validating UML and OCL models in USE by automatic snapshot generationSoftware and Systems Modeling, 2005
- Formalizing UML Models and OCL Constraints in PVSElectronic Notes in Theoretical Computer Science, 2005
- Emerging OCL toolsSoftware and Systems Modeling, 2003
- OCL: Syntax, Semantics, and ToolsPublished by Springer Science and Business Media LLC ,2002