Michael Frankel
- 1.Booch, Grady, Software Engineering with A Benjamin/Cummings Publishing, California, 1987 Google Scholar
Digital Library
- 2.Booch, Grady, Object Oriented Design with Applications, Benjamin/Cummings Publishing, California, 1991 Google ScholarDigital Library
- 3.Booch, Grady, Software Components with Ada: Structures, Tools, and Subsystems, Benjamin/Cummings Publishing, California, 1987 Google ScholarDigital Library
- 4.Buhr, R.J.A., System Design with Ada, Prentice-Hall, New Jersey, 1984 Google ScholarDigital Library
- 5.Harley, Derek, and Imtiaz Pirbhai, Strategies for Real- Time System Specification, Y ourdon Press, New York, 1988 Google ScholarDigital Library
- 6.Nielson, K.W. and Shumate, K.C., Designing Large Real-Time Systems with Ada, McGraw-Hill, New York, 1988 Google ScholarDigital Library
- Enabling reuse with Ada generics
Recommendations
Generics and verification in Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on The ADA programming languageThis paper explores the restrictions a mechanism in the style of the Ada generics facility would have to satisfy in order to be amenable to existing verification techniques. “Generic verification” is defined and defended as the appropriate goal for any ...
Generics and verification in Ada
SIGPLAN '80: Proceedings of the ACM-SIGPLAN symposium on Ada programming languageThis paper explores the restrictions a mechanism in the style of the Ada generics facility would have to satisfy in order to be amenable to existing verification techniques. "Generic verification" is defined and defended as the appropriate goal for any ...
An Ada 9X subset for inheritance-based reuse and its translation to Ada 83 (Part 1)
An object oriented reuse strategy based on the Ada 9X inheritance syntax is presented. This paper defines a minimal Ada 9X subset that implements inheritance-based reuse, and outlines its translation to Ada 83. Inheritance allows software modules to be ...
Comments