Process Oriented Analysis for Software Automation

摘要

Software automation can improve the productivity and quality of software to a great extend. In this paper we propose a methodology for automatic software development by putting automation into each step of software development process. This method covers from natural language requirement analysis to executable code generation. In which the correctness of software is taken into consideration. First software process is divided into three phases, including requirement analysis, system validation/verification and code generation. Then process implementation is simply presented according to existing software technologies.