1622 search results - page 76 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
115
Voted
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...
132
Voted
EWSPT
1998
Springer
15 years 6 months ago
1998
Springer
Most traditional approaches to process modelling do not provide an analysis of critical human resources and their impact(s) on project performance and output quality. However, the ...
114
Voted
FCCM
2008
IEEE
15 years 9 months ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...
152
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
145
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...