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