Rationale for the Design of an Ada Prototyping Language PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Rationale for the Design of an Ada Prototyping Language PDF full book. Access full book title Rationale for the Design of an Ada Prototyping Language by Paul A. Bailes. Download full books in PDF and EPUB format.
Author: Paul A. Bailes Publisher: ISBN: Category : Ada (Computer program language) Languages : en Pages : 24
Book Description
Abstract: "The advent of formal, even semi-automated methods of software development directed by mathematical specifications further heightens the necessity for Rapid Prototyping. Rapid Prototyping makes new demands upon software developer processes and practitioners than can be ameliorated by making its technology accessible from within existing technologies, e.g. Ada. Effectiveness considerations dicate both a preprocessor implementation of any entensions/changes to Ada and that functional programming be the prime paradigm to be supported by them. The essence of the functional paradigm is its support for higher-order, function-valued functions to varying levels of generality. A spectrum of levels of support by Ada exists for these different levels of generality, implemented by increasingly sophisticated preprocessors. This leads to the conclusion that Ada is well-designed for adaptability to emerging software development methods. This, and the high level of support we have achieved for the functional paradigm leads to the further conclusion that further R & D in the adaptation of Ada to different paradigms (e.g. object- orientation) is now warranted."
Author: Paul A. Bailes Publisher: ISBN: Category : Ada (Computer program language) Languages : en Pages : 24
Book Description
Abstract: "The advent of formal, even semi-automated methods of software development directed by mathematical specifications further heightens the necessity for Rapid Prototyping. Rapid Prototyping makes new demands upon software developer processes and practitioners than can be ameliorated by making its technology accessible from within existing technologies, e.g. Ada. Effectiveness considerations dicate both a preprocessor implementation of any entensions/changes to Ada and that functional programming be the prime paradigm to be supported by them. The essence of the functional paradigm is its support for higher-order, function-valued functions to varying levels of generality. A spectrum of levels of support by Ada exists for these different levels of generality, implemented by increasingly sophisticated preprocessors. This leads to the conclusion that Ada is well-designed for adaptability to emerging software development methods. This, and the high level of support we have achieved for the functional paradigm leads to the further conclusion that further R & D in the adaptation of Ada to different paradigms (e.g. object- orientation) is now warranted."
Author: J. Ichbiah Publisher: Cambridge University Press ISBN: 9780521392679 Category : Computers Languages : en Pages : 410
Book Description
This book presents the rationale behind the design and development of the programming language Ada. The materials incorporating corrections to its original printing by the Ada Joint Program Office (AJPO), will be essential reading for all those currently using the language as well as those considering its adoption.
Author: Jean D. Ichbiah Publisher: ISBN: Category : Languages : en Pages : 410
Book Description
Contents: Lexical and Textual Structure; Classical Programming; Types; Numeric Types; Access Types; Derived Types; Subprograms; Packages; Separate Compilation and Libraries; General Program Structure - Visibility and Overloading; Generic Units; Tasking; Exception Handling; Representation Clauses and Machine Dependencies; Input-Output.
Author: Jean D. Ichbiah Publisher: ISBN: Category : Languages : en Pages : 267
Book Description
This document, the Rationale for the design of the Green programming language, and the companion Reference Manual, are the two defining documents for the Green language. They serve different purposes. The Reference Manual contains a complete and concise definition of the language. Following Wirth we believe in the virtue of having a rather short reference manual. This has the advantage of providing the information in a form that can easily be consulted, read and reread several times, as the basis for developing a good familarity with the language.
Author: M. W. Masters Publisher: ISBN: Category : Languages : en Pages : 53
Book Description
The investigation of the methodology for software design prototyping using Ada as a program design language (PDL) involves taking a system engineering approach to software development. A proposal is made to express design characteristics as Ada programs in an effort to provide executability of the design from its earliest specification. This approach is subsequently given more substance by an examination of the methodology from three distinct perspectives: 1) The qualities of an ideal PDL are put forth and Ada is compared with this idealized PDL; Ada compares favorably with this model in most, if not all, areas; 2) The qualities of an ideal software prototype are specified, and the Ada prototype program is measured against this idealized prototype. Ada exhibits a number of characteristics that lend themselves well to the gradual refinement of a prototype program; it also shows itself to be highly supportive of testing and validation of the design as that design matures. It is found that a prototype developed in Ada, using this methodology, offers distinct advantages over the traditional software development; and 3) A step-by-step guide to the use of Ada as a PDL in a design prototyping environment is given. Additional keywords: high level programming languages; test beds; ACSIS (AEGIS Combat System Interface Simulator).
Author: R. M. Blasewitz Publisher: ISBN: Category : Languages : en Pages : 9
Book Description
The Department of Defense requirements to use the higher order language Ada by the mid-1980s will create challengers to developers of military software that encompass two major concerns: developing a core of Ada software personnel, and achieving productivity and software quality gains that have been targeted as Ada life cycle objectives. Because of recent government direction to use Ada-based PDLs, many organizations are developing prototype Ada-based design methods. The IEEE working group on Ada as a PDL is working on guidelines for the use of Ada-based design languages. The guidelines will include recommendations reflecting the current state of the art as well as alternative approaches in order to preserve good practice. The extent of industry's involvement with Ada PDLs, and also the status of the IEEE guidelines, may substantially impact both the acceptance of the Ada language and the efficiency of its use. (Author).
Author: National Research Council Publisher: National Academies Press ISBN: 0309055970 Category : Computers Languages : en Pages : 114
Book Description
The Ada programming language was created by the U.S. Department of Defense (DOD) nearly two decades ago to provide a general-purpose programming language for defense and commercial use, but has evolved into a niche solution for safety-critical systems, primarily in defense applications. Ada and Beyond presents an approach for the DOD to move beyond the debate over its policy that requires the use of Ada for all new software development. It describes the importance of the software engineering process and recommends to DOD mechanisms for more effective review of software development and improved collection of data on software project outcomes. The volume also analyzes the technical, empirical, and business cases for using Ada and other programming languages, makes recommendations regarding the appropriate conditions under which DOD should continue to require the use of Ada, and details activities that require funding by DOD in order for Ada to remain a viable programming language.
Author: Paul A. Bailes
Author: Paul A. Bailes
Author: J. Ichbiah
Author: 
Author: Sigplan notices
Author: Jean D. Ichbiah
Author: Jean D. Ichbiah
Author: M. W. Masters
Author: R. M. Blasewitz
Author: 
Author: National Research Council