9018 search results - page 80 / 1804 » 3D-Brain Model Software |
ADAEUROPE
2006
Springer
15 years 4 months ago
2006
Springer
Software reliability models are an important tool in quality management and release planning. There is a large number of different models that often exhibit strengths in differen...
AMOST
2005
ACM
15 years 14 days ago
2005
ACM
Early estimation of defect density of a product is an important step towards the remediation of the problem associated with affordably guiding corrective actions in the software d...
92
Voted
SEW
2003
IEEE
15 years 3 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...