Research of Agile Software Development Based on Formal Methods

摘要：

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.

关键词： agile software development formal methods software trustworthiness rCOS

作者: Anfan Zuo Jing Yang Xiaowen Chen

作者单位: College of Computer Science & Information Guizhou University Guiyang, China

会议类型: 国际会议

会议名称: 2010年IEEE多媒体信息网络与安全国际会议

会议地点: 南京

会议语种:英文

页码: 762-766

在线出版日期: 2010-11-01（万方平台首次上网日期，不代表论文的发表时间）