Title :
Research of Agile Software Development Based on Formal Methods
Author :
Zuo, Anfan ; Yang, Jing ; Chen, Xiaowen
Author_Institution :
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
Abstract :
Agile software development is a kind of lightweight development method, which can satisfy to the changes of requirements. This paper applies formal methods into agile software development, and investigates the method to adopt the rCOS in agile software development through convincing examples to improve software trustworthiness.
Keywords :
formal specification; formal verification; software prototyping; software reliability; agile software development; formal method; rCOS; refinement of component and object system; software trustworthiness; Analytical models; Computational modeling; Object oriented modeling; Programming; Semantics; Software; Unified modeling language; agile software development; formal methods; rCOS; software trustworthiness;
Conference_Titel :
Multimedia Information Networking and Security (MINES), 2010 International Conference on
Conference_Location :
Nanjing, Jiangsu
Print_ISBN :
978-1-4244-8626-7
Electronic_ISBN :
978-0-7695-4258-4
DOI :
10.1109/MINES.2010.161
