共 47 条
- [1] Al-Fedaghi S, 2021, Arxiv, DOI arXiv:2105.15152
- [3] Formally Verifying Sequence Diagrams for Safety Critical Systems [J]. 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, : 217 - 224
- [4] Cohn M., 2004, User Stories Applied: For Agile Software Development
- [7] Dalpiaz Fabiano, 2018, Mendeley Data, v1, V2018
- [9] Djaber ROUABHIA, 2023, AI as a Co-Engineer: A Case Study of ChatGPT in Software Lifecycle
- [10] Elallaoui M, 2015, 2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA)