14 search results - page 1 / 3 » Are Formal Methods Ready for Agility |
FMAM
2010
13 years 2 months ago
2010
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...
COMPUTER
2002
13 years 4 months ago
2002
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
FMAM
2010
13 years 2 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
AGILEDC
2007
IEEE
13 years 11 months ago
2007
IEEE
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...