2403 search results - page 157 / 481 » Using the WinWin Spiral Model: A Case Study |
150
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
The lack of sufficient water quality data in many places hinders the efforts of surface water quality modeling, and therefore affects the process of water quality management. In t...
164
click to vote
ICSM
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
155
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
144
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
130
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...