Formal Experimentation for Agile Formal Methods


The field of knowledge known as Empirical Software Engineering suggests the application of experimental methods in order to discover and describe characteristics of the process and results derived from new methodologies, such as agile formal methods. In this paper we present the methodology needed for conducting formal experiments and we review related work… (More)

1 Figure or Table


  • Presentations referencing similar topics