9006 search results - page 60 / 1802 » Modeling Software |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Software Visualization encompasses the development and evaluation of methods for graphically representing different aspects of methods of software, including its structure, execut...
VSTTE
2005
Springer
14 years 3 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...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
ICSE
2003
IEEE-ACM
14 years 3 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
COMPSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...