2419 search results - page 262 / 484 » A Formal Approach to Software Testing |
139
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
152
click to vote
JCST
2011
14 years 11 months ago
2011
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
152
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Currently there are no Concurrent Versioning Systems (CVS) designed to properly support agile software development. The existing CVS lacks user friendliness and it requires users ...
119
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
While most software defects (i.e., bugs) are corrected and tested as part of the lengthy software development cycle, enterprise software vendors often have to release software pro...
146
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...