2132 search results - page 39 / 427 » Automated software winnowing |
99
Voted
ISPW
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
88
Voted
KBSE
2003
IEEE
15 years 4 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
71
Voted
EMSOFT
2001
Springer
15 years 3 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
94
Voted
FMICS
2006
Springer
15 years 2 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
84
Voted
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...