1. Ma, X., et al.: Review and prospect of software development method development. J. Softw. 30(01), 3–21 (2019)
2. Weizhong, S., Yanbing, J., Zhiyi, M.: Existing problems and development path of UML. Comput. Res. Dev. 04, 509–516 (2003)
3. Lecture Notes in Computer Science;I Kurtev,2008
4. Gargantini, A., Riccobene, E., Scandurra, P.: Combining formal methods and MDE techniques for model-driven system design and analysis. Int. J. Adv. Softw. 3(1 and 2), 1–18 (2010)
5. Sommerville, I.: Software Engineering (Tenth Edition), Pearson Education Limited 2016,
pp. 159–162 (2016)