3282 search results - page 206 / 657 » Rapid Application Development Using Software Factories |
200
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
140
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
Disclosures of health databases for secondary purposes is increasing rapidly. In this paper, we develop and evaluate a reidentification risk metric for the case where an intruder ...
198
click to vote
UML
2005
Springer
16 years 14 hour ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
129
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A common challenge in the development of web applications today lies in the handling of unforeseen navigation steps initiated by the user through the browser's Back, Forward ...
178
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The rapid publication of important research in the biomedical literature makes it increasingly difficult for researchers to keep current with significant work in their...