Author:
Cunha Alcino,Garis Ana,Riesco Daniel
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference36 articles.
1. Anastasakis, K.: A model driven approach for the automated analysis of UML class diagrams. Ph.D. thesis, University of Birmingham, Birmingham (2009)
2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69–86 (2008)
3. Bordbar, B., Anastasakis, K.: UML2Alloy: a tool for lightweight modelling of discrete event systems. In: Proceedings of the IADIS International Conference in Applied Computing, pp. 209–216. IADIS Press, Perth (2005)
4. Braga, B.F.B., Almeida, J.P.A., Guizzardi, G., Benevides, A.B.: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innov. Syst. Softw. Eng. 6(1–2), 55–63 (2010)
5. Brucker, A.D., Wolff, B.: HOL-OCL: a formal proof environment for UML/OCL. In: Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, LNCS, vol. 4961, pp. 97–100. Springer, Berlin (2008)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献