75 search results - page 11 / 15 » Synthesizing a Comprehensive Framework for Lean Software Dev... |
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...
SIGCSE
2004
ACM
14 years 2 months ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
SNPD
2008
13 years 10 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...