A Formal Approach for Traceability Preservation in Software Development Process.
Hao WenJinzhao WuJianmin JiangJianqing LiZhong HongPublished in: NCTCS (2023)
Keyphrases
- software development process
- life cycle
- software architecture
- software engineering
- software quality
- software development
- reference architecture
- modeling language
- software design
- design rationale
- software systems
- requirements engineering
- case study
- decision makers
- databases
- semantic web services
- semi automatic
- design process
- distributed systems
- machine learning