2796 search results - page 9 / 560 » A time structure based software reliability model |
COMPSAC
2002
IEEE
14 years 19 days ago
2002
IEEE
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
SERA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
ECOOP
2010
Springer
13 years 11 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...