Sciweavers

FMAM
2010
174views Formal Methods» more  FMAM 2010»
13 years 9 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff