9182 search results - page 35 / 1837 » Requirements for Requirements Management Tools |
KBSE
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
SIGIR
2010
ACM
13 years 7 months ago
2010
ACM
Patent search tasks are difficult and challenging, often requiring expert patent analysts to spend hours, even days, sourcing relevant information. To aid them in this process, an...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Recently, the diversified types of companies have been trying to cooperate among them to cope with the dynamic market and thus integration of their DBs with heterogeneous requirem...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
TGC
2005
Springer
14 years 2 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...