论文信息 - Research of Agile Software Development Based on Formal Methods

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.

Xiaowen Chen | Jing Yang | Anfan Zuo

[1] Alistair Cockburn,et al. Agile Software Development , 2001 .

[2] Volker Stolz,et al. rCOS: Theory and Tool for Component-Based Model Driven Development , 2009, FSEN.

[3] Shengchao Qin,et al. A Relational Model for Object-Oriented Designs , 2004, APLAS.

[4] Jing Yang,et al. A Framework for Formalizing UML Models with Formal Language Rcos , 2009, 2009 Fourth International Conference on Frontier of Computer Science and Technology.

[5] THIS STRATEGIC DATA SYSTEMS MATERIAL IS FURNISHED ON AN “AS-IS ” BASIS. STRATEGIC DATA , 2022 .

[6] Jan Magott,et al. Consistency Checking in UML Models , 2001 .

[7] Mark Priestley,et al. Practical Object-oriented Design with UML , 1997 .

[8] Jing Liu,et al. Unifying Views of UML , 2004, CVUML.