Author:
Hilken Frank,Hamann Lars,Gogolla Martin
Publisher
Springer International Publishing
Reference20 articles.
1. Al-Lail, M., Abdunabi, R., France, R.B., Ray, I.: Rigorous Analysis of Temporal Access Control Properties in Mobile Systems. In: ICECCS. IEEE (2013)
2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from UML to Alloy. Software and System Modeling 9(1), 69–86 (2010)
3. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL: Towards CTL-Extended OCL Model Checking. In: Proceedings of the MODELS 2013 OCL Workshop, vol. 1092, pp. 13–22 (2013)
4. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models using Constraint Programming. In: Stirewalt, R.E.K., Egyed, A., Fischer, B. (eds.) ASE 2007, pp. 547–548. ACM (2007)
5. Clark, T.: Model Based Functional Testing using Pattern Directed Filmstrips. In: Proceedings of the 4th International Workshop on the Automation of Software Test, pp. 53–61. IEEE (2009)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献