Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/xada-an-executable-ada-design-language-methodology-0VR40GJIge
References
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 1985 by ACM Inc.
- ISSN
- 1094-3641
- DOI
- 10.1145/998421.998422
- Publisher site
- See Article on Publisher Site
Abstract
A methodology for using Ada as an executable design language is presented. The methodology follows Booch's admonition to "Design a little--Code a little" BOOCH1 to achieve a progressive demonstration of design correctness. Resource consuming, evolutionary, stubs are used to execute the software design as the design progresses, in order to demonstrate design self-consistency and proper loading on resources such as cpu operations and disk I/O. The methodology continues thru implementation if the programming language is Ada.
Journal
ACM SIGAda Ada Letters – Association for Computing Machinery
Published: May 1, 1985