Sciweavers

91 search results - page 7 / 19
» Quantitative Analysis of Best Practices Models in the Softwa...
Sort
View
ISPW
2007
IEEE
15 years 3 months ago
Coping with the Cone of Uncertainty: An Empirical Study of the SAIV Process Model
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...
Da Yang, Barry W. Boehm, Ye Yang, Qing Wang, Mings...
TCAD
2008
181views more  TCAD 2008»
14 years 9 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
SETP
2008
14 years 11 months ago
Parametric Software Cost Estimation for the Solitary Programmer
Software cost estimation is known to be a challenging task at best, and these challenges are increased for programmers operating outside the support of an established team program...
Royce Nobles, Devon Simmonds, Gene Tagliarini
ASWEC
2009
IEEE
15 years 4 months ago
A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
Liwei Shen, Xin Peng, Wenyun Zhao
ENVSOFT
2006
144views more  ENVSOFT 2006»
14 years 9 months ago
Ten iterative steps in development and evaluation of environmental models
Models are increasingly being relied upon to inform and support natural resource management. They are incorporating an ever broader range of disciplines and now often confront peo...
Anthony J. Jakeman, Rebecca A. Letcher, John P. No...