Formal Experimentation for Agile Formal Methods
msra(2003)
摘要
The field of knowledge known as Empirical Software Engineering suggests the application of experimental methods in order to discover and de- scribe characteristics of the process and results derived from new methodolo- gies, such as agile formal methods. In this paper we present the methodology needed for conducting formal experiments and we review related work done in the field of the agile formal methods. At the end of the paper, we report on our experimentation work up to now and our suggestions on future work in this im- portant field of research.
更多查看译文
关键词
empirical software engineering,formal method
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络