12107 search results - page 208 / 2422 » Software That Can Think |
193
click to vote
WETICE
2005
IEEE
16 years 2 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
153
click to vote
EWSA
2004
Springer
15 years 12 months ago
2004
Springer
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
160
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
202
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
184
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...