The primary thesis objective is research into current approaches to design specification languages, emphasizing Ada. Requirements specification is touched upon. Design specification is explored and related to requirements and implementation. The role of language in design is discussed, as well as objectives of the design specification and features that a specification language should provide in order to meet those objectives. Formal language is contrasted with natural language. Some formal specification languages are described, both Ada related and not Ada related. The secondary objective, the thesis project, is to illustrate a design specification in a formal language, Ada. The purpose of the project is to compare the Ada expression of an example design with the natural language specification for the same system.

Library of Congress Subject Headings

Ada (Computer program language); Computer software--Development

Publication Date


Document Type


Department, Program, or Center

Computer Science (GCCIS)


Anderson, Peter

Advisor/Committee Member

Niemi, Rayno

Advisor/Committee Member

Lasky, Jeffrey


Note: imported from RIT’s Digital Media Library running on DSpace to RIT Scholar Works. Physical copy available through RIT's The Wallace Library at: QA76.73.A35 G523 1988


RIT – Main Campus