1937 search results - page 11 / 388 » Starting B Specifications from Use Cases |
JAMIA
2010
14 years 6 months ago
2010
Informatics for Integrating Biology and the Bedside (i2b2) is one of seven projects sponsored by the NIH Roadmap National Centers for Biomedical Computing (http://www. ncbcs.org)....
118
click to vote
IJCIS
2006
14 years 11 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
100
click to vote
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
110
click to vote
SEAA
2008
IEEE
15 years 6 months ago
2008
IEEE
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...
AAAI
2004
15 years 1 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...