Author:
Doan Khanh-Hoang,Gogolla Martin,Hilken Frank
Publisher
Springer International Publishing
Reference19 articles.
1. Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Trans. Softw. Eng. 21(10), 785–798 (1995)
2. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In: Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering, pp. 547–548, ASE 2007, NY, USA. ACM, New York (2007)
3. Lecture Notes in Computer Science;J Cabot,2012
4. Dan, C., Mihai, P., Adrian, C., Cristian, B., Sorin, M.: Ensuring UML models consistency using the OCL environment. Electron. Notes Theor. Comput. Sci. 102, 99–110 (2004). Proceedings of the Workshop, OCL 2.0 - Industry Standard or Scientific Playground?
5. Demuth, B., Wilke, C.: Model and object verification by using Dresden OCL. In: Russian-German WS Innovation Information Technologies: Theory and Practice (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献