Text Books on the Ada Programming Language The following is a list of Ada textbooks. This list is provided for reference information and does not constitute an endorsement
Download 25.68 Kb.
|
| Text Books on the Ada Programming Language The following is a list of Ada textbooks. This list is provided for reference information and does not constitute an endorsement. Send any additions to IITRI at ECLB, or call the Ada Information Clearinghouse at (703) 685-1477 or (315) 336-2359. --------------------------------------------------------------------- Title: Programming With APSE Software Tools Author: Roy S. Freedman Publication date: May 1985 Publisher: PETROCELLI BOOKS, INC. Research Park 251 Wall Street Princeton, N.J. 08540 (609) 924-5851 Cost: $27.50 (hardcover) ISNB: 089433-220-1 Abstract: The book is divided into five sections, concerning (i) the general (Stoneman) requirements associated with an APSE, (ii) the control and invocation of APSE resources, (iii) the management of APSE databases, (iv) APSE runtime support for incomplete and distributed Ada programs, and (v) APSE support for Ada software portability. The book is presented from the viewpoint of an APSE user. Each of the 21 chapters conclude with an annotated set of references and a few exercizes for the reader. (253 pp.) --------------------------------------------------------------------- Title: Ada: Language, Compilers, and bibliography Edited by M. W. Rogers, CEC IT Task Force, Brussels Publication date: 1984 Publisher: Cambridge University Press 32 East 57th Street New York, NY 10022 Cost: $17.95 ISBN:0-521-26464-2 Abstract: This refernce guide to Ada* will be indispensable to software engineers and programmers using Ada. It contains the reference manual for the Ada programming language (ANSI/MIL-STD-1815A-1983), a set of guidelines for Ada compiler specification and selection, and a selective bibliography for Ada. (438 pp.) -------------------------------------------------------------------------- Title: Methods and tools for compiler construction - An advanced course. Edited by B. Lorho, Universite' d'Orleans Publication Date: 1984 Publisher: Cambridge University Press 32 East 57th Street New York, NY 10022 Cost: $49.50 ISBN: 0-521-26843-5 Abstract: This advanced course for computer scientists and engineers is designed to study the fundamental concepts of compilers. It presents the analytical tools and the necessary techniques used in the design of compilers and more generally in translation procedures. -------------------------------------------------------------------------- Title: Life Cycle Support in the Ada Enviroment Written by: John A. McDermid and Knut Ripken Publication Date: 1983 Publisher: Cambridge University Press 32 East 57th Street New York, NY 10022 Cost: $24.95 ISBN: 0-521-26042-6 Abstract: This book represents a first attempt at an integrated Ada Programming Support Environment (APSE) based on coherent methods covering all stages of the Software Life-Cycle. The environment supports programmers, software engineers and their managers with harmoniously cooperating toolsets. It presents a detailed life-cycle model, iscusses a management philosophy compatible with that model, and gives an experimental assessment of individual methods. (247 pp.) -------------------------------------------------------------------------- Title: Portability and Style in Ada Edited by: John Nissen and Peter Wallis Publication Date: 1984 Publisher: Cambridge University Press 32 East 57th Street New York, NY 10022 Cost: $24.95 ISBN: 0-521-26482-0 Abstract: This book contains two guides, one of the portability of Ada programs and one on Ada programming style. The guides are the result of work by the Ada-Europe Portability Working Group and represent the combined expertise of some of the leading authorities on Ada. To facilitate use of the guides, the chapters and section numbers correspond to those in the Reference Manual for Ada Programming Language (ANSI/MIL-STD 1815A,1983) (202 pp.) --------------------------------------------------------------------- Title: Understanding Ada By: Kenneth C. Shumate Publication Date: January 1984 Publisher: Harper & Row Publishing Co. 10 East 53rd St, Suite 3D New York, NY 10022 Cost: $18.22 ISBN: 0060461330 ABSTRACT: An Ada expert introduces the language for beginning programmers and technical managers. Comprehensive and comprehensible. ****************************************************************************** Title: Ada: An Advanced Introduction Including Reference Manual for the Ada Programming Language. By: Narain Gehani Publication Date: 1984 Publisher: Prentice-Hall 200 Old Tappan Road Old Tappan, NJ 07675 Cost: $29.95 ISBN: 013003996-7 ABSTRACT: Written for readers with a knowledge of at least one programming language (Pascal, C, PL/I, Algol, Fortran, etc.), this volume focuses primarily on the novel aspects of Ada -- data encapsulation, concurrency, generic facilities, exception handling and others. ANSI Standard Ada is used in the book. All programs have been tested on the NYU Ada Compiler. Interesting differences between Ada and other programming languages are noted. Stepwise refinement is used to develop programs so that the reader can easily understand design and development. ****************************************************************************** Title: Introduction to Ada By: David Price Publication Date: 1984 Publisher: Prentice-Hall 200 Old Tappan Road Old Tappan, N.J. 07675 Cost: $22.95 ISBN: 013-477653-4 ABSTRACT: An introductory guide to the Ada programming language, appropriate for readers with all levels of programming experience. The text's tutorial structure starts with essential concepts and proceeds logically to more advanced features. All concepts are explained in clear, understandable terms. Extensive examples -- sample programs and program fragments -- illustrate Ada usage. Uses the most recent definition of Ada language (1982 Department of Defense Standard). ****************************************************************************** Title: The Programming Languages, Pascal, Modula, CHILL and Ada By: C.H. Smedema, P. Medema and M. Boasson Publication Date: 1984 Publisher: Prentice-Hall 200 Old Tappen Road Old Tappan, N.J. 07675 Cost: $16.95 ISBN: 0137-729756-4 *********************************************************************** The Ada Companion Series By: European Editorial Board Publication Date: 1983 Publisher: Cambridge University Press 510 North Avenue New Rochelle, N.Y. 10801 Title: Life Cycle Support in an Ada Environment By: McDermid & Ripken Cost: $24.95 ISBN: 0-521-26042-6 ABSTRACT: "This book represents a first attempt at an integrated Ada Programming Support Environment (APSE) based on coherent methods covering all stages of the Software Life-cycle. The environment supports programmers, software engineers, ant their managers with harmoniously cooperating toolsets. The system was designed by System Designer Ltd., and TECSI-Software with the support of the Commission of the European Communities. It presents a detailed life-cycle model, discusses a management philosophy compatible with that model, and gives an experimental assessment of individual methods." Title: Portability and Style in Ada By: Nissen & Wallis Cost: $24.95 ISBN: 0-521-26482-0 ABSTRACT: "This book contains two guides, one on the portability of Ada programs and one on Ada programming style. The guides are the result of work by the Ada-Europe Portability Working Group and represent the combined expertise of some of the leading authorities on Ada. In the design of Ada, compromises were made between portability and freedom of the compiler implementor; also there are features in Ada that allow the programmer access to machine representations.The protability guide discusses the nescessary restrictions on the use of Ada so that truly portable programs can be written. Although Ada is a significant step forward in the encouragement of good programming practice, it is a large language, and so guidance is needed on how best to use the many features. The style guide is concerned with how Ada should be used to contribute towards legibility, maintainability, and correctness of programs. To facilitate use of the guides, the chapters and section numbers correspond to those in the Reference Manual for the Ada Programming Language (ANSI/MIL-STD-1815A. 1983)." ****************************************************************************** Title: Ada Programming Structures With An Introduction To Structured Concurrent Programming By: George Cherry Publication Date: November 1983 Publisher: Reston Publishing Company 11480 Sunset Hills Road Reston, Virginia 22090 Cost: $15.95 ISBN: 0835901513 *********************************************************************** Title: An Introduction to Ada Paper By: V. Young Publication Date: 1983 Publisher: John Wiley & Sons, Inc. 605 Third Avenue New York, NY 10158 Cost: $26.96 ISBN: 0-27350-X ****************************************************************************** Title: An Introduction to Ada By: Stephen Young Publication Date: 1983 Publisher: John Wiley & Sons,Inc. 605 Third Avenue New York, N.Y. 10158 Cost: $29.95 ISBN: 0-470-27551-0 ABSTRACT: The contents of this new book includes chapters on the structure of an Ada program ; notation; discrete data types, subprograms, structured data types; discriminated types; access types, generic program units; real data types and low level programming. ****************************************************************************** Title: Ada for Programmmers By: Olsen & Whitehill Publication Date: March 1983 Publisher: Reston Publishing Company 11480 Sunset Hills Road Reston, Virginia 22090 Cost: $20.95 ISBN: 0835901491 *********************************************************************** Title: Beginning Programming With Ada By: Saxon & Fritz Publication Date: March 1983 Publisher: Prentice Hall-Reston Books 11480 Sunset Hills Road Reston, Virginia 22090 Cost: $16.95 (PB) ISBN: 0171688 ************************************************************************ Title: Program Verification Using Ada By: A. D. McGettrick Publication date: August, 1982 Publisher: Cambridge University Press 510 North Avenue New Rochelle, N.Y. 10801 Cost: $42.50 (HB) $18.50 (PB) ISBN: 0-521-24215-0 (HB) 0-521-28531-3 (PB) ABSTRACT: "This book discusses all the important facets of program verification and guides the reader to a full knowledge and appreciation of its benefits. It uses the new programming language Ada, adopted by the US Department of Defense as the language of choice, to express programs and support other disscussions." "All the apsects of Ada necessary to understand program verification are introduced as they are needed. The topic has recently gained in importance because of the increasing sophistication of software and the growing dependence on computers." ************************************************************************ Title: Ada: An Introduction (Second Edition) By: Henry Ledgard Publication Date: 1983 Publisher: Springer-Verlag New York Inc. P.O. Box 2485 Secaucus, N.J. 07094 Cost: $14.95 (PB) ISBN: 0-387-90814-5 ABSTRACT: "Written just one month after the DoD language was revised... concentrates on the numerous changes in standards, incorporating much of the material from the reference..." ************************************************************************ Title: Ada: An Advanced Introduction By: Narain Gehani Publication Date: 1983 Publisher: Prentice-Hall 200 Old Tappan Road Old Tappan, N.J. 07675 Cost: $19.95 (PB) ISBN: 0-13-003962-4 ABSTRACT: "...is especially written for readers with a knowledge of a programming language such as Pascal, C. PL/1,ALGOL 60, or Fortran...(The author) points out interesting differences between Ada and other programming languages." ************************************************************************** Title: Programming in Ada By: Richard Wiener and Richard Sincovec Publication Date: March, 1983 Publisher: John Wiley and Sons, Inc. 605 Third Ave. New York, N.Y. 10158 Cost: $25.95 ISBN: 0-471-87089-7 ABSTRACT: The primary goal of this book is to introduce and illustrate the major features of a new programming language, Ada. Ada builds on many concepts of Pascal and PL/1, it is not assumed that the reader has programmed in either of these languages, but that he has some prior programming experience in a least one high level language such as Fortran, Basic or Pascal. ************************************************************************** Title: Software Engineering With Modula-2 and Ada By: W. Wiener Publication Date: February 1984 Publisher: John Wiley and Sons, Inc. 605 Third Avenue New York, N.Y. 10158 Cost: $24.90 ISBN: 0-741-89014-6 ABSTRACT: Object-oriented design and modular software construction are emphasized. The practical state-of-the-art approach emphasizes application rather than theory and the "Modular Design Chart" supports users efforts at practical design. ************************************************************************** Title: Programming Embedded Systems with Ada By: V.A. Downes and S.J. Goldsack Publication Date: 1982 Publisher: Prentice-Hall 200 Old Tappen Road Old Tappen, N.J. 07675 Cost: $30.00 (PB) ISBN: 0-13-730010-7 *************************************************************************** Title: Software Engineering with Ada By: Grady Booch Publication Date: 1983 Publisher: Benjamin-Cummings Publishing Company 2727 Sand Hill Road Menlo Park, California 94025 Cost: $22.95 ISBN: 0-8053-0600 ************************************************************************** Title: Studies in Ada Style (Second Edition) By: Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw and Mark Sherman Publication Date: 1983 Publisher: Springer-Verlag P.O. Box 2485 Secaucus, N.J. 07094 Cost: $11.95 ISBN: 0-387-90816-1 ABSTRACT: The first part of this book traces programming languages back to their roots and then through the modern counterparts, such as Ada. The last part examines five problems to be programmed using Ada and discusses how Ada affects various design decisions. ******************************************************************* Title: Programming in Ada (Second Edition) By: J.G.P. Barnes Publication Date: 1983 Publisher: Addison-Wesley Jacob Way Reading, MA 01867 Cost: $19.95 ISBN: 0-201-13799-2 ABSTRACT: This book was written for practicing programmers of embedded computer systems, giving a full presentation of the power of Ada to those whose working environment will be greatly changed by it during the next few years. Other readers will include programmers of non-embedded systems, for whom most of the facilities will be relevant, and teachers of programming. ******************************************************************* Title: The Ada Programming Language By: Ian C. Pyle Publication Date: 1981 Publisher: Prentice-Hall 200 Old Tappan Road Old Tappan, N.J. 07675 Cost: $18.95 ISBN: 0-13-003921-7 Abstract: Incorporating all the facilities of Ada and the latest developments in the language, this textbooks provides a comprenhensive introduction to the new language, which was developed by the U.S. Department of Defense. Particular stress is placed upon its use in the programming of real-time or embedded computer systems. The book is suitable for programmers or students who are familiar with such high level languages as Fortran, Pascal and PL/1. ******************************************************************* Title: Towards a Formal Description of Ada Lecture Notes in Computer Science #98 By: D. Bjorner and O.N. Oest Publication Date: 1980 Publisher: Springer-Verlag P.O. Box 2485 Secaucus, N.J. 07094 Cost: $29.00 ISBN: 3-540-10283-3 Abstract: The aim of this volume is to present the arguments, some of the experiments, and the thoughts that were part of the project whose result is also presented: namely the construction of a formal, basically denotational semantics definition of Ada. The volume also contributes to the field of Computer Architectures, by illustrating how one can systematically "derive" a formal definition of a multi-processor computer architecture "optimally" suited for the concurrent eexecution of Ada tasks. ******************************************************************* Title: An Attribute Grammar for the Semantic Analysis of Ada Lecture Notes in Computer Science, Vol. 139 By: J. Uhl, S. Drossopoulou, G. Persch et. al. Publication Date: June, 1982 Publisher: Springer-Verlag New York Inc., P.O. Box 2485 Secaucus, N.J. 07094 Cost: $23.10 ISBN: 3-540-11571-4 ABSTRACT: This book contains an attribute grammar specifying the static semantics of Ada, together with an explanatory introduction. This attribute grammar describes the Semantics of Ada, as published in July, 1980. ******************************************************************* Title: Problem Solving With Ada By: Brian Mayoh Publication Date: 1983 Publisher: John Wiley and Sons 605 Third Avenue New York, N.Y. 10158 Cost: $17.90 ISBN: 0471-886920 ******************************************************************* Title: Ada A Programmers Conversion Course By: Michael J. Stratford-Collins Publication Date: June 1982 Publisher: John Wiley & Sons (Halsted Press Division) 605 Third Avenue New York, N.Y. 10158 Cost: $48.95 ISBN: 0470-273321 Abstract: This book presents an introduction to Ada for all computing professionals. The books offers an analysis of a simple program fragment and investigates the control structures available to the Ada programmer (i.e. loop, whioe, for, exit, if, case, goto and raise) which are used to change the sequence of the statement execution from the normal line-by-line pattern. The themes of data abstraction and representation are expanded; a chapter is devoted to procedures and functions and an exploration is made of Ada's features and packages and their effects on the visibility and scoping rules. ******************************************************************* Title: Problem Solving Principles for Ada Programmers: Applied Logic, Psychology, and Grit (Ada Version #5211) By: William E. Lewis Publication Date: 1982 Publisher: Hayden Book Company, Inc. 50 Essex St. (Dept #CD 82) Rochelle Park, NJ 07662 Cost: $9.95 ISBN: 081045211-1 ******************************************************************* Title: Programming Concepts With the Ada Language By: Roy S. Freedman Publication Date: 1982 Publisher: Petrocelli Books, Inc. 1101 State Road Princeton, NJ 08540 Cost: $12.00 ISBN: 089433-190-6 ******************************************************************* Title: Programming with Ada: An Introduction by Means of Graduated Examples By: Peter Wegner Publication Date: 1980 Publisher: Prentice-Hall International 200 Old Tappan Road Tappan, N.J. 07675 Cost: $25.00 ISBN: 0-13-73-0697-0 ******************************************************************* Title: Invitation to Ada and Ada Reference Manual By: Harry Katzan, Jr. Publication Date: 1982 Publisher: Petrocelli Books, Inc. 1101 State Road Princeton, NJ 08540 Cost: $32.95 ISBN: 0-89433-1329 ABSTRACT: Initiated and developed by the military for numerical applications, systems programming and real-time programs, the programming language Ada has been adopted by the US Department of Defense. In addition to explaining the features, subprogram modularity and concurrency of the Ada language, the author emphasizes classical programming and good programming practice. Ada incorporates the features of a classical algorithmic language, such as Pascal, Algol or PL/1, and the ability to model the con- current execution of parallel tasks and service hardware and software exceptions. ******************************************************************* Title: Ada For Experienced Programmers By: A. Nico Habermann & Dewayne E. Perry Publication Date: 1983 Publisher: Addison Wesley Jacob Way Reading, MA 01867 Cost: $19.95 ISBN: 0-201-11481-X **************************************************************************** Title: Tutorial: The Ada Programming Language By: Sabina H. Saib & Robert E. Fritz Publication Date: February 1983 Publisher: IEEE Computer Society Press 1109 Spring Street Silver Spring, Md 20910 Cost: IEEE members $22.50 / non-members $30.00 ISBN: 0-8186-0456-5 ABSTRACT: This tutorial brings together many early papers on the Ada language and its environment. It also contains tutorial papers describing the language's most important aspects--especially those that apply to real-time embedded systems, an area that has suffered from a lack of high-level languages and an area the DoD designed Ada to address. ****************************************************************************** Title: THE PROGRAMMING LANGUAGE Ada, Volume # 155 By: Henry Ledgard Publication Date: 1984 Publisher: Springer-Verlag, Inc. P.O. Box 2485 Secaucus, N.J. 07094 Cost: $13.50 ISBN: 12328-8 ****************************************************************************** Title: Ada: Language, Compilers and Bibliography By: M. W. Rogers CEC IT Task Force, Brussels Publication Date: August, 1984 Publisher: Cambridge University Press 32 East 57th Street New York, N. Y. 10022 Cost: $17.95 ISBN: 0-521-26464-2 Abstract: "This book provides essential reference material for those involved in the application of software engineering concepts using Ada. It consists of three components: 1. The reference manual for the Ada programming language (ANSI/MIL- STD-1815A-1983) 2. Guidelines for Ada compiler specification and selection. This guide has been produced by a number of leading experts involved in implementing Ada compilers. It lists the character- istics of an implementation that should be taken into account in the specification or selection of an Ada compiler. 3. A selective bibliography for Ada. This well-structured bibliography lists the principle works on Ada, covering all aspects from the history and evolution of the language to the latest thinking on the many features combined for the first time in Ada. This is a reference volume that should never be far from the workbench of the serious software enginer or programmer using Ada." ****************************************************************************** Title: Methods and Tools for Compiler Construction By: B. Lorho Universite d'Orleans Publication Date: August 1984 Publisher: Cambridge University Press 32 East 57th Street New York, N.Y. 10022 Cost: $49.50 ISBN: 0-521-26843-5 Abstract: "This advanced course for computer scientists and engineers is designed to study the fundamental concepts of compilers. It presents the analytical tools and the necessary techniques used in the design of compilers and more generally in translation procedures. The book also examines the state of the art in compiler construction and discusses new perspectives in automatic compiler systems (meta-compilers). A case study concerning Ada compilation is included. It discusses Ada specification problems, modular compilation of Ada, the codification of Ada compilers, and aid systems. The book itself consists of sixteen papers presented at an advanced course sponsored by the Commission of the European Communities and the Institut National de Recherche en Informatique et en Automatique. The course was held in Rocquencourt in December 1983. Two of the papers refer directly to Ada: J. Teller, "Production Quality Ada Compilers" and J.C. Heliard, "Compiling Ada." ****************************************************************************** End of Textbooks Directory: iste iste -> E04-0289 contains books in print related to the Ada programming language iste -> September, 1988 The Ada Information Clearinghouse (AdaIC) Newsletter is a quarterly publication of the AdaIC iste -> Intertanko safety, Technical & Environmental Committee istec#21 Meeting iste -> Ada Iformation Clearinghouse Newsletter July 1989 Volume VII no. 2 The Ada Information Clearinghouse (AdaIC) Newsletter is a quarterly publi- cation of the AdaIC Download 25.68 Kb. Share with your friends:
|