2342 search results - page 85 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
152
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
132
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
163
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
160
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
125
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...