2274 search results - page 24 / 455 » Qualitative Modeling for Requirements Engineering |
AAAI
1996
14 years 11 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
ICRE
1998
IEEE
15 years 1 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
SERA
2005
Springer
15 years 3 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
AIM
2004
14 years 9 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
RE
2005
Springer
15 years 3 months ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...