References

Ada 83

U.S. Dept. of Defense [1983]. The Ada Language Reference Manual, ANSI/MIL-STD-1815A.

Booc 87

Booch, G. [1987] Software Components with Ada. Benjamin/Cummings Publishing Co.

CAMP 85

CAMP [1985]. Common Ada Missile Packages, McDonnell Douglas Astronautics Company, St. Louis, MO, 3 Volumes.

Cons 79

Constantine, L.L., and Yourdon, E. [1979]. Structured Design, Englewood Cliffs, NJ.

Edwa 89

Edwards, S. [1989] Ada and RESOLVE: Toward More Reusable Ada Components. Position Paper. Reuse in Practice Workshop, Software Engineering Institute, Pitt., PA.

Gogu 86

Goguen, J.A. [1986]. Reusing and Interconnecting Software Components. IEEE Computer, 16-28.

Gold 83

Goldberg, A., and Robson, D. [1983]. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, Mass.

Hays 89

Haystack Mountain Workshop on Language Issues for Reuse: Ada in the 90s. [1989]. Deer Isle, ME.

Hest 81

Hester, S.D., Parnas, D.L., and Utter, D.F. [1981]. Using Documentation as a Software Design Medium. The Bell System Technical Journal, 6:8.

Kapu 89

Kapur, D., Musser, D., Olthoff, W., Snyder, A., Stepanov, A., Szymanski, A. [1989]. A Prototyping Language for Rapid Reuse: Technical Proposal. Software Technology Laboratory, Hewlett-Packard Laboratories, Report STL-89-10.

Lato 88

Latour, L., and Johnson, E. [1988]. Seer: A Graphical Retrieval System for Reusable Ada Software Modules. Proceedings of the 3rd Int'l IEEE Conf. on Ada Applications and Environments, Manchester, NH.

Lato 90

Latour, L., and Meadow, C. [1990]. Reuse Engineering and Procedure Types in Ada. Proceedings of the 7th National Conf. on Ada Technology, Atlanta, Georgia.

Luck 84

Luckham, D.C., and von Henke, F.W. [1984]. Anna: a language for annotating Ada programs. Proceedings of the IEEE Conference on Ada Applications and Environments.

Muss 88

Musser, D.R., and Stepanov, A.A. [1988]. Generic Programming. Proceedings of ISSAC-88 and AAEC-6, Rome, Italy.

Prie 86

Prieto-Diaz, R., and Neighbors, J.M. [1986]. Module Interconnection Languages. The Journal of Systems and Software, 6:4, 307-344.

SEI 89

Implementation working group report [1989]. Reuse In Practice Workshop. Software Engineering Institute, Pitt, Pa.

Shaw 89

Shaw, M. [1989]. Larger Scale Systems Require Higher-Level Abstractions. 5th Int'l Workshop on Software Specification and Design, Pitt., Pa.

Trac 89

Tracz, W.J. [1989] Formal Specification of Parameterized Programs in LILANNA. PhD Dissertation, Stanford University (to be submitted).

Whee 88

Wheeler, T. [1988]. System Development Through the Use of Formal Documentation. PhD Thesis, Stevens Institute of Technology.