The case for full Ada as a design language

  • Authors:
  • Anna I. Chase;Mark S. Gerhardt

  • Affiliations:
  • Raytheon Company, Portsmouth, Rhode Island;Raytheon Company, Portsmouth, Rhode Island

  • Venue:
  • ACM SIGAda Ada Letters
  • Year:
  • 1982

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes the use of Ada for a design language. It suggests the use of full Ada constructs to represent a design which can be rigorously checked both syntactically and semantically. First it reviews the objectives of Ada and of design languages and, discusses the relationship between Ada and the design process, and reviews current design strategies. It cites the constructs of Ada relevant to the design process and surveys rurrent industry PDL efforts. Finally it suggests how to use Ada for design by giving examples of how and when to use appropriate Ada constructs and the appropriate forms hy which to convey the design information.