7475 search results - page 109 / 1495 » Supporting use case based requirements engineering |
139
click to vote
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...
134
click to vote
ECIS
2004
15 years 5 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
117
click to vote
IWFM
1998
15 years 5 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
140
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
138
click to vote
ICCBR
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we present an approach for reducing the memory footprint requirement of temporal difference methods in which the set of states is finite. We use case-based generaliza...