Sciweavers

SIGADA   1994 Annual International Conference on Ada
Wall of Fame | Most Viewed SIGADA-1994 Paper
SIGADA
1994
Springer
14 years 3 months ago
Always One More Bug: Applying AdaWise to Improve Ada Code
AdaWise, a set of tools currently under development at ORA, performs automatic checks to verify the absence of common run-time errors affecting the correctness or portability of A...
Cheryl Barbasch, Dan Egnor
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source118
2Download preprint from source99