7475 search results - page 90 / 1495 » Supporting use case based requirements engineering |
DEXA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
SPLC
2004
15 years 1 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
115
click to vote
ISESE
2006
IEEE
15 years 5 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
102
click to vote
WWW
2001
ACM
16 years 16 days ago
2001
ACM
We have developed a web-based search engine for 3D polygonal models. These days, the number of web sites using Web 3D technology is increasing. The development of our search engin...
119
click to vote
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...