715 search results - page 61 / 143 » Application of Formal Methods to the Development of a Softwa... |
ICSE
1997
IEEE-ACM
14 years 28 days ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...
FORTEST
2008
13 years 10 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
AGILEDC
2007
IEEE
14 years 3 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...