Recent Developments in OCL and Textual Modelling
暂无分享,去创建一个
Martin Gogolla | Achim D. Brucker | Burkhart Wolff | Jordi Cabot | Edward D. Willink | Gwendal Daniel | Frank Hilken | Frédéric Tuong | Adolfo Sánchez-Barbudo Herrera | Jordi Cabot | Gwendal Daniel | Frank Hilken | B. Wolff | E. Willink | Martin Gogolla | Frédéric Tuong
[1] Frédéric Tuong,et al. Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages. (Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL) , 2016 .
[2] Tobias Nipkow,et al. A Proof Assistant for Higher-Order Logic , 2002 .
[3] Martin Gogolla,et al. On better understanding OCL collections or an OCL ordered set is not an OCL set , 2009, MODELS'09.
[4] Heinrich Hußmann,et al. Using UML/OCL Constraints for Relational Database Design , 1999, UML.
[5] Martin Gogolla,et al. Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool , 2016, Modellierung.
[6] Jordi Cabot,et al. UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases , 2016, ER.
[7] Jordi Cabot,et al. Mogwaï: A framework to handle complex queries on large models , 2016, 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS).
[8] Achim D. Brucker,et al. HOL-OCL: A Formal Proof Environment for UML/OCL , 2008, FASE.
[9] Achim D. Brucker,et al. An Extensible Encoding of Object-oriented Data Models in hol , 2008, Journal of Automated Reasoning.
[10] Martin Gogolla,et al. USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..
[11] Paolo Atzeni,et al. Database Design for NoSQL Systems , 2014, ER.
[12] Achim D. Brucker,et al. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 , 2014, Arch. Formal Proofs.
[13] Martin Gogolla,et al. Initiating a Benchmark for UML and OCL Analysis Tools , 2013, TAP@STAF.