An object-oriented specification method for Ada

• Authors:

• Sidney C. Bailin

• Affiliations:

• Computer Technology Associates, Inc., 14900 Sweitzer Lane, Suite 201, Laurel, MD

• Venue:
• WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
• Year:
• 1988