Author:
Chen Xin,Liu Zhiming,Mencl Vladimir
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Andre, P., Romanczuk, A., Royer, J.-C., Vasconcelos, A.: Checking the Consistency of UML Class Diagrams Using Larch Prover. In: Proc. ROOM’2000, York, UK (2000)
2. Lecture Notes in Computer Science;E. Astesiano,2003
3. Egyed, A.: Scalable Consistency Checking between Diagrams: The Viewintegra Approach. In: Proc. 16th IEEE ASE, San Diego, USA (2001)
4. Engels, G., Kuester, J.M., Groenewegen, L.: Consistent Interaction of Software Components. In: Proc. of IDPT2002 (2002)
5. Engels, G., et al.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Proc. FSE-10, Austria (2001)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献