Form G18-1092b
ADABOOKS.HLP

Ada Information Clearinghouse, 1-800-AdaIC-11, 1-703/685-1477

                                        Ada BOOKS

Report of a product or service is for informational purposes only and does not 
imply an endorsement by the Ada Information Clearinghouse, or its sponsor, the 
Ada Joint Program Office.

This flyer is intended to be a comprehensive list of Ada-related books that 
have been published.  Abstracts are provided for those books that are part of 
the Ada Joint Program Office library.

If you know of other Ada-related books that have been published, please 
contact the AdaIC at 1/800-Ada-IC11 so that we can add those books to this 
list.

Report of a product, service, or event is for information purposes only and 
does not imply an endorsement by the Ada Information Clearinghouse, or its 
sponsor, the Ada Joint Program Office.

                              ALPHABETICAL LIST (BY AUTHOR)

Agrawala, A.K., et al., editors.  Mission Critical Operating Systems.  1992.  
(ISBN: 90 5199 069 3)

      This book explores the design and implementation of mission critical 
      operating systems (MCOS) and mission critical computing systems (MCCS).  
      The topics covered, which range from conceptual ideas to descriptions of 
      concrete systems, have been organized into three parts--operating system 
      design concept, real-time operating systems and Ada-based real-time 
      systems.

Andrews, E., editors.  Concurrent Programming with Ada.  Benjamin-Cummings, 
date not set.  (ISBN: 0-8053-0088-0; $19.16/paper text)

Atkinson, C.  Object-Oriented Reuse, Concurrency and Distribution; An 
Ada-Based Approach.  Addison-Wesley, 1991.  270p.  (ISBN: 0-201-56527-7; 
$37.75)

      The book includes an introduction to DRAGOON, the object-oriented 
      language that combines the power of object-oriented languages with the 
      software engineering features of Ada; examples of DRAGOON's use of 
      multiple inheritance to handle aspects of concurrency and distribution; 
      illustrations of how DRAGOON's features my be implemented in Ada.

Atkinson, C., et al.  Ada for Distributed Systems.  (Ada Companion Series) 
Cambridge University Press, 1988.  147p.  (ISBN: 0-521-36154-0; $39.50)

      Describes the final report of the DIstributed Ada DEMonstrated DIADEM 
      project, which studied the problems and developed solutions for using 
      Ada to program real-time, distributed control systems.  Demonstrates new 
      techniques for controlling such systems from a distributed Ada program.

Ausnit, C.N., et al.  Ada in Practice.  (Professional Computing Series) 
Springer-Verlag, 1985.  195p.  (ISBN: 0-521-36154-0; $32.50)

      Identifies and resolves issues related to Ada usage and promotes 
      effective use of Ada in general programming, design practice, and in 
      embedded computer systems.  Contains 15 case studies that cover five 
      general areas of the Ada language: naming conventions, types, coding 
      paradigms, exceptions, and program structure.

Baker, L.  Artificial Intelligence with Ada.  McGraw-Hill, 1989.  361p.  
(ISBN: 0-07-003350-1; $39.95)

      Presents approximately 8,000 lines of full coding in Ada along with 
      functions, which include backward-chaining expert systems shells, 
      forward chaining expert systems shells, and an ATN natural language 
      parser.  Discusses the code for implementing each program and 
      illustrates each by one or more examples.

Barnes, J.  Programming in Ada.  2nd edition.  Addison-Wesley, 1983.  (ISBN: 
0-201-13799-2; $25.95/paper)

Barnes, J.  Programming in Ada.  3rd edition.  Addison-Wesley, 1989.  494p.  
(ISBN: 0-201-17566-5; $32.25)

      Discusses Ada using a tutorial style with numerous examples and 
      exercises.  Assumes readers have some knowledge of the principles of 
      programming.  Covers the following: Ada concepts, lexical style, scalar 
      types, control structures, composite type, subprogram, overall 
      structures, private types, exceptions, advanced types, numerics types, 
      generics, taskings, external interfaces.

Baum, J.  The Calculating Passion of Ada Byron.  Archon Books, 1986.  133p.  
(ISBN: 0-208-02119-1; $23.50)

      Details the life of Ada Byron, her training in mathematics, her 
      tumultuous relationship with her mother and her contribution to the 
      study of science.

Berzins, V., and Luqi.  Software Engineering with Abstractions.  
Addison-Wesley, 1991.  (ISBN: 0-201-08004-4)

      Uses a formal specification language ("Spec") to lead readers through 
      the software-development process to develop large, real-time, and 
      distributed systems in Ada.  Discuss tools for automating software 
      development.  An example of a simplified airline-reservation system that 
      illustrates features typical of large-scale systems is used throughout 
      the entire book.

Biggerstaff, T.J., and A.J. Perlis, editors.  Software Reusability Concepts 
and Models, Volume 1, Concepts and Models.  ACM Press, 1989.  (ISBN: 
0-201-08017-6)

Biggerstaff, T.J., and A.J. Perlis, editors.  Software Reusability Concepts 
and Models, Volume 2, Applications and Experience.  ACM Press, 1989.  (ISBN: 
0-201-50018-3)

Bjoerner, D., and O.N. Oest.  Towards a Formal Description of Ada.  (Lecture 
Notes in Computer Science) Springer-Verlag, 1980.  630p.  (ISBN: 0-387-102833; 
$31.00/trade)

      Describes the Ada programming language, discusses compiler development, 
      and provides a formal definition of Ada.

Booch, G.  Object Oriented Design with Applications.  Benjamin-Cummings, 1991.  
(ISBN: 0-8053-0091-0)

      Offers guidance for constructing object-oriented systems and provides a 
      description of object-oriented design methods.  Includes examples drawn 
      from the author's experience in developing software systems and five 
      application projects.

Booch, G.  Software Engineering with Ada. 2nd edition.  Benjamin-Cummings, 
1988.  580p.  (ISBN: 0-8053-0604-8; $31.95)

      Introduces Ada from a software engineering vantage.  Addresses the 
      issues of building complex systems.  Includes new features in this 
      second version: a more thorough introduction to Ada syntax and 
      semantics, an updated section on object-oriented techniques to reflect 
      the current state of knowledge, and improved examples that illustrate 
      good Ada style for production systems development.

Booch, Grady.  Software Components With Ada Structures, Tools, and Subsystems.  
Benjamin-Cummings, 1987.  635p.  (ISBN: 0-8053-0609-9; $35.50/paper)

      Catalogs reusable software components and provides examples of Ada 
      programming style.  Presents a study of data structures and algorithms 
      using Ada.

Loftus, C., editor.  Ada Yearbook, 1993.  Aberystwyth, 1993 (ISBN: 
90-5199-124-X; $94)

Bott, F., editor.  Ada Yearbook, 1991.  Van Nostrand Reinhold, 1991.  (ISBN: 
0-442-30836-1; $54.95/trade)

Bover, D.  Introduction to Ada.  Addison-Wesley, 1991.  (ISBN: 0-201-50992-X; 
$30.25/trade)

Bryan, D.L., and G. Mendal.  Exploring Ada. Volume 1.  Prentice-Hall, 1990.  
411p.  (ISBN: 0-13-295684-5; $34.00/text) (See Volume 2 under Mendal)

      Describes Ada's type model, statements, packages and subprograms.  
      Includes programming features such as information hiding, facilities to 
      model parallel tasks, data abstraction, and software reuse.

Bryant, R., and B. Unger, editors.  Simulation in Strongly Typed Languages: 
Ada, Pascal, Simula.  (SCS Simulation Series, Volume 13, Number 2).  (ISBN: 
0-317-05019-2; $36.00/trade)

Buhr, R.J. Practical Visual Techniques in System Design with Applications to 
Ada.  Prentice-Hall, 1990.  533p.  (ISBN:0-13-880808-2; $43.20/casebound)

      Offers a personal statement on how to use visual techniques to organize 
      one's thinking during the design process.

Buhr, R.J.  System Design with Ada.  Prentice-Hall, 1984.  256p.  (ISBN: 
0-13-880808-2; $48.00 paperback) (ISBN:0-13-881623-9; $55.00/text)

      Stresses aspects of Ada important for design.  Aims numerous examples of 
      notations at teaching, learning, CAD, and uses in industrial practice.  
      Contains three divisions: 1) provides a top down overview of the design 
      features of Ada; 2) develops the design notation and provides a tutorial 
      on the design process using simple examples; 3) treats advanced issues 
      such as implementing the X.25 packet switching protocol.

Burns, A.  Towards Ada9X.  IOS Press, 1992.  (ISBN: 90-5199 075 8)

      This book is a collection of edited papers on the general theme of Ada 
      9X.  Two papers directly address the likely language changes.  The first 
      of these is written by one of the Ada9X distinguished reviewers, the 
      second is by one of the team members that is actually implementing the 
      language changes.  A further paper describes how the new language 
      features will directly support the programming of hard real-time 
      systems.  The book includes a paper written by the chairman of the 
      ARTEWG group, that describes the new release of the catalog of interface 
      features and options for an Ada run-time system (CIFO)).  Other areas 
      covered include interface bindings, such as to SQL or POSIX, to Ada.

Burns, A.  Concurrent Programming in Ada.  (Ada Companion Series) Cambridge 
University Press, 1985.  241p.  (ISBN: 0-521-30033-9; $34.50/trade)

      Reports on Ada tasking offering a detailed description and an assessment 
      of the Ada language concerned with concurrent programming.

Burns, A., and A. Wellings.  Real-Time Systems and Their Programming 
Languages.  Addison-Wesley, 1990.  575p.  (ISBN: 0-201-17529-0)

      Provides a study of real-time systems engineering, and describes and 
      evaluates the programming languages used in this domain.  Considers 
      three programming languages in detail: Ada, Modula-2, and Occam2.

Burns, A.  A Review of Ada Tasking.  (Lecture Notes in Computer Science 
Series, Volume 262) Springer-Verlag, 1987.  (ISBN: 0-387-18008-7; $15.50)

Byrne, W.E.  Software Design Techniques for Large Ada Systems.  Digital Press, 
1991.  314p.  (ISBN: 1-55558-053-X; $45)

      Introduces design strategies for controlling complexities inherent in 
      large computer programs and in software systems as groups of large 
      computer programs executing concurrently.  Focuses primarily on issues 
      associated with the design of software systems as a whole rather than on 
      localized design and coding issues.

Caverly, P., and P. Goldstein.  Introduction to Ada: A Top Down Approach for 
Programmers.  Brooks-Cole, 1986.  237p.  (ISBN:0-534-05820-5; $18.50/paper)

      Organizes and emphasizes those features that distinguish Ada from other 
      programming languages.  Uses a cyclical approach to the treatment of 
      many topics.  Gives a brief history of the development of the Ada 
      language.  Introduces the I/O capabilities, procedures, character and 
      numeric data types and subtypes, and the concept of an Ada program 
      library.  Discusses enumeration, array, record, and derived types, and 
      demonstrates how the package can be used to encapsulate data types.  
      Explains access types and applications and the encapsulation of data 
      objects in packages.  Illustrates how finite-state machines can be 
      represented by packages.  Describes the essentials of tasking and deals 
      with blocks and exceptions.  Introduces the reader to private types, 
      types with discriminates, and generic units.

Cherry, G.W.  Parallel Programming in ANSI Standard Ada.  Prentice-Hall, 1984.  
231p.  (ISBN: 08359-5434-X; $48.00/text)

      Explores parallel sorting, searching, root finding, process pipelining, 
      object (data) flow graphs, exception handling, etc., using Ada.

Cherry, G.W.  Ada Programming in ANSI Standard Ada.  Prentice-Hall, 1981.  
(out of print)

Chirlian, Paul M.  Introduction to Ada.  Weber Systems, 1985.  291p.  (ISBN: 
0-916460-42-8; $19.95)

      Provides a basic course in the Ada programming language.  (Ada courses 
      and/or self-study)

Clark, Robert G.  Programming in Ada: A First Course.  Cambridge University 
Press, 1985.  215p.  (ISBN: 0-521-25728-X; $47.50/trade) (ISBN: 0-521-27675-6; 
$21.95/paper)

      Introduces the Ada programming language.  Targets persons without 
      previous experience in programming.  Details how to design solutions on 
      a computer.  Concentrates on solving simple problems in the early 
      sections: the later sections explore how packages can be used in 
      constructing large reliable programs.  Emphasizes central features such 
      as data types, subprograms, packages, separate compilation, exceptions 
      and files.  ANSI/MIL-STD-1815A-1983 is referenced throughout the book.

Cohen, N.C.  Ada as a Second Language.  McGraw-Hill, 1986.  838p.  (ISBN: 
0-07-011589-3; $36.04/paper)

      Explains Ada to those who wish to acquire a reading and writing 
      knowledge of the Ada language.  Also a programming reference source.

Conn, R., editor.  Ada Software Repository (ASR).  Zoetrope, 1990.  35p.  
(ISBN: 0-918432-78-2; $16.95/paper)

      Describes how to use the Ada Software Repository, which contains Ada 
      programs, software components, and educational materials, and resides on 
      the host computer of the Defense Data Network (DDN).

Culwin.  Ada: A Developmental Approach.  Prentice-Hall.

      Intended for use on courses which teach Ada as the first programming 
      language.  The book is designed to take the reader from the basic 
      principles of programming to advanced techniques.  This book provides a 
      complete introduction to software development using the programming 
      language, Ada.  It is not only concerned with the production of Ada 
      programs, but it is also an introduction to the process of 
      implementation and testing.  Features include: a carefully structured 
      tutorial which includes software development, design, testing, and 
      production.

Dawes, J., et al, editors.  Selecting an Ada Compilation System.  (Ada 
Companion Series) Cambridge University Press, 1990.  173p.  
(ISBN:0-521-40498-3; $42.95)

      Presents the findings of the Ada-Europe specialist group for compiler 
      assessment.

Dawes, J.  The Professional Programmers Guide to Ada.  Pittman Publishing, 
1988.  (ISBN: 0-273-02821-9; $100.00x)

Dorchak, S.F., and P.B. Rice.  Writing Readable Ada: A Case Study Approach.  
Heath, 1989.  244p.  (ISBN: 0-669-12616-0; $17.00)

      Contains a style guide, which gives suggestions for enhancing code 
      readability; devotes a chapter to the discussion of concurrency, an 
      advanced feature of modern programming languages; a fully coded Ada 
      program, along with a sample run; a bibliography, which lists books and 
      articles about Ada and software engineering principles; two indexes, one 
      devoted exclusively to references of case study modules and the other 
      listing important topics and concepts.

Elbert, T.F.  Embedded Programming in Ada.  Van Nostrand Reinhold, 1989.  
523p.  (ISBN: 0-442-22350-1; $55.00/trade)

      Clarifies Ada for the practicing programmer and for the advanced 
      engineering or computer science student.  Assumes the reader has 
      acquired a certain level of sophistication, general concepts normally 
      found in introductory programming texts are not covered.  Also, presumes 
      the reader is familiar with operating systems and has a basic knowledge 
      of some block-structured language such as PL/1 and Pascal.

Feldman, M.B., and E.B. Koffman.  Ada Problem Solving & Program Design.  
Addison-Wesley, 1991.  (ISBN:0-201-5006-3/diskette) (ISBN:0-201-55560/trade)

      Designed to introduce the novice to a number of Ada features, such as 
      subprograms, packages, operator overloading, enumeration types, and 
      array-handling operations.  Emphasizes throughout the book the 
      principles of data abstraction, software engineering, problem solving, 
      and program design.

Feldman, M.B.  Data Structures with Ada.  Prentice-Hall, 1985.  314p.

      Highlights the use of Ada as a general purpose programming language.  
      Includes the following: linked lists, queues and stacks, graphs, trees, 
      hash methods, sorting, etc.  Does not include generics; it was written 
      before compilers could handle generics.  Free software available from 
      the author.

Feuer, A.R., and N. Gehani.  Comparing & Assessing Programming Languages: Ada, 
C & Pascal.  (Software Series) Prentice-Hall, 1984.  (ISBN: 0-13-154840-9; 
$32.00/paper text)

Fisher, D.A., editor.  Ada Language Reference Manual.  Gensoft Corp., 1986.  
(ISBN: 0-9618252-0-0; $12.95/paper text)

Fisher, G., editor.  Approved Ada Language Commentaries.  (Ada Letters Series, 
Volume 9, Number 3) Assn. Computing Machinery, 1989.  (ISBN: 0-89791-311-6; 
$30.00/paper text)

Ford, B., et al.  Scientific Ada.  (Ada Companion Series) Cambridge University 
Press, 1987.  386p.  (ISBN: 0-521-33258-3; $44.50/trade)

      Explores aspects of the Ada programming language that are relevant to 
      the scientific (i.e., numeric) community at large.  Concentrates on the 
      numeric models of Ada and a number of Ada-specific features (e.g., 
      generics).  Reviews guidelines for the design of large scientific 
      libraries in Ada.

Freedman, Roy S.  Programming Concepts with the Ada Language.  Petrocelli, 
1982.  165p.  (ISBN: 0-89433-190-6; out of print)

      Assists in understanding the concepts discussed in the Ada Language 
      Reference Manual.

Freedman, R.S.  Programming Concepts with the Ada Reference Manual.  
Petrocelli, 1982.  (ISBN: 0-89433-190-6; $12.95)

Gautier, R.J., and P.J. Wallis.  Software Reuse with Ada.  Peregrinus Ltd., 
1990.  205p.  (ISBN: 0-86341-173-8)

      Contains three sections: 1) general reuse issues, comprises a collection 
      of papers on various aspects of Ada software reuse; 2) case studies of 
      Ada reuse in practice; and 3) Ada Reuse Guidelines which appear in their 
      final form in this section.

Gehani, N.  Ada: An Advanced Introduction Including Reference Manual for the 
Ada Programming Language.  Prentice-Hall, 1984.  568p.  (out of print)

      Introduces problem solving in Ada by means of a set of examples.  
      Develops solutions to problems in the framework of step-wise refinement.  
      Provides practical instruction in top-down structured programming.

Gehani, N.  Ada: An Advanced Introduction. 2nd edition.  Prentice-Hall, 1989.  
280p.  (ISBN: 0-13-004334-6 $32.40/paper)

      Introduces advanced problem-solving in Ada.  Emphasizes modular 
      programming as good programming practice.

Gehani, N.  Ada: Concurrent Programming.  Prentice-Hall, 1984.  261p.  (ISBN: 
0-13-004011-8; out of print)

      Offers a large collection of concurrent algorithms, expressed in terms 
      of the constructs provided by Ada, as the support for concurrent 
      computation.  Explains the concurrent programming facilities in Ada and 
      shows how to use them effectively in writing concurrent programs.  
      Surveys concurrent programming in other languages, and discusses issues 
      specific to concurrent programming facilities in Ada.

Gehani, N.  Unix Ada Programming.  Prentice-Hall, 1987.  310p.  (ISBN: 
0-13-938325-5; $34.00/paper)

      Focuses on the novel aspects of the Ada language and explains them by 
      many examples written out in full.  Examines the interesting differences 
      between the Ada language and other programming languages.  Also, notes 
      the similarities between Ada, Pascal, C, PL/I, and Fortran.

Gilpin, Geoff.  Ada: A Guided Tour and Tutorial.  Prentice-Hall, 1987.  410p.  
(ISBN: 0-13-73599-0; $21.95/paper)

      Reports on the developments in control structures, scalar data types, 
      multitasking, program structure and access types.

Goldsack, S.J.  Ada for Specification: Possibility and Limitations.  (Ada 
Companion Series) Cambridge University Press, 1986.  265p.  (ISBN: 
0-521-30853-4; $7.50/trade)

      Examines the use, role, features and purpose of specification languages, 
      particularly Ada, in a large-scale software project.

Gonzalez, D.  Ada Programmer's Handbook.  Benjamin-Cummings, 1991.  (ISBN: 
0-8053-2529-8; $13.95/paper)

Gonzalez, Dean W.  Ada Programmer's Handbook and Language Reference Manual.  
Benjamin-Cummings, 1991.  200p.  (ISBN: 0-8053-2528-X; 19.95/paper)

      Presents information intended for those professionals transitioning to 
      Ada.  Includes a glossary.

Goos, G., et al.  Diana: An Intermediate Language for Ada.  (Lecture Notes in 
Computer Science) Springer-Verlag, 1987.  201p.  (ISBN: 0-387-12695-3; 
$20.00/paper)

      Describes DIANA, a Descriptive Intermediate attributed Notation for Ada, 
      which resulted from a merger of the properties of two earlier similar 
      intermediate forms: TCOL and AIDA.

Habermann, A., and Dwayne E. Perry.  Ada for Experienced Programmers.  
(Computer Science Series) Addison-Wesley, 1983.  480p.  (ISBN: 0-201-11481-X; 
$29.25/paper)

      Offers a comparative review of Ada and Pascal, using dual program 
      examples to illustrate software engineering techniques.
 
Habermann, A.N., editor.  System Development & Ada.  (Lecture Notes in 
Computer Science, Volume 275) Springer-Verlag, 1987.  (ISBN: 0-387-18341-8; 
$25.70/paper)

Heilbrunner, Stephan.  Ada in Industry, Proceedings of the Ada-Europe 
International Conference, Munich, June 7-9, 1988.  (Ada Companion Series) 
Cambridge University Press, 1988.  262p.  (ISBN:0-521-36347-0; $42.50/trade)

      Provides state of the art reports on the Ada programming language.

Hibbard, Peter, et al.  Studies in Ada Style. 2nd edition.  Springer-Verlag, 
1983.  101p.  (ISBN: 0-387-90816-1; $21.50/paper)

      Presents concepts of the abstractions embodied in Ada with five 
      examples: a queue, a graph structure, a console driver, a table handler 
      and a solution to Laplace's equation using multiple tasks.

Ichbiah, J, et al.  Rationale for the Design of the Ada Programming Language.  
Cambridge University Press, 1991.  (ISBN: 0-521-39267-5; $54.95)

      Presents the rationale behind the design and development of the Ada 
      programming language.

Johnson, P.I.  The Ada Primer.  McGraw, New York, NY, 1985.  (out of print)

Johnson, Phillip I.  Ada Applications and Administration. 2nd edition.  
McGraw-Hill, 1990.  209p.  (ISBN: 0-07-032627-4ISBN; $39.95/Text edition)

      Explains how to ensure the reliable, error-free, cost-effective 
      operation of large computer systems with Ada.  Updates and revises 
      earlier edition (first entitled The Ada Primer).

Jones, Do-While.  Ada in Action with Practical Programming Examples.  John 
Wiley & Sons, 1989.  (ISBN: 0-471-60708-8; $34.95/paper text)

Jones, Do-While.  Ada in Action with Practical Programming Examples.  John 
Wiley & Sons, 1989.  487p.  (ISBN: 0-471-50747-4; $57.95/text)

      Helps Ada programmers avoid common pitfalls and provides them with many 
      reusable Ada routines.  Discusses a variety of numeric considerations, 
      user interfaces, utility routines, and software engineering and testing.  
      Provides examples of Ada code.

Katzan, H., Jr.  Invitation to Ada (Condensed Edition).  Petrocelli, 1984.  
173p.  (out of print)

      Introduces Ada in terms of three broad classes of applications: 
      numerical, system programming, and real-time programming.

Katzan, H., Jr.  Invitation to Ada.  Petrocelli, 1984.  (ISBN: 0-89433-239-2; 
$14.95/paper text)

Katzan, H., Jr.  Invitation to Ada & the Ada Reference Manual.  Petrocelli, 
1982.  429p.  (ISBN: 0-89433-132-9; $34.95/text)

      Calls for the scientific computing community to adopt the Ada 
      programming language.  Part II is the Ada Reference Manual, 1980 
      version.

Keeffe, D., et al.  Pulse: An Ada-based Distributed Operating System.  (APIC 
Studies in Data Processing, Volume 26), Academy Press, 1985.  (ISBN: 
0-12-402979-1; $39.95/paper)

Keller, J.  The Ada Challenge, 1988: Strategies Risk & Payoffs.  Pasha 
Publications, 1988.  (ISBN: 0-935453-22-9; $174.00/paper)

Krell, B.  Developing with Ada: Life-Cycle Methods.  Bantam Professional 
Books, September 1992 (ISBN 0553-0909-3; $54.95/hard cover).

      Dr. Krell offers his opinion on the key to using Ada to its fullest 
      potential: a tested development methodology for implementing real-time 
      Ada systems quickly and efficiently, from requirements and code 
      generation through design and test.  By applying the steps outlined in 
      Dr. Krell's book, "software engineers can create real-time systems that 
      are flexible, integrate easily, perform well, and satisfy user needs," 
      according to the publisher.

Krieg-Brueckner, B., et al, editors.  Anna: A Language for Annotating Ada 
Programs.  (Lecture Notes in Computer Science Series, Volume 260) 
Springer-Verlag, 1987.  (ISBN: 0-387-17980-1; $15.50/paper)

Ledgard, Henry.  Ada: A First Introduction. 2nd edition.  Springer-Verlag, 
1983.  130p.  (ISBN: 0-540-90814-5)

      Assumes that the reader has experience with some other higher order 
      programming language.  Outlines several key features of Ada; a treatment 
      of the facilities -- concept of data types, the basic statements in the 
      language, subprograms, packages, and general program structure.

Ledgard, H.  Ada: An Introduction. 2nd edition.  Springer-Verlag, 1987.  
(ISBN: 0-387-90814-5; $22.00/paper text)

Lewi, P., and J. Paredaens.  Data Structures of Pascal, Algol Sixty-Eight, 
PL-1 & Ada.  (ISBN: 0-387-15121-4; $49.00/paper)

Lomuto, N.  Problem Solving Methods with Examples in Ada.  Prentice-Hall, 
1987.  176p.  (ISBN: 0-13-721325-5)

      Contains a collection of hints on solving programming problems.  
      Includes examples along with sections on the art of thinking, analyzing 
      the problem, systematic development, looking back, ideas for ideas, and 
      case studies.

Luckham, David C., et al.  Programming with Specifications: An Introduction to 
Anna, a Language for Specifying Ada Programs.  (Texts and Monographs in 
Computer Science) Springer-Verlag, 1990.  416p.  (ISBN: 0-387-97254-4)

      Offers an in-depth look at ANNA, a form of the Ada language in which 
      specially marked comments act as formal annotations about the program to 
      which they are attached.

Lynch, B., editor.  Ada: Experiences & Prospects: Proceedings of the 
Ada-Europe International Conference.  Dublin, 1990.  (Ada Companion Series) 
(ISBN: 0-521-39522-4; $9.50/trade)

Lyons, T.G.  Selecting an Ada Environment.  (Ada Companion Series) Cambridge 
University Press, 1986.  239p.  (ISBN: 0-521-32594-3 (British); $29.95/trade)

      Provides an overview of the Ada Programming Support Environment (APSE).  
      Covers six main issues in selecting an environment.  Contains summaries 
      of current approaches to likely problems, indications of deficiencies in 
      existing knowledge, and checklists of questions to ask when considering 
      a particular environment.

Mayoh, B.  Problem Solving with Ada.  (Wiley Series in Computing.)  
Reproduction of 1982 edition (order no. 2032658; $63.20/paper)

McDermid, J.A., and K. Ripken.  Life Cycle Support in the Ada Environment.  
(Ada Companion Series) Cambridge University Press, 1984.  (out of print)

McGettrick, Andrew D.  Program Verification Using Ada.  Cambridge University 
Press, 1982.  345p.  (ISBN: 0-521-24215-0; $57.50/Trade) (ISBN: 0-521-28531-3; 
$29.95/paper)

      Discusses such topics as correctness of nonbranching programs, 
      invariants and termination proofs via well formed sets, elementary 
      types, arrays, records, access types, packages as well as an 
      encapsulation mechanism for abstract data types, and parallelism.

Miller, N.E., and C. Peterson.  File Structures: With Ada.  Benjamin-Cummings, 
1989.  (ISBN-8053-0440-1; $39.95/text)

Mendal, G., and D.L. Bryan, Exploring Ada. Volume 2.  Prentice-Hall, 1992.  
(ISBN: 0-13-297227-1) (See Volume 1 under Bryan.)

      A method of presentation based on the Socratic method, provides coverage 
      and the semantics of Ada.  Discusses focused problems individually.  The 
      second volume expands on the larger issues dealing with Ada's more 
      advanced features.

Mohnkern, Gerald L., and Mohnkern, Beverly.  Applied Ada.  TAB Books, 1986.  
326p.  (ISBN: 0-8306-2736-7)

      Introduces the Ada language on a practical level.  Targets persons who 
      understand the basic terminology and concepts of programming.  (A 
      particular language is not a prerequisite.)  Instructs through examples 
      of programs written in Ada.

Musser, D.R., and Stepanov, A.A.  The Ada Generic Library Linear List 
Processing Packages.  Springer-Verlag, 1989.  265p.  (ISBN: 0-387-97133-5: 
$39.00/trade)

      Discloses the purpose of the Ada Generic Library as an attempt to 
      provide Ada Programmers with an extensive, well-documented library of 
      generic packages whose use can substantially increase productivity and 
      reliability.  Contains eight Ada packages, with over 170 subprograms, 
      for various linear data structures based on linked lists.

Naiditch, David.  Rendezvous with Ada: A Programmer's Introduction.  John 
Wiley & Sons, 1989.  477p.  (ISBN: 0-471-61654-0; $39,95/paper)

      Explains Ada to the beginning programmer (knowledge of at least one high 
      level programming language is advised).  Concludes each chapter with 
      exercises.

Nielsen, Kjell.  Object-Oriented Design with Ada/Maximizing Reusability for 
Real-Time Systems.  Bantam Books, 1992.  (ISBN: 0-553-08955-2)

      Shows Ada programmers how to design, implement, and maintain reusable 
      real-time software systems using the object-oriented methods.

Nielsen, Kjell, and Shumate, K.  Designing Large Realtime Systems with Ada.  
McGraw-Hill, 1988.  464p.  (ISBN: 0-07-046536-3; $58.95/text)

      Presents a comprehensive methodology for the design and implementation 
      of large realtime systems in Ada.  (The reader is expected to have a 
      basic understanding of the Ada programming language.)

Nielsen, Kjell.  Ada in Distributed Realtime Systems.  McGraw-Hill, 1990.  
371p.  (ISBN: 0-07-046544-4; $58.95/text)

      Emphasizes design paradigms and heuristics for the practicing software 
      engineer.  Provides important background material for the builder of 
      operating systems and runtime support environments for distributed 
      systems.  Contains data on distributed systems, process abstraction and 
      Ada for distributed realtime systems, design paradigms for distributed 
      systems, inter-processor communication, virtual and physical nodes, and 
      fault tolerance.

Nissen, John, and Peter Wallis.  Portability and Style in Ada.  (Ada Companion 
Series) Cambridge University Press, 1984.  202p.  (out of print)

      Examines style and portability guidelines for Ada programmers.  Results 
      of work by the Ada-Europe Portability Working Group.

Nyberg, K.A.  Ada: Sources & Resources.  Grebyn Corp., 1991, P.O. Box 497, 
Vienna, VA 22183-0497.  Telephone: 703/281-2194; $60.00 plus shipping and 
handling.

Nyberg, K.A., editor.  Annotated Ada Reference Manual. 2nd edition.  Grebyn 
Corp., 1991, P.O. Box 497, Vienna, VA 22183-0497.  Telephone: 703/281-2194; 
$50.00 plus shipping and handling.

      Contains the full text of ANSI/MIL-STD-1815A with inline annotations 
      derived from the Ada Rapporteur Group of the International Organization 
      for Standards responsible for maintaining the Ada language.

Olsen, E.W., and S.B. Whitehill.  Ada for Programmers.  Prentice-Hall, 1983.  
310p.  (ISBN: 0-8359-0149-1; $38.00)

      Includes many of the subtleties of Ada in a self-paced tutorial format.  
      Contains the following: conceptual overview; predefined types; 
      expressions; basic Ada statements; subprograms; packages; etc.

Orme, A., et al.  Reusable Ada Components Sourcebook.  Cambridge University 
Press, 1992.  286p.  (ISBN: 0 521 40351 0; $49.95)

      The authors consider how the Ada software components that may be found 
      in this book could be used.  According to the publishers both the novice 
      and the expert software engineer will find useful information in this 
      book.

Pokrass, D., and G. Bray.  Understanding Ada: A Software Engineering Approach.  
John Wiley & Sons, 1985.  (ISBN: 0-471-87833-2; $32.95/paper)

Price, David.  Introduction to Ada.  Prentice-Hall, 1984.  150p.  
(ISBN:0-13-477646-1; $26.95/trade)

      Presents examples, programs, and program fragments showing Ada's power 
      as a general purpose language, plus step-by-step explanations 
      demonstrating how Ada simplifies the production of large programs.  
      Requires little technical or mathematical sophistication.

Pyle, I.C.  The Ada Programming Language.  Prentice-Hall, 1985.  345p.  (ISBN 
0-13-003906-3)

      Describes the basic features of the Ada programming language.  Covers 
      the issues of program structure, and discusses machine specific issues.  
      Assumes prior knowledge of programming.  Introduces topics in the 
      context of embedded systems.  Covers the following areas: the basic 
      features of Ada; the particular programming concepts in Ada that will 
      probably be new to most programmers; the issues of program structure; 
      the machine- specific issues that can be expressed in a 
      machine-independent language and advanced treatment.

Pyle, I.  Developing Safety Critical Systems with Ada.  Prentice-Hall, 1991.  
(ISBN: 0-13-204298-3; $39.00/paper)

      A presentation of concepts for practicing engineers or programmers 
      involved with the development of safety-related computer-based systems.  
      Considers the different roles involved in accepting safety related 
      systems and the corresponding human activities.  Illustrates how Ada 
      provides a framework in which the design rules for safety can be applied 
      and confirmed.  The author explains relationships, with major published 
      guidelines for development of safety related software.  Interprets 
      guidelines specifically for Ada.  The material presented is for three 
      contemporary viewpoints: analyzer, synthesizer, checker.  A senior-level 
      course in Ada programming and software engineering.

Rogers, M.W.  Ada: Language, Compilers and Bibliography.  Cambridge University 
Press, 1984.  332p.  (ISBN: 0-521-26464-2; $24.95/trade)

      Offers a photo reprint of the Ada standard, a guide listing the 
      characteristics of an implementation that should be taken into account 
      in the specification or selection of an Ada compiler and a bibliography.

Saib, S., and R.E. Fritz.  Introduction to Programming in Ada.  HR&W, 1985.  
(ISBN: 0-03-059487-1; $28.95/text)

Saib, Sabina H., and R.E. Fritz.  Tutorial: The Ada Programming Language.  
IEEE Computer Society, 1983.  538p.  (ISBN: 0-8053-7070-6; $25.56/paper)

      Covers such topics as the history and current status of Ada; basic 
      language; schedule for industry and DoD; preventing error; readable, 
      maintainable, modular systems; real-time features, portability; and 
      environments for Ada.

Savitch, W.J., et al.  Ada: An Introduction to the Art and Science of 
Programming.  Benjamin-Cummings, 1992.  (ISBN: 0-8053-7070-6; $33.95/paper 
text)

      Written specifically for the first programming course.  It starts with 
      variable declarations, simple arithmetic expressions, simplified 
      input-output, and builds upward toward subprograms and packages.  A 
      chapter-by-chapter instructor's guide is also available, as is a program 
      disk with more than 140 completed programs from the text.

Saxon, J.A., and R.E. Fritz.  Beginning Programming with Ada.  Prentice-Hall, 
1983.  (out of print)

Shimer, R.  Ada.  Amigo Projects, 1989.  (ISBN: 0-685-30433-7; $12.00/paper 
text)

Shumate, K.  Understanding Concurrency in Ada.  McGraw-Hill, 1987, 595p.  
(ISBN: 0-07-057299-2ISBN; $58.95/text)

      Presents a detailed exposition of concurrency in Ada.  Looks at five 
      case studies and gives an advanced introduction to real-time 
      programming.

Shumate, K.  Understanding Ada. 2nd edition, John Wiley & Sons.  (ISBN; 
0-471-605-204; $51.00/text)

Shumate, K.C.  Understanding Ada: With Abstract Data Types. 2nd edition.  John 
Wiley & Sons, 1989.  (ISBN: 0-471-60347-3; $21.50/text)

Skansholm, J.  Ada from the Beginning.  Addison-Wesley, 1988.  617p.  (ISBN: 
0-201-17522-3; $29.25)

      Describes the principles and concepts of programming in a logical and 
      easy-to-understand sequence and discusses the important features of Ada 
      (except parallel programming).  Teaches the basics of writing computer 
      programs.  Emphasizes the fundamentals of good programming.  Provides a 
      grounding in the programming language Ada.  Covers the following: 
      programming designs, the basics of Ada, control statements, types, 
      subprograms, data structures, packages, input/output, exceptions, 
      dynamic data structures, files, and generic units.

Smedema, C.H., et al.  The Programming Languages Pascal, Modula, CHILL, Ada.  
Prentice-Hall, 1983.  154p.  (ISBN: 0-685-08596-1; $16.95/trade)

      Provides an informal introduction to the most important characteristics 
      of Pascal, Modula, CHILL, and Ada.  Discusses languages in historical 
      order.  Includes the history, application area, standardization aspects 
      and future prospects of each.

Sodhi, J.  Computer Systems Techniques: Development, Implementation, and 
Software Maintenance.  TPR, a division of McGraw-Hill, 1990.  (ISBN: 
0-8306-3376-6) Telephone: 800-822-8138).

Sodhi, J.  Managing Ada Projects Using Software Engineering.  TPR, a division 
of McGraw-Hill, 1990.  246p.  (ISBN: 0-8306-0290-9; $34.95/trade) Telephone: 
800/822-8138.

      Describes some of the practical aspects of developing a flawless project 
      in Ada.

Sodhi, J.  Software Engineering: Methods, Management, and CASE Tools.  TPR, A 
division of McGraw-Hill, 1991.  (ISBN: 0-8306-3442-8) Telephone: 800/822-8138.

Software Productivity Consortium.  Ada Quality and Style: Guidelines for 
Professional Programmers.  Van Nostrand Rheinhold, 1989, 230p.  (ISBN: 
0-442-23805-3; $26.95/paper)

      Provides a set of specific guidelines for using the powerful features of 
      Ada in a disciplined manner.  Consists of concise statements of the 
      principles that should be followed, and the rationale for each 
      guideline.

Sommerville, I., and R. Morrison.  Developing Large Software Systems with Ada.  
(International Computer Science Series) Addison-Wesley, 1987.  (ISBN: 
0-201-14227-9; $26.95/paper text)

Stein, Dorothy.  Ada: A Life and Legacy.  MIT Press, 1985.  321p.  (ISBN: 
0-262-19242-X; $30.00/Trade) (ISBN: 0-262-69116-7; $10.95)

      Presents the view that Ada Byron's mathematical and scientific 
      achievements have been exaggerated.

Stratford-Collins, M.J.  Ada: A Programmer's Conversion Course.  (Ellis 
Horwood Series in Computers & Their Applications) John Wiley & Sons, 1982.  
(ISBN: 0-470-27332-1; $56.95/trade)

Tafvelin, Sven, editor.  Ada Components: Libraries and Tools.  (Ada Companion 
Series) Cambridge University Press, 1987.  288p.  (ISBN: 0-521-34636-3; 
$44.50/trade)

      Comprises the proceedings of the international conference organized by 
      Ada Europe with the support of the Commission of the European 
      Communities and the collaboration of SIGAda.

Tedd, M., et al.  Ada for Multi-microprocessors.  (Ada Companion Series) 
Cambridge University Press, 1984.  208p.  (ISBN: 0-521-301033; $4450/trade)

      Addresses those problems of distributed systems that arise out of the 
      nature of Ada and support environments.  Discusses the issues of how to 
      construct and run an Ada program for a valuable target configuration of 
      several microcomputers, interconnected through shared memories, 
      multi-access busses, local area networks, and end-to-end lines.

Texel, P.  Introduction to Ada.  Packages for Programmers.  Wadsworth Press, 
1986, 441p.  (ISBN: 0-534-06348-9; out of print)

      Provides a guide to Ada that contains complete packages, I/O facilities 
      and sample programs, emphasizing top-down design throughout.

Toole, Betty A., Ed.D.  Ada, The Enchantress of Numbers: A Selection from the 
Letters of Lord Byron's Daughter and Her Description of the First Computer.  
Strawberry Press (ISBN: 0-912647-09-4; 29.95).  Purchase from Computer 
Literacy Bookshops: 408/435-0744.  Customers in the United Kingdom should call 
Computer Bookshops, 021-706-1188.

      The author states that she selected the letters in such a way to enable 
      the reader to follow a loose story line of Lady Ada Lovelace's life.  In 
      her letters, Ada describes her thoughts of the first computer, and Ms 
      Toole relates these descriptions to the modern software language, Ada.

Tremblay, J., et al.  Programming in Ada.  McGraw-Hill, 1990.  PG 489p.  
(ISBN: 0-07-065180-9; $24.60/paper text)

      Explains computer science concepts in an algorithmic framework, with a 
      strong emphasis on problem solving and solution development.

Uhl, J.  An Attribute Grammar for the Semantic Analysis of Ada.  (Lecture 
Notes in Computer Science Series, Volume 139) Springer-Verlag, 1982.  (out of 
print)

Unger.  Simulation Software & Ada.  (SCS Simulation Series) 1984.  (ISBN: 
0-911801-03-0; $16.00/paper)

Vasilescu, E.N.  Ada Programming with Applications.  Allyn and Bacon, 1987.  
539p.  (out of print)

      Offers a bottom-up approach to commercial and business uses of Ada, 
      emphasizing the features of Ada that are most like those of traditional 
      languages.

Vasilescu.  Ada Programming.  Allyn and Bacon, 1986.  (out of print)

Volper, D., and M.D. Katz.  Introduction to Programming Using Ada.  
Prentice-Hall, 1990.  650p.  (ISBN: 0-13-493529-2; $30.00)

      Uses the spiral approach as the presentation methodology in this 
      introductory course in Ada programming.

Wallace, Robert H.  Practitioner's Guide to Ada.  McGraw-Hill, 1986.  373p.  
(ISBN: 0-07-067922-3; $39.95)

      Discusses the issues to be considered when making the transition to Ada, 
      on selecting toolsets, and on using the language effectively.  Covers 
      the following: Ada as a language; Ada Oriented Development Environments; 
      Ada oriented design methodologies; Ada policies and standards; Ada 
      products and vendors; sources of Ada-related information; making the 
      transition to Ada and other uses of Ada.

Wallach, Y.  Parallel Processing & Ada.  Prentice-Hall, 1990.  (ISBN: 
0-13-650789-1; $54.00/casebound)

Wallis, P.J.  Ada: Managing the Transition.  (Ada Companion Series) Cambridge 
University Press, 1986.  (ISBN: 0-521-33091-2; $44.50/trade)

Wallis, P.J., editor.  Ada Software Tools Interfaces.  (Lecture Notes in 
Computer Science Series, Volume 180) (ISBN: 0-387-13878-1; $16.00/paper)

Watt, D.A., et al.  Ada Language and Methodology.  Prentice-Hall, 1987.  515p.  
(ISBN: 0-13-004078-9; $37.00/paper)

      Covers the Ada language in detail and introduces program methodologies 
      appropriate for use with Ada.  Discusses the following topics: 1) covers 
      a subset of Ada broadly comparable with most other programming 
      languages; 2) introduces the features of Ada that make it suitable for 
      the construction of large programs; 3) completes the treatment of the 
      data types of Ada; 4) concludes the treatment of program structures.

Wegner, P.  Programming with Ada: An Introduction by Means of Graduated 
Examples.  Prentice-Hall, 1980.  (out of print)

Wiener, Richard and Sincovec, Richard.  Programming in Ada.  John Wiley & 
Sons, 1983.  345p.  (out of print May 1991)

      Describes the major features of the Ada programming language covering 
      basic control and data structures associated with Ada, and powerful 
      advanced features that differentiate it from previous programming 
      languages.

Wiener, R.S., and R.F. Sincovec.  Software Engineering with Modula-2 & Ada.  
John Wiley & Sons, 1984.  (ISBN: 0-471-89014-6; $51.95/text)

Winters, John.  Power Programming With Ada for the IBM PC.  TAB Books, 1987.  
207p.  (ISBN: 0-8306-2902-5; $16.95/paper) (ISBN 0-8306-7902-2DP 1987; 
$24.95/trade)

      Analyses programs in Ada for personal computers.  Written for the 
      beginning Ada programmer in a style very easy to read and follow.

Young, S.J.  An Introduction to Ada.  John Wiley and Sons, 1983.  400p.  (out 
of print)

      Introduces the programming language and explains the underlying program 
      design methodology, illustrated with examples.

                              ALPHABETICAL LIST (BY TITLE)

Ada: Introduction to Programming.  Sams, 1986.  (ISBN: 0-672-22523-9; 
$32.95/trade)

Ada Military & Commercial Markets.  1986.  (ISBN: 0-88694-719-7; $1815.00x)

Ada Quality & Style: Guidelines for Professional Programmers.  Van Nostrand 
Reinhold, 1989.  (ISBN: 0-442-23805-3; $26.95/paper)

Ada Reference Manual, The.  Silicon Press, 1988.  (ISBN: 0-9615336-6-8; 
$24.95/Trade) Algo Publishing Staff.

Ada Statement-to-Statement Dictionary.  Algo, 1988.  (ISBN: 0-945473-62-1; 
$14.95/paper)

Common Mistakes in Ada Program Conversions.  Algo, 1988.  (out of print Dec. 
1989)

Executive Briefing on Ada.  1990, Alsys, Inc., 67 South Bedford Street, 
Burlington, MA 01803-5152, 617/270-0030 (free booklet)

Intermediate Transfer Methods for Simulating GOTOs by IF & Loop Statements in 
Ada.  Algo, 1988.  (ISBN: 0-945473-54-0; $14.95/paper)

Introduction to Ada.  Merl Miller Assoc., (ISBN: 0-317-26567-9; $19.95/trade)

Programming Language Ada, The: A Reference Manual.  Proposed Standard Document 
U.S. Department of Defense.  (Lecture Notes in Computer Sciences Series, 
Volume 106) Springer-Verlag, 1983.  (ISBN: 0-387-10693-6; $19.00/paper)

Rationale for the Design of the Ada Programming Language.  Silicon Press, 
1989.  (ISBN: 0-9615336-5-X; $30.95/paper)

Reference Manual for the Ada Programming Language.  Springer-Verlag, 1987.  
(ISBN: 0-387-90887-0; $19.50/paper)

Reference Manual for the Ada Programming Language: Reprint of the Draft of the 
Proposed American National Standards Institute (ANSI).  Association Computing 
Machinery, 1982.  (ISBN: 0-89791-084-2; $28.00/paper text)

Resources in Ada.  New York: ACM, 1990.  (ISBN: 0-89791-374-4; $44.95x/paper 
text)

Simulation in Ada (ESC '85).  (SCS Simulation Series) (ISBN: 0-317-60956-4; 
$12.00/trade)

                                       PUBLISHERS

Addison-Wesley Publishing Co. (Subsidiary: Benjamin-Cummings), Route 128, 
Reading, MA, 01867, 1-800/447-2226.

Bantam Professional Books, 666 Fifth Avenue, New York, NY 10013, 212/765-6500.

Cambridge University Press, 40 West 20th Street, New York, NY, 10011, 
1-800/221-4512.

IEEE Computer Society Press, 10662 Los Vaqueros Circle, Los Alamitos, CA 
90720, 1-800/272-6657.

McGraw-Hill, Inc., 11 West 19th Street, New York, NY 10011, 1-800/842-3075 or 
1-800/338-3987.

Prentice-Hall, Prentice-Hall Bldg., Sylvan Avenue, Englewood Cliffs, NJ 07632, 
201/767-5937.

Silicon Press, 25 Beverly Road, Summit, NJ 07901, 908/273-8919.

Springer-Verlag, 815 De La Vina, Santa Barbara, CA 93101, 1-800/SPRINGER or 
212/460-1500.

Tab Books (Division of McGraw-Hill), 113311 Monterey Avenue, Blue Ridge 
Summit, PA 17214, 1-800/233-1128, or 717/794-2191.

Van Nostrand Reinhold, 115 Fifth Avenue, New York, NY 10003, 1-800/926-2665.

John Wiley & Sons, Inc., 605 Third Avenue, New York, NY, 10158, 1-800/526-5368 
or 201/469-4400.

                                 **********************

Copyright 1992.  IIT Research Institute.  All rights assigned to the U.S.  
Government (Ada Joint Program Office).  Permission to reprint this flyer, in 
whole or in part, is granted, provided the AdaIC is acknowledged as the 
source.  If this flyer is reprinted as a part of a published document, please 
send the AdaIC a courtesy copy of the publication.

                     Ada Information Clearinghouse (AdaIC)
                                   P.O. Box 46593
                             Washington, DC 20050-6593
                 703/685-1477, 800/AdaIC-11, FAX 703/685-7019
               adainfo@ajpo.sei.cmu.edu; CompuServe 70312,3303

The AdaIC is sponsored by the Ada Joint Program Office and operated by IIT 
Research Institute.



