Formal Experimentation for Agile Formal Methods

Abstract

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

Topics

  • Presentations referencing similar topics