1937 search results - page 11 / 388 » Starting B Specifications from Use Cases |
121
Voted
JAMIA
2010
14 years 10 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)....
158
Voted
IJCIS
2006
15 years 3 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...
135
Voted
FSEN
2007
Springer
15 years 7 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...
153
Voted
SEAA
2008
IEEE
15 years 10 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...
127
Voted
AAAI
2004
15 years 5 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...