ADAEUROPE
2006
Springer
14 years 4 months ago
2006
Springer
ADAEUROPE
2006
Springer
14 years 6 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
14 years 6 months ago
2006
Springer
ADAEUROPE
2006
Springer
14 years 6 months ago
2006
Springer
ADAEUROPE
2006
Springer
14 years 6 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
14 years 6 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
14 years 6 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...