10038 search results - page 498 / 2008 » Model Checking for Managers |
202
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
398
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
197
Voted
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
185
Voted
ECIS
2000
15 years 8 months ago
2000
We draw from the quality management and organizational learning literatures to develop a descriptive model of software process management. These literature streams suggest that the...
189
click to vote
WSC
1998
15 years 8 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...