Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling 4(1), 32–54 (2005)
2. Astesiano, E., Reggio, G.: An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. In: WADT, pp. 56–81 (2002)
3. Lecture Notes in Computer Science;B. Beckert,2001
4. Bell, A.E.: Death by UML fever. Queue 2(1), 72–80 (2004)
5. Bruel, J.-M., France, R.B.: Transforming UML models to formal specifications. In: Proceedings of the OOPSLA 1998 Workshop on Formalising UML (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献