Date of Award

Spring 5-1986

Document Type


Degree Name

Master of Science (MS)


Computer Science

Committee Director

Dar-Biau Liu

Committee Member

Michael Overstreet

Committee Member

Christian J. Wild

Call Number for Print

Special Collections LD4331.C65H37


We address the problem of .making verifiable specifications in generic program units in the Ada Programming Language*. We illustrate the methodologies of LIL proposed by Joseph Goguen and Justify the use of such a specification languages using analogy programming originally proposed by Nachum Dershowitz. The work in these areas is new and noticeably incomplete. We address our concern about the reusability of Ada software in a programming environment that includes a specification language like LIL. * Ada is a registered trademark of the U.S. Government (Ada Joint Program Office)


In Copyright. URI: This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).