Ключові файли

1. Back, R.-J. and Von Wright, J. (1998). Refinement calculus:
   a systematic introduction. springer Heidelberg
2. Brambilla, Marco; Cabot, Jordi; Wimmer, Manuel. Model-driven software engineering in practice. Synthesis Lectures on Software Engineering, 2012, vol. 1, no 1, p. 1-182.
3. O. Chebanyuk, Abdel-Badeeh M. Salem Formal Foundation, Approach, and Smart Tool for Software Models’ Comparison. Egyptian Computer Science Journal Volume 42, Number 4-2018 p. 89-102
4. Chebanyuk E., Markov K. Model of problem domain “Model-driven architecture formal methods and approaches.” International Journal “Information Content and Processing”,  2016, ISSN 2367-5128 (printed), ISSN 2367-5152, P 203-222.
5. Dhaou, F., Mouakher, I., Attiogbé, C. and Bsaies, K. Refinement of UML2.0 Sequence Diagrams for Distributed Systems. DOI: 10.5220/0006005403100318 In Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, pages 310-318 ISBN: 978-989-758-194-6
6. Fowler, M. (1999). Refactoring: Improving the Design of Existing Code. Addison-Wesley.
7. Hinkel, G., Busch, K. and Heinrich, R. Refinements and Structural Decompositions in Generated Code. DOI: 10.5220/0006549403030310 In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), pages 303-310 ISBN: 978-989-758-283-7
8. Khlif I., Hadj Kacem M., Hadj Kacem A. and Drira K. A UML-based Approach for Multi-scale Software Architectures.  DOI: 10.5220/0005380403740381 In Proceedings of the 17th International Conference on Enterprise Information Systems (ICEIS-2015), pages 374-381 ISBN: 978-989-758-097-0
9. Kramer, J. (2007). Is abstraction the key to computing? In Communications of the ACM, Vol. 50 Issue 4, pp.36-42