Author:
Brucker Achim D.,Krieger Matthias P.,Wolff Burkhart
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andrews, P.B.: Introduction to Mathematical Logic and Type Theory: To Truth through Proof, 2nd edn. Kluwer Academic Publishers, Dordrecht (2002)
2. Lecture Notes in Computer Science;M. Barnett,2005
3. Brucker, A.D., Doser, J., Wolff, B.: An MDA framework supporting OCL. Electronic Communications of the EASST 5 (2006)
4. Brucker, A.D., Wolff, B.: The HOL-OCL book. Tech. Rep. 525, ETH Zurich (2006)
5. Brucker, A.D., Wolff, B.: An extensible encoding of object-oriented data models in HOL. Journal of Automated Reasoning 41, 219–249 (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Definitions and Computational Properties of OCL: A Systematic Review;IEEE Access;2024
2. OCL Rebuilt, From the Ground Up;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. A framework for model transformation verification;Formal Aspects of Computing;2015-01
4. Object Constraint Language (OCL): A Definitive Guide;Formal Methods for Model-Driven Engineering;2012
5. Specification of invariability in OCL;Software & Systems Modeling;2011-10-05