ADAEUROPE
2006
Springer
13 years 8 months ago
2006
Springer
ADAEUROPE
2006
Springer
13 years 10 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...
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...