3022 search results - page 464 / 605 » Make Way for WayMaker |
194
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
197
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
177
click to vote
ECWEB
2000
Springer
15 years 10 months ago
2000
Springer
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
215
click to vote
EKAW
2000
Springer
15 years 10 months ago
2000
Springer
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
187
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...