Refactoring OCL annotated UML class diagrams-Reference-Cited by-同舟云学术

Refactoring OCL annotated UML class diagrams

Published:2007-05-15 Issue:1 Volume:7 Page:25-47
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Marković Slaviša,Baar Thomas

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://link.springer.com/content/pdf/10.1007/s10270-007-0056-x.pdf

Reference33 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. (2005). The KeY tool. Softw. Syst. Model. 4(1): 32–54

2. Astels, D.: Refactoring with UML. In: Proceedings of 3rd International Conference on eXtreme Programming and Flexible Processes in Software Engineering, pp. 67–70 (2002)

3. Baar, T.: The definition of transitive closure with OCL— limitations and applications. In: Broy, M., Zamulin, A.V. (ed.) Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, 9-12 July 2003, Revised Papers, volume 2890 of LNCS, pp. 358–365. Springer, Heidelberg (2003)

4. Baar, T., Marković, S.: A graphical approach to prove the semantic preservation of UML/OCL refactoring rules. In: Virbitskaite, I., Voronkov, A. (eds.) Proceedings, 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Akademgorodok near Novosibirsk, Russia, vol 4378 of LNCS, pp. 70–83. Springer, Heidelberg (2007)

5. Baar, T., Whittle, J.: On the usage of concrete syntax in model transformation rules. In: Virbitskaite, I., Voronkov, A. (eds.) Proceedings, 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), Akademgorodok near Novosibirsk, Russia, vol. 4378 of LNCS, pp. 84–97. Springer, Heidelberg (2007)

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

1. On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels;ACM Transactions on Software Engineering and Methodology;2023-04-05

2. Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method;Innovations in Systems and Software Engineering;2023-02-17

3. Merging cloned Alloy models with colorful refactorings;Science of Computer Programming;2022-08

4. Semi-automated metamodel/model co-evolution: a multi-level interactive approach;Software and Systems Modeling;2022-04-06

5. Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10