Process Oriented Analysis for Software Automation

Author

Xiaoli Liu

Author_Institution

Coll. of Inf. Sci. & Technol., Jinan Univ., Guangzhou

Volume

1

fYear

2009

fDate

7-8 March 2009

Firstpage

1131

Lastpage

1133

Abstract

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.

Keywords

program verification; software process improvement; software quality; automatic software development; code generation; natural language requirement analysis; process oriented analysis; software automation; software development process; software quality; system validation; system verification; Costs; Design automation; Educational technology; Natural languages; Object oriented modeling; Productivity; Programming; Software design; Software quality; Software tools; B method; Software automation; Software process;

fLanguage

English

Publisher

ieee

Conference_Titel

Education Technology and Computer Science, 2009. ETCS '09. First International Workshop on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-1-4244-3581-4

Type

conf

DOI

10.1109/ETCS.2009.258

Filename

4958962