Sound Merging and Differencing for Class Diagrams-Reference-Cited by-同舟云学术

Sound Merging and Differencing for Class Diagrams

Published:2014 Issue: Volume: Page:63-78
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Fahrenberg Uli,Acher Mathieu,Legay Axel,Wąsowski Andrzej

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-54804-8_5

Reference25 articles.

1. Lecture Notes in Computer Science;M. Acher,2013

2. Lecture Notes in Computer Science;M. Acher,2012

3. Lecture Notes in Computer Science;M. Alanen,2003

4. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wąsowski, A.: EXPTIME-complete decision problems for modal and mixed specifications. Electr. Notes Theor. Comput. Sci. 242(1), 19–33 (2009)

5. Beneš, N., Křetínský, J., Larsen, K.G., Srba, J.: EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218, 54–68 (2012)

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integration of UML Class Diagrams Based on Semantics and Structure;International Journal of Software Engineering and Knowledge Engineering;2024-05-31

2. Effects of variability in models: a family of experiments;Empirical Software Engineering;2022-03-17

3. Composition of UML Class Diagrams Using Category Theory and External Constraints;Journal of Software Engineering and Applications;2022

4. Variability representations in class models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16

5. Semantic comparisons of Alloy models;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2020-10-16