Author:
Desai Nisha,Gogolla Martin
Publisher
Springer International Publishing
Reference6 articles.
1. Bajwa, I.S., Bordbar, B., Lee, M.G.: OCL constraints generation from natural language specification. In: Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, pp. 204–213. IEEE Computer Society (2010)
2. Lecture Notes in Computer Science;AD Brucker,2011
3. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In: 22nd IEEE/ACM International Conference on Automated Software Engineering, pp. 547–548. ACM (2007)
4. Castillos, K.C., Dadeau, F., Julliand, J.: Scenario-based testing from UML/OCL behavioral models - application to POSIX compliance. STTT 13(5), 431–448 (2011)
5. Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Proceedings of Modellierung. LNI, vol. 225, pp. 273–288. GI (2014)