Publisher
Springer Nature Switzerland
Reference16 articles.
1. Abbas, M., Rioboo, R., Ben-Yelles, C.B., Snook, C.F.: Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. J. Syst. Archit. 1(14), 101911 (2021)
2. Bjørner, D.: Domain engineering. In: Boca, P., Bowen, J., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 1–41. Springer, London (2010). https://doi.org/10.1007/978-1-84882-736-3_1
3. Chebanyuk, O., Palahin, O., Markov, K.: Domain engineering approach of software requirement analysis. Пpoблeми пpoгpaмyвaння 2–3(2020), 154–172 (2020)
4. Advances in Intelligent Systems and Computing;S Gnatyuk,2020
5. DeCarlo, J., et al.: Strategic Reuse with Asset-Based Development, vol. 15. IBM Corporation, Riverton (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributed Data Addressed in Natural Language;2023 International Conference on Advanced Enterprise Information System (AEIS);2023-12-01
2. An Approach to Environmental Study from Observations and Sensing Towards a Digital Twin;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2023
3. The Impact of Virtual and Augmented Reality on the Development of Motor Skills and Coordination in Children with Special Educational Needs;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2023
4. Investigation of Drawbacks of the Software Development Artifacts Reuse Approaches based on Semantic Analysis;Advances in Computer Science for Engineering and Education VI;2023