8 search results - page 1 / 2 » adaeurope 2006 |
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
ADAEUROPE
2006
Springer
13 years 8 months ago
2006
Springer
ADAEUROPE
2006
Springer
13 years 10 months ago
2006
Springer
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...
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...