1937 search results - page 18 / 388 » Starting B Specifications from Use Cases |
105
Voted
ESEC
1995
Springer
15 years 5 months ago
1995
Springer
This paper presents a case study in carrying out an audit of a large, softwareintensive system. We discuss our experience in structuring the team for obtaining maximum effectivene...
122
click to vote
JAMIA
2010
14 years 8 months ago
2010
Objective The authors used the i2b2 Medication Extraction Challenge to evaluate their entity extraction methods, contribute to the generation of a publicly available collection of...
138
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
105
click to vote
EWCBR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
158
click to vote
IJCAI
2001
15 years 3 months ago
2001
Here is discussed how to construct domain ontologies with both taxonomic and non-taxonomic conceptual relationships, exploiting a machinereadable dictionary (MRD) and domain-speci...