1812 search results - page 126 / 363 » Test Early, Test Often |
134
click to vote
CDB
2004
Springer
15 years 9 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
132
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
142
click to vote
HAPTICS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we address the problem of providing near-field haptic feedback in a wearable, scalable manner. Our solution, called the TactaBoard, supports the independent control...
115
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Many software projects fail because early life-cycle defects such as ill-defined requirements are not identified and removed. Therefore, quality assurance (QA) techniques for defe...
141
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...