1. Formal methods: state of the art and future directions;Clarke;ACM Comput. Surv. (CSUR),1996
2. Software Reuse: Architecture Process and Organization for Business Success;Jacobson,1997
3. Value-based software engineering;Boehm;ACM SIGSOFT Softw. Eng. Notes,2003
4. Intelligent software engineering: Synergy between ai and software engineering;Xie,2018
5. Intelligent software engineering: Synergy between ai and software engineering;Xie,2018