55 search results - page 8 / 11 » Evaluating the efficacy of test-driven development: industri... |
116
click to vote
WCRE
2000
IEEE
15 years 1 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
77
Voted
CAV
2010
Springer
15 years 22 days ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
114
click to vote
CBSQ
2003
Springer
15 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
CBSE
2009
Springer
15 years 4 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...