Nelson H. Weiderman
- 1.Goodenough, J. B. Ada compiler validation: an example of software testing theory and practice. In Haberman, A.N. and Montinari, U. (Eds.), System Development and Ada, Proceedings of the CRAI Workshop on Software Factories and Ada, Lecture Notes in Computer Science, No. 275. Springer-Verlag 1986, pp. 195-232. Google Scholar
Digital Library
- 2.Currit, P.A., Dyer, M., and Mills, H.D. Certifying the reliability of software. IEEE Transactions of Software Engineering, SE- 12, 1 (Jan. 1986), pp. 3-11. Google ScholarDigital Library
Index Terms
- Ada 9X validation
Recommendations
Implementing internal program representations with Ada and Ada 9X
TRI-Ada '94: Proceedings of the conference on TRI-Ada '94In an earlier paper, the author discussed the use of Ada to implement the internal program representation for an Ada software re-engineering system. While many of Ada's features were used to advantage in the implementation, the lack of an inheritance ...
Protected kernels and Ada 9X real-time facilities
Many of the Ada 9X mappings will have a dramatic impact on current implementations of Ada run-time executives. This impact is particularly severe for the case of run-time systems that are implemented with protected kernels, often required in real-time ...
How to program in Ada 9X, using Ada 83
Existing software will have to be transitioned from Ada 83 to Ada 9X. This paper explains presently known incompatibilities between the existing Ada standard and its proposed revision. It provides guidelines to users, which will make their Ada 83 code ...
Comments