Ada Software Tools Interfaces

INTRODUCTION Software tools may be roughly described as programs that help people to write other programs ... and the necessary related work on the standardisation of Ada software tools interfaces , which started with the design of ...

DOWNLOAD NOW »

Author: Peter J. L. Wallis

Publisher: Springer Science & Business Media

ISBN: 3540138781

Category: Computers

Page: 163

View: 439

Ada Software Tools Interfaces Workshop Bath July 13 15 1983

I have been greatly encouraged by the emphasis on software tools in the work on Ada ' programming environments . and the necessary related work on the standardisation of Ada software tools interfaces . which started with the design of ...

DOWNLOAD NOW »

Author: Peter J. L. Wallis

Publisher: Springer Verlag

ISBN: UOM:39015007653614

Category: Computers

Page: 176

View: 667

Ada The Design Choice

Experience using Pragma Interface . Princeton : Presented to ACM SIGAda . Fisher , G. ( 1983 ) . A Universal Arithmetic Package . ACM Ada Letters , vol 3 , no 6 . French , S. ( 1986 ) . Transporting an Ada Software Tool : A Case Study .

DOWNLOAD NOW »

Author: Ada-Europe (Organization). International Conference

Publisher: Cambridge University Press

ISBN: 0521381304

Category: Computers

Page: 275

View: 211

This book contains the proceedings of the 1989 Ada-Europe conference. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. The theme of this year's conference is design methods; this is of major importance since both Ada compilers and the applications built with Ada are huge. Papers in this volume, which have all been carefully refereed, study the design methods within Ada, and how they may need to be augmented with additional methods and tools where necessary. They make informed and essential reading for all involved in the use of Ada in industry and research.

Ada in Industry

The usability of the DRM as the foundation for an inter - tool interface for Ada - based tools is still an open question . 6 ACKNOWLEDGEMENTS The authors wish to thank John Summers , Roger Duncan , and Rebecca Bowerman at MITRE for ...

DOWNLOAD NOW »

Author: Ada-Europe (Organization). International Conference

Publisher: CUP Archive

ISBN: 0521363470

Category: Computers

Page: 262

View: 896

ADA Yearbook 1994

12.1 Introduction Software tools rely for various kinds of support on the interfaces provided by the environment within which they are running . This collection of interfaces is usually referred to as the public tool interface ( PTI ) ...

DOWNLOAD NOW »

Author: Chris Loftus

Publisher: IOS Press

ISBN: 905199155X

Category: Computers

Page: 441

View: 992

Proceedings of 4th Annual National Conference on Ada Technology

( 8 ) G. Persch and M. Dausmann , " The Intermediate Language Diana " , Ada Software Tools Interfaces , ed . P.J.L. Wallis , Springer - Verlag , 1984 . 19 ] J. Uhl , " A Formal Definition of Diana " , Ada Software Tools Interfaces ...

DOWNLOAD NOW »

Author:

Publisher:

ISBN: PSU:000011342427

Category: Ada (Computer program language)

Page: 204

View: 815

A Review of Ada Tasking

180 : Ada Software Tools Interfaces . Proceedings , 1983. Edited by P.J.L. Wallis . III , 164 pages . 1984 . Vol . 181 : Foundations of Software Technology and Theoretical Computer Science . Proceedings , 1984.

DOWNLOAD NOW »

Author: Alan Burns

Publisher: Springer Science & Business Media

ISBN: 3540180087

Category: Computers

Page: 141

View: 728

Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception handling; a package structure for information hiding, decomposition and separate compilation; facilities for low-level programming; and a tasking model of concurrency. It is perhaps this last area that has generated most debate, criticism and disagreement. The purpose of this book is to review the tasking model in the light of the extensive analysis and comment which has appeared in the literature. The review is necessarily wide-ranging, including discussion of - Ada as a general purpose concurrent programming language, - Ada as a language for embedded and distributed systems, - implementation issues, with particular reference to distributed systems, - formal semantics, specification and verification, - proposed language modifications. By consolidating this discussion within the confines of a single review, potential users of the tasking facility are enabled to familiarise themselves with all the factors which may impinge upon the performance, reliability and correctness of their software. The book also provides a focus for any debate on modifications to the Ada language, or developments from it.

ANNA A Language for Annotating Ada Programs

180 : Ada Software Tools Interfaces . Proceedings , 1983. Edited by P.J.L. Wallis . III , 164 pages . 1984 . Vol . 181 : Foundations of Software Technology and Theoretical Computer Science . Proceedings , 1984.

DOWNLOAD NOW »

Author: David C. Luckham

Publisher: Springer Science & Business Media

ISBN: 3540179801

Category: Computers

Page: 143

View: 226

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.

Ada and Beyond

... As discussed in "Influence of Software Environments, Tools, and Languages on the Software Engineering Process" in Chapter 2, Ada enables the definition and verification of architectural interfaces early in the development process.

DOWNLOAD NOW »

Author: National Research Council

Publisher: National Academies Press

ISBN: 9780309055970

Category: Computers

Page: 116

View: 455

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.