Quality Ada Publications
As the popularity of the Ada programming language grows, so does the
availability of quality Ada textbooks. The following is a list of
available Ada books arranged alphabetically by author and/or title; the
titles that focus on Ada 95 have been accented by bold type. A list of
publishers' addresses and phone numbers is also included.
Alphabetical List (By Author or By Title)
Please note: Prices on the list are subject to change without notice.
- Ada (83) Reference Manual. Silicon Press, 1988. (ISBN: 0-9615336-6-8; Trade, $30.95)
Ada 95 Reference Manual and
Rationale. IIT Research Institute, 1996. ($40.00)
- Ada Quality and Style: Guidelines for Professional Programmers. Van Nostrand Reinhold, 1989, 230p. (ISBN: 0-442-23805-3; Paperback, $26.95)
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.
- Ada Yearbook 1995. IOS, 1995. (ISBN: 90-5199-218-1; Hardcover, $82.00)
- Agrawala, A.K., et al., editors. Mission Critical Operating Systems.
IOS Press, 1992. (ISBN: 9-051-99069-3; Hardcover, $75.00)
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.
- Alvarez, Angel. Ada: The Design Choice, Proceedings of the Ada-Europe
International Conference, Madrid 1989. (Ada Companion Series)
Cambridge Univ Press, 1990. (ISBN: 0-521-38130-4; Hardcover,
The contents of this proceeding are made up of twenty-four
contributions chosen by the referees and Programme Committee from
seventy-three abstracts received for the conference. The papers
are arranged into six parts: PART 1- Language Extensions, PART 2-
Real-time Design, PART 3- Real-time Scheduling, PART 4- Design
Languages, PART 5- Implementation Issues, and PART 6- Practical
- Appleby, Doris. Programming Languages: Paradigm & Practice. McGraw-Hill, 1991. (ISBN: 0-07-557904-9; Paperback, $41.90)
- Atkinson, C. Object-Oriented Reuse, Concurrency and Distribution; An
Ada-Based Approach. Addison-Wesley, 1991. 270p. (ISBN: 0-201-
56527-7; Paperbck, $37.75)
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, 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, Christine. Ada in Practice. (Springer Books on Professional
Computing) Springer-Verlag, 1985. (ISBN: 0-387-96182-8;
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; Hardcover, $44.00)
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.G.P. Programming in Ada Plus an Overview of Ada 9X. 4th
edition. Addison-Wesley, 1993. 622 pages. (ISBN: 0-201-62407-9;
While remaining focused on the current ANSI 83 standard, reflects
the imminent Ada 9X standard in three ways: all features of Ada
that will be affected by the Ada 9X standard are highlighted with
icons and their design rationale described in detail; a full
chapter on Ada 9X provides a tutorial and summary of the most
important changes, including the increased support for object-
oriented programming, the introduction of a hierarchical library
structure and the inclusion of protected objects; full details of
the syntax changes are provided in the appendices for easy
- Barnes, J. Programming in Ada. 3rd edition. Addison-Wesley, 1989.
494p. (ISBN: 0-201-17566-5; Paperback, $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
- Barnes, John. Programming in Ada 95. Addison-Wesley, 1995. (ISBN: 0-
201-87700-7; Paperback, $44.25)
This volume provides complete tutorial coverage of Ada 95,
illustrated with many extensive examples highlighting the power of
object-oriented programming and the security of a modern software
- Baum, J. The Calculating Passion of Ada Byron. Archon, 1986. 133p.
(ISBN: 0-208-02119-1; Hardcover, $25.00)
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, 1990. (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, 1989.
(ISBN: 0-201-08017-6; Hardcover, $43.25)
Provides a framework for understanding software reusability. It
begins with an overview and assessment of reusability, then
presents a variety of composition-based and generation-based
systems that explain the principles underlying this new
methodology and illustrate its critical place in large-scale
- Biggerstaff, T.J., and A.J. Perlis, editors. Software Reusability
Concepts and Models, Volume 2, Applications and Experience. ACM,
1989. (ISBN: 0-201-50018-3; Hardcover, $43.25)
Provides actual case studies on reusability, as well as both
quantitative and cognitive results.
- Bishop, Judy. Distributed Ada: Developments and Experiences,
Proceedings of the Distributed Ada '89 Symposium, University of
Southampton, 11-12 December, 1989. Cambridge University Press,
1990. (ISBN: 0-521-39251-9; Hardcover, $54.95)
The symposium and these proceedings sought to heighten awareness
of progress and remaining issues in the development of distributed
Ada. This volume contains thirteen papers on distributed Ada:
"Distributed Ada -- the Issues," "Distributed Ada -- a Case
Study," "Parallel Ada for Symmetrical Multiprocessors," "The York
Distributed Ada Project," "From DIADEM to DRAGOON," "Honeywell
Distributed Ada -- Approach," "Honeywell Distributed Ada --
Implementation," "Ada for Tightly Coupled Systems," "A Pragmatic
Approach to Distributed Ada for Transputers," "Distributed Ada on
Shared Memory Multiprocessors," "The MUMS Multiprocessor Ada
Project," "A Portable Common Executable Environment for Ada,"
"Supporting Reliable Distributed Systems in Ada 9X."
- Bjorner, D., and O.N. Oest. Towards a Formal Description of Ada.
(Lecture Notes in Computer Science) Springer-Verlag, 1981. 630p.
(ISBN: 0-387-102833; Trade, $39.00)
Describes the Ada programming language, discusses compiler
development, and provides a formal definition of Ada.
- Booch, Grady. Object Oriented Design with Applications. 2nd edition.
Benjamin-Cummings, 1994. (ISBN: 0-8053-5340-2; Hardcover, $55.95)
Gives practical guidance for constructing complex object-oriented
systems and provides a comprehensive description of object-
oriented design methods. Numerous examples and five challenging
application projects teach how to use object-oriented and -based
programming languages to solve real problems.
- Booch, Grady. Software Components With Ada: Structures, Tools, and
Subsystems. Benjamin-Cummings, 1990. 635p. (ISBN: 0-8053-0609-
9; Paperback, $47.50)
Catalogs reusable software components and provides examples of Ada
programming style. Presents a study of data structures and
algorithms using Ada.
- Booch, Grady, and D. Bryan. Software Engineering with Ada. 3rd ed.
Benjamin-Cummings, 1993. (ISBN: 0-8053-0608-0; Paperback, $45.25)
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.
- Bose, Pradip, editor. Programming Languages & Data Structures (BASIC,
Cobol, Pascal, FORTRAN, ADA, Lisp) St. Mut, 1989. (ISBN: 0-
89771-388-5; Trade, $75.00)
- Bover, David, et al. Ada : A First Course in Programming and Software
Engineering. (International Computer Science Series) Addison-
Wesley, 1992. (ISBN: 0-201-50992-X; Hardcover, $30.25)
This book teaches concepts (such as abstraction, algorithms, and
software engineering) that are applicable to most programming
languages, but uses Ada for illustration. No previous programing
experience is required for comprehension.
- Bray, Gary, and David Pokrass. Understanding Ada: A Software
Engineering Approach. (Reprint of 1985 ed.) Krieger, 1992. 368p.
(ISBN: 0-89464-744-X; Hardcover, $37.50)
- Bryan, Douglas L. and Geoffrey O. Mendal. Exploring Ada. Prentice
Hall, 1989. (ISBN: 0-132-95684-5; Hardcover, $43.00) (See Volume
2 under Mendal, Geoffrey O.)
This book is the complete guide to understanding the uniue and
comprehensive programming language, Ada. Volume 1 describes Ada's
type model, statements, subprograms and packages. The contents of
the book are divided into fifteen sections, each of them with
several subsections: 1: Introduction, 2: Ada Syntax, 3: Type
Declarations, 4: Enumeration Types, 5: Numbers, 6: Integer
Types, 7: Real Types, 8: String Types, 9: Array Types, 10:
Record Types, 11: Access Types, 12: Operations and Expressions,
13: Statements, 14: Subprograms, and 15: Packages.
- Bryant, Ray. Simulation in Strongly Typed Languages: Ada, Pascal,
Simula... (Simulation Series) SCS, 1984. (ISBN: 999-4682-792;
- Buhr, R.J. Practical Visual Techniques in System Design with
Applications to Ada. Prentice-Hall, 1990. 533p. (ISBN:0-13-
880808-2; Paperback, $53.)
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. 288p. (ISBN:
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, Alan and Andrew Wellings. Concurrency in Ada. Cambridge
University Press, 1995. (ISBN: 0-521-41471-7; Hardcover, $39.95)
Written for Ada 95 by acknowledged real-time experts, it covers
the tasking model in great depth, including all the existing and
new capabilities as well as the Systems Programming Annex, the
Real-Time Annex, and the Distributed Systems Annex. Also included
are an introduction to concurrent programming and an examination
of the interaction of the tasking facilities with those for
object-oriented programming. More than just a detailed language
examination, the book offers many examples of usage and analysis
of feature interaction. Recommended for introductory and advanced
courses in concurrent and real-time programming with Ada.
- Burns, Alan. Concurrent Programming in Ada. (Ada Companion Series)
Cambridge Univ Press, 1986. (ISBN: 0-521-30033-9; Hardcover,
This book is a complete account of Ada tasking. It gives a
detailed description and an assessment of that part of the Ada
Language that is concerned with concurrent programming. The
volume is divided into seventeen chapters: 1- The Ada Language,
2- The Nature and Uses of Concurrent Programming, 3- Inter-Process
Communication, 4- Ada Task Types and Objects, 5- Ada Inter-Task
Communication, 6- The Select Statement, 7- Task Termination,
Exceptions, and Attributes, 8- Tasks and Packages, 9- Access Types
for Tasks, 10- Resource Management, 11- Task Scheduling, 12- Low-
level Programming, 13- Implementation of Ada Tasking, 14-
Portability, 15- Programming Style for Ada Tasking, 16- Formal
Specifications, and 17- Conclusion.
- Burns, Alan and Andy Wellings. Hrt-Hood : A Structured Design Method
for Hard Real-Time Ada Systems. (Real-Time Safety Critical
Systems) Elsevier Science, 1995. (ISBN: 0-444-82164-3;
- 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,
- Burns, Alan, et al. A Review of Ada Tasking. (Lecture Notes in
Computer Science) Springer-Verlag, 1987. 241p. (ISBN: 0-387-
18008-7; Paperback, $15.50)
Reviews the Ada tasking model of concurrency in light of the
extensive analysis and comment which has appeared in the
- Burns, A. Towards Ada9X. IOS, 1992. (ISBN: 90-5199-075-8; Hardcover,
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.
- Byrne, William E. Software Design Techniques for Large Ada Systems.
Butterworth-Heinemann, 1991. (ISBN: 0-13-816174-7; Hardcover,
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, Philip and Philip Goldstein. Introduction to Ada: A Top-Down
Approach for Programmers. Brooks/Cole Publishing Co., 1986.
(ISBN: 0-534-05820-5; Paperback, $23.95)
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.
- Chirlian, Paul M. Introduction to Ada. Matrix, 1985. (ISBN: 0-916460-
42-8; Paperback, $21.95)
This is a textbook that discusses the Ada programming language.
It can be used by readers with little or no programming
experience. This book can be used as a text for Ada courses and
can also be used as a self-study text for people who want to learn
Ada on their own. The discussion of Ada is complete enough so
that, after completing the book, the reader should be able to
write complex and powerful programs in Ada. Thus, this book can
also be used by programmers who want to add Ada to their
repertoire of programming languages. The contents are divided
into eleven chapters, each with several sections: 1- An
Introduction to Ada, 2- Arithmetic Operations, 3- Basic Input and
Output, 4- Control Statements: Basic Ideas of Structured
Programming, 5- Arrays: Introduction to Scope and Dynamic
Variables, 6- Characters and Strings, 7- Subprograms, 8- Packages,
9- Exceptions, 10- User-Defined Type Specifications, and 11- Some
- Christodoulakis, Dimitris. Ada: The Choice for '92, Proceedings of the
Ada-Europe International Conference, Athens, Greece, May 13-17,
1991. Springer-Verlag, 1991. (ISBN: 0-387-54092-X; Paperback,
These proceedings for the Ada-Europe International Conference held
May 13-17, 1991 in Athens, Greece are divided into eight parts:
PART 1- Language Issues, PART 2- Metrics, PART 3- Concurrency and
Parallelism in Ada, PART 4- Continuous Systems, PART 5-
Environments and Tools, PART 6- Distribution, PART 7- Faces of
Reuse, and PART 8- Project Reports.
- Clark, Robert G. Programming in Ada: A First Course. Cambridge, 1985.
215p. (ISBN: 0-521-25728-X; $47.50/trade) (ISBN: 0-521-27675-6;
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, Norman H. Ada as a Second Language. 2nd edition. McGraw-Hill,
1996. (ISBN: 0-07-011607-5; Paperback, $36.00)
The second edition of this book builds upon the excellent
organization of the first edition and adds material on the new
features in Ada 95. The book is composed into twenty chapters and
five appendices, including an appendix on the special needs
annexes. Each chapter concludes with two sections, one on
differences between Ada 83 and Ada 95 and a very brief chapter
summary. The presentation in each chapter is clean and to the
point. Excellent non-language "lawyer" reference for Ada 95.
- Collingbourne, L., editor. Ada 9X: Towards Maturity. (Studies in
Computer & Communication Systems, Vol. 6) IOS, 1993. 250p. (ISBN
90-5199-142-8; Trade, $75.00)
- Conn, Richard. The Ada Software Repository and the Defense Data
Network. New York Zoetrope, 1986. (ISBN: 0-918-43278-2;
This book introduces its readers to the operation and resources of
the Internet, with particular emphasis on the Ada Software
Repository on SIMTEL20. The contents of this book are divided
into twenty-two sections, each of which are divided into
subsections: 1- Introduction, 2- History and Overview of the
Defense Data Network (DDN), 3- DDN Capabilities and Tools, 4-
Electronic Mail, 5- Domain Names on the DDN, 6- TACs and TAC
Commands, 7- Microcomputer Communicationc Protocols, 8- History of
the Repositories, 9- SIMTEL20 and the TOPS-20 Operating System,
10- Other Repositories on SIMTEL20, 11- Obtaining Software from
the Repositories, 12- History and Statement of Operation of the
Ada Software Repository (ASR), 13- Online Documentation System,
14- Master Index to the ASR, 15- ASR Newsletters and Electronic
Mail List, 16- ASR Control Committee, 17- Directories in the ASR,
18- Lessons Learned about Ada Software Transportability, 19- The
Network Information Center (NIC), 20- Columbia University (CU20B)
and Kermit, 21- ADA20, and 22- Electronic Mailing Lists on the
- Cooling, J.E., et al. Introduction to Ada. Chapman & Hall, 1993.
(ISBN: 0-412-44810-6; Paperback, $41.95)
The purpose of this book is to give a comprehensive introduction
to Ada. It covers all basic aspects of the language, with special
emphasis on real-time systems design. The contents are divided
into seventeen chapters, each with several sections: 1- An
Introduction to Ada, 2- Elementary Arithmetic and Logic, 3-
Program Control Structures, 4- Subprograms in Ada -- Procedures
and Functions, 5- Types Revisited, 6- Number Crunching in Ada, 7-
Modular Construction, Information Hiding, and the Package, 8-
Composite Data Types -- The Array, 9- Composite Data Types --
Records, 10- Dynamic Data Types, 11- Information Hiding, Data
Abstraction, and Private Types, 12- Exceptions, 13- Generics, 14-
Concurrency -- The Ada Task, 15- Low-Level Issues, 16- Data Input-
Output, and 17- Program Structure and Compilation Issues.
- Culwin, Fintan. Ada : A Developmental Approach. Prentice Hall, 1994.
(ISBN: 0-134-89147-3; Paperback, $48.00)
This book is suited for use in programming courses that teach Ada
as the first language. It provides a tutorial, including
exercises, that covers software design and development,
production, and testing.
- Dale, Nell, et al. Ada Plus Data Structures: An Object-Based Approach.
Heath, 1995. 876p. (ISBN: 0-669-29265-6; Paperback, Pricing
This book provides a clear, comprehensive introduction to data
structures, algorithms, and data abstraction. Highlights include
an accessible introduction to object-oriented design
methodologies; an emphasis on abstraction, information hiding,
encapsulation, life-cycle verification, reuse, and analysis of
algorithms; and Appendices to assist with Pascal to Ada transition
and to provide Ada's predefined packages.
- Dale, Nell, et al. Programming and Problem Solving with Ada. Heath,
1994. 975p. (ISBN: 0-669-29360-1)
Designed for the CS1/C101 course with a strong emphasis on problem
solving, early use of Ada procedures and Ada packages, extensive
and varied exercises including Quick Check, Exam Preparation, and
- Dawes, J., et al., editors. Selecting an Ada Compilation System. (Ada
Companion Series) Cambridge, 1991. 173p. (ISBN:0-521-40498-3;
Presents the findings of the Ada-Europe specialist group for
- Dawes, J. The Professional Programmers Guide to Ada. State Mutual
Book, 1988. (ISBN: 0-273-02821-9; Paperback, $100.00)
- Delillo, Nicholas J. A First Course in Computer Science with Ada.
Irwin, 1993. (ISBN: 0-256-12538-4)
Intended for a first course in computer science that emphasizes
programming and problem-solving methodology using the Ada
programming language. Each chapter is designed to present a new
level of problem-solving capability and each begins with a list of
objectives and reasons for the emergence of the topic presented.
New programming concepts are first introduced and applied in a
very elementary form and are then generally used later in more
sophisticated and important situations, in conjunction with other
ideas that have been presented similarly.
- Dorchak, Susan F., and Patricia B. Rice. Writing Readable Ada: A Case
Study Approach. Heath, 1989. 244p. (ISBN: 0-669-12616-0;
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, Theodore. Embedded Programming in Ada. Van Nostrand Reinhold,
1986. (ISBN: 0-442-223501; Hardcover, $62.95)
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.
- English, John. Ada 95: The Craft of Object-Oriented Programming. Prentice Hall, 1996. (ISBN 0-13-230350-7)
This book is an introduction to Ada 95 for beginners. It covers most of Ada 95 using an example-driven format, where new topics are introduced by adding improvements to a set of examples. The author has placed a heavy emphasis on program maintenance; as programs advance, he proposes maintenance scenarios that expose weaknesses in the existing designs and introduces new language features to overcome the resulting maintenance problems. Includes appendices with a syntax summary cross-referenced to the main text, listings of the standard packages used in the book, descriptions of language-defined attributes, and the final versions of the packages developed in the text.
- Feldman, Michael B. and Elliot B. Koffman. Ada: Problem Solving and
Program Design. Addison-Wesley, 1992. (ISBN: 0-201-52279-9;
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, Michael B. and Elliot B. Koffman. Ada 95 : Problem Solving and
Program Design. 2nd edition. Addison-Wesley, 1996. (ISBN: 0-
This text uses Ada 95 as its language of discourse to teach
programmers and computer science students the concepts of software
engineering. As with the earlier edition by the same author, the
first 2/3 of the book is suitable as a CS1 text with Ada as the
language of instruction. The last few chapters, combined with some
language-independent algorithm theory, cover the rest of the Ada
language in sufficient depth to serve as the language-specific
basis of a CS2 course.
- Feldman, Michael B. Software Construction and Data Structures With Ada
95. Addison-Wesley, 1996. (ISBN: 0-201-88795-9)
This text assumes a base knowledge of Ada, although a quick review
of the basics is included. Ada 95 features are incorporated
smoothly into the discussion and the coded examples. The book
strikes a nice balance between theoretical issues and practice,
with a wealth of examples and much attention to detail, including
discussion on how to time a program. The extensive material
coverage includes standard CS2 topics like "big O" analysis,
linked lists, queues and stacks, graphs, trees, hash methods, and
sorting. The reader is allowed to investigate topics beyond the
basics through additional topics like strings, vectors, tables,
file I/O, sets, priority queues, AVL trees, and several complete
and illustrative examples, including an employee database, an
airline passenger list, an RPN calculator, a discrete simulation,
and even a simple window manager. By introducing generic units
relatively early, the text can focus on reusability and sound
software engineering solutions to a wide variety of data
structures problems, but never neglects the underlying analysis.
Note: This book will be in final production stages until May,
1996. The nearly 200 programs and packages have all been compiled
and tested, and are available in electronic form from the author
or the Addison-Wesley WWW pages.
- Feldman, Michael B. Data Structures With Ada. Reston Publishing
Company, 1985. (ISBN: 0-835-91220-5; Hardcover, $52.00)
This book is designed to equip the careful reader with the ability
to understand and design data structures and their
implementations, with an emphasis on the information-hiding
principle to encourage system decomposition and "hiding"
implementation details. The contents are arranged into ten
sections, each with several subsections: 1- Abstraction and
Abstract Data Types, 2- Algorithms, Recursion, and Performance
Prediction, 3- Arrays, Vectors, Matrices, and Lists, 4- Linear
Linked Lists, Pointers, and Cursors, 5- Queues and Stacks, 6-
Directed Graphs, 7- Tree Structures, 8- Hash Table Methods, 9-
Internal Sorting Methods, and 10- Sorting External Files.
- Feuer, A.R., and Narain Gehani. Comparing & Assessing Programming
Languages: Ada, C & Pascal. (Software Series) Prentice-Hall,
1984. (ISBN: 0-685-07963-5; Hardcover, $25.67)
- Fisher, G., editor. Approved Ada Language Commentaries. (Ada Letters
Series, Volume 9, Number 3) ACM, 1989. (ISBN: 0-89791-311-6;
- Fisher, Gerry. Resources in Ada. (Resources in Computing Series) ACM,
1990. (ISBN: 0-89791-374-4; Paperback, $44.95)
A collection of reviews, bibliography, Self-Assessment procedure
and indexes designed to provide reference to the recent literature
- Ford, B., et al. Scientific Ada. (Ada Companion Series) Cambridge,
1986. 386p. (ISBN: 0-521-33258-3; Trade, $64.95)
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. McGraw-
Hill, 1982. (ISBN: 0-89433-190-6; Paperback, $12.95)
Assists in understanding the concepts discussed in the Ada
Language Reference Manual.
- Freedman, Roy S. Programming With APSE Software Tools. Petrocelli,
1985. (ISBN: 0-89-433220-1; Hardcover, $29.95)
- Gauthier, Michel. Ada-Europe '93: The Proceedings of the 12th Ada-
Europe International Conference, 'Ada Sans Frontieres,' Paris,
France, June 14-18, 1993.(Lecture Notes in Computer Science)
Springer-Verlag, 1993. (ISBN: 0-387-56802-6; Paperback, $54.00)
- Gautier, R.J., and P.J. Wallis. Software Reuse with Ada. Peregrinus
Ltd., 1990. 205p. (ISBN: 0-86341-173-8; Hardcover, $64.00)
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, Narain. Ada : An Advanced Introduction. 2nd edition. Silicon
Press, 1994. (ISBN: 0-929-30615-5; Paperback, $31.95)
This book offers an in-depth look at the novel aspects of Ada.
Assuming of its readers a familiarity with at least one procedural
programming language, the text walks readers through its many
illustrative program examples using stepwise refinement.
- Gehani, Narain. Ada: Concurrent Programming. 2nd edition. Silicon,
1991. 230p. (ISBN: 0-929306-08-2; Trade, $30.95)
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, Narain. Unix Ada Programming. Prentice-Hall, 1986. 310p.
(ISBN: 0-13-938325-5; Paperback, $32.00)
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; Paperback, $21.95)
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, 1985. 265p. (ISBN: 0-521-
30853-4; Trade, $7.50)
Examines the use, role, features and purpose of specification
languages, particularly Ada, in a large-scale software project.
- Gonzalez, Dean W. Ada Programmer's Handbook. Benjamin-Cummings, 1991.
(ISBN: 0-8053-2529-8; Paperback, $13.95)
- Gonzalez, Dean W. Ada Programmer's Handbook and Language Reference
Manual. Addison-Wesley, 1990. (ISBN: 0-8053-2528-X; Paperback,
Presents information intended for those professionals
transitioning to Ada. Includes a glossary.
- Goos, G. and J. Hartmanis. Ada Software Tools Interfaces. (Lecture
Notes in Computer Science) Springer-Verlag, 1984. (ISBN: 0-387-
13878-1; Paperback, $16.00)
- Goos, G., et al. Diana : An Intermediate Language for Ada. Springer-
Verlag, 1983. (ISBN: 0-387-12695-3; Paperback, $20.00)
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. Nico and Dwayne E. Perry. Ada for Experienced
Programmers. Addison-Wesley, 1983. (ISBN: 0-201-11481-X;
Offers a comparative review of Ada and Pascal, using dual program
examples to illustrate software engineering techniques.
- Habermann, A. N. and U. Montanari. System Development and Ada:
Proceedings of the CRAI Workshop on Software Factories and Ada,
Capri, Italy, May 26-30, 1986. (Lecture Notes in Computer
Science) Springer-Verlag, 1987. (ISBN: 0-387-18341-8; Paperback,
- Heilbrunner, Stephan. Ada in Industry, Proceedings of the Ada-Europe
International Conference. (The Ada Companion Series) Cambridge
University Press, 1988. (ISBN: 0-521-36347-0; Hardcover,
These proceedings provide an informed survey of the impact of Ada
upon industry and commercial research. The papers making up
contents are divided into six parts: PART 1- The Ada Workbench,
PART 2- Industrial Ada Applications, PART 3- Introducing Ada, PART
4- System Design with Ada, PART 5- Tailoring the Ada Environment,
and PART 6- Interfaces for Ada.
- Hibbard, Peter. Studies in Ada Style. 2nd edition. Springer-Verlag,
1983. 101p. (ISBN: 0-387-90816-1; Paperback, $17.50)
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.
- Hillam, Bruce. Introduction to Abstract Data Types Using Ada. Prentice
Hall, 1994. (ISBN: 0-130-45949-6; Hardcover, $56.00)
- Ichbiah, Jean, et al. Ichbiah, Barnes, and Firth on Ada: An
Introduction to Its Architecture, Principles, and Features, Volume
II. Alsys, 1984.
- Ichbiah, Jean, et al. Ichbiah, Barnes, and Firth on Ada: An
Introduction to Its Architecture, Principles, and Features, Volume
III. Alsys, 1984.
Companion workbooks to a video course that consists of 18 hours of
lectures. Provides an in-depth introduction to ANSI/Standard Ada
and is designed for technical managers, engineers, and those with
previous programming experience.
- Ichbiah, Jean, et al. Rationale for the Design of the Ada Programming
Language. Cambridge, 1991. (ISBN: 0-521-39267-5; Hardcover,
Presents the rationale behind the design and development of the
Ada programming language.
- IEEE Computer Society Second International Conference on Ada
Applications and Environments. IEEE Computer Society, 1986.
(ISBN: 0-818-60718-1; Paperback, $46.00)
The papers contained in these proceedings are arranged by topic:
Designing with, Ada Applications, Ada Tools and Techniques, Ada
Runtime Issues, and Ada Environments.
- IEEE Computer Society Third International Conference on Ada Applications
and Environments. IEEE Computer Society, 1988. (ISBN: 0-818-
60808-0; Paperback, $50.00)
- Johnson, Phillip I. Ada Applications and Administration. 2nd edition.
McGraw-Hill, 1990. 209p. (ISBN: 0-07-032627-4ISBN; Text, $39.95)
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). 2nd edition.
Wiley, 1995. 487p. (ISBN: 0-471-50747-4; $57.95/text) (ISBN: 0-
471-60708-8; Paperback, $34.95)
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. Petrocelli, 1984. 173p. (ISBN: 0-
89433-239-2; Paperback, $14.95)
- Katzan, H., Jr. Invitation to Ada & the Ada Reference Manual. McGraw-
Hill, 1982. 429p. (ISBN: 0-89433-132-9; Text, $34.95)
Calls for the scientific computing community to adopt the Ada
programming language. Part II is the Ada Reference Manual, 1980
- Keeffe, D., et al. Pulse: An Ada-based Distributed Operating System.
(APIC Studies in Data Processing, Volume 26) Academy, 1985.
(ISBN: 0-12-402970-1; Hardcover, $27.00)
- Keller, John. The Ada Challenge: Strategies Risk & Payoffs. Pasha,
1988. 190p. (ISBN: 0-935453-22-9; Paperback, $174.00)
- Krell, B. Developing with Ada: Life-Cycle Methods. Bantam, 1992. (ISBN
0553-0909-3; Hardcover, $54.95)
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.
- Ledgard, Henry F. Ada : A First Introduction. 2nd revised edition.
Springer Verlag, 1986. (ISBN: 0-387-90814-5; Paperback, $27.00)
This book, based on the summer 1982 version of Ada that was
submitted to the American National Standards Institute for
approval contains a clear, concise, and easy-to-read introduction
to the language. Its numerous examples are chosen from everyday
life and it contains a twenty-page program displaying much of the
full expressive power of Ada.
- Le Verrand, Dominique. Evaluating Ada. Macmillan Publishing Company,
1985. (ISBN: 0-070-37447-3; Hardcover, $49.95)
This book represents a comprehensive and thorough study of the
programming language Ada. Its scope is not restricted to military
matters but encompasses a great variety of civilian applications.
The contents of this book are divided into fifteen sections, each
with several subsections: 1: Introduction, 2: Declarations and
Types, 3: Numerical Types, 4: Names and Expressions, 5:
Sequential Control Structures, 6: Modularity, 7: Scope and
Visibility, 8: Tasks, 9: Exceptions, 10: Generic Units, 11:
Separate Compilation, 12: Adaption of Programs, 13:
Input/Output, 14: Syntactic, Lexical, and Textual Elements, and
15: By Way of Conclusion.
- Levy, Stephen H. Ada, the Fortran Programmer's Companion. Silicon
Press, 1989. (ISBN: 0-929-30602-3; Hardcover, Pricing Information
- Lewi, Johan and Jan Paredaens. Data Structures of Pascal, Algol 68,
Pl/1 and Ada. Springer-Verlag, 1986. (ISBN: 0-387-15121-4;
The book covers a fundamental aspect of programming, namely
programming language concepts. Pascal and the Pascal-like subset
of Algol 68, PL/1, and Ada are compared and evaluated on the level
of concepts. This is performed by means of a new didantic model
called SMALL, which is also applicable to other programming
languages. Various programming language concepts are discussed
using SMALL, e.g. values, type, type control, routine, locations,
and static concepts.
- Lewis, William E. Problem Solving Principles for Ada Programmers:
Applied Logic, Psychology, and Grit. Hayden, 1982. 178p. (ISBN:
Introduces the basic building blocks of problem solving, then
offers independent prescriptions that focus on remedies for
typical programming problems.
- Loftus, Chris. Ada Yearbook 1993. (Studies in Computer and
Communications Systems) IOS Press, 1993. (ISBN: 90-5199-124-X;
The Ada Yearbook is divided in two parts, the first contains
general information such as the introduction to Ada in Chapter 1,
letters from Ada organizations and general articles on the Ada
programming language. The second part of the Yearbook contains
reference material, including the list of validated Ada compilers,
information about Ada products and projects, reports on standards
associated with Ada and information on Ada 9X.
- Loftus, Chris, editor. Ada Yearbook, 1994. IOS, 1994. (ISBN: 90-5199-
155-X, 1994 Hardcover, $94.00)
- Lomuto, Nico. Problem Solving Methods with Examples in Ada. Prentice-
Hall, 1986. 176p. (ISBN 0-13-721325-5; Paperback, $31.00)
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.
- Long, Fred. Ada Yearbook 1991. Chapman & Hall, 1991. (ISBN: 0-442-
30836-1; Trade, $54.95)
First issue of Ada UK's compilation of general and reference
material. Includes letters from various Ada organizations, papers
from the Ada UK exhibition, and humor.
- Long, Fred. Ada Yearbook 1992. Van Nostrand Reinhold, 1992. (ISBN: 0-
442-31581-3; Hardcover, $69.95)
- Luckham, David C. Anna : A Language for Annotating Ada Programs, A
Reference Manual. (Lecture Notes in Computer Science) Springer-
Verlag, 1987. (ISBN: 0-387-17980-1; Paperback, $15.40)
- 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, 1991.
416p. (ISBN: 0-387-97254-4; Hardcover, $61.00)
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.
- Luker, Paul A. Good Programming Practice in Ada. (Computer Science
Texts) Alfred Waller Ltd., 1988. (ISBN: 0-632-01507-1;
The author's intention in writing this book is to introduce most
of the features of the Ada language and to give advice on how
these features should (and should not) be used. The contents are
divided into twelve chapters: 1- Introduction, 2- Overview of the
Language, 3- Declarations, Scalar Types, and Operations, 4-
Control Statements, 5- Blocks, Subprograms, and Exceptions, 6-
Composite and Access Types, 7- Packages, 8- More on Types, 9-
Generics, 10- Input and Output, 11- Tasks, and 12- Ada in
- Lynch, Barry. Ada : Experiences and Prospects, Proceedings of the Ada-
Europe International Conference Dublin, 12-14 June 1990. (Ada
Companion Series) Cambridge University Press, 1990. (ISBN: 0-
521-39522-4; Hardcover, $74.95)
The ninth annual Ada-Europe Conference had as its theme
"Experiences and Prospects;" papers were sought describing
experiences of using Ada throughout the project lifecycle.
Contents of these proceedings ten parts: PART 1- Ada Application
Experience I- Commercial Systems, PART 2- Ada Application
Experience II- Defence Systems, PART 3- Design Aspects, PART 4-
Environments and Tools, PART 5- Reliability and Testing, PART 6-
Object Oriented Design, PART 7- Hierarchical Object Oriented
Design, PART 8- Language , PART 9- Distribution, and PART 10- Ada
Application Case Studies.
- Lyons, T.G. Selecting an Ada Environment. (Ada Companion Series)
Cambridge, 1986. 239p. (ISBN: 0-521-32594-3 (British); 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.) John
Wiley & Son, 1982. 243p. (ISBN: 0-471-10025-0; Paperback,
- McGettrick, Andrew D. Program Verification Using Ada. (Cambridge
Computer Science Texts) Cambridge, 1982. 345p. (ISBN: 0-521-
24215-0; Trade, $57.50) (ISBN: 0-521-28531-3; Paperback, $29.95)
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.
- Mendal, Geoffrey O. and Douglas L. Bryan. Exploring Ada. Volume 2.
Prentice Hall, 1991. (ISBN: 0-132-97227-1; Hardcover, $39.00)
(See Volume 1 under Bryan, Douglas L.)
This book is the second volume of two. It expands upon the larger
language issues and issues dealing with Ada's more advanced
features. The contents of the book are divided into nine sections
that pick up where the first volume left off, each of which have
several subsections: 16: Derived Types, 17: The Tasking Model,
18: Exceptions, 19: Generic Units, 20: The Program Library, 21:
Scope and Visibility, 22: Renaming Declarations, 23: The
Predefined I/O Packages, and 24: Machine Representations.
- Miller, Nancy E. and Charles G. Petersen. File Structures With Ada.
(Benjamin Cummings Series in Computer Science) Benjamin Cummings,
1990. (ISBN: 0-8053-0440-1; Hardcover, $51.75)
- Mitchell, Richard. Abstract Data Types and Ada. Prentice Hall, 1993.
(ISBN: 0-13-006099-2; Paperback, $47.00)
- Mohnkern, Gerald L. and Beverly Mohnkern. Applied Ada. 1st edition.
TAB Books, 1986. (ISBN: 0-830-62736-7; Hardcover, $25.00)
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.
- Motet, Gilles. Design of Dependable Ada Software: The Use of
Excerption Mechanisms. Prentice Hall, 1994. (ISBN: 0-132-04967-8;
- Musser, David R. and Alexander A. Stepanov. Ada Generic Library :
Linear List Processing Packages. (Springer Compass International)
Springer-Verlag, 1989. (ISBN: 0-387-97133-5; Hardcover, $39.00)
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
- Naiditch, David. Rendezvous With Ada: A Programmer's Introduction.
John Wiley & Sons, 1989. (ISBN: 0-471-61654-0; Paperback, $49.95)
The goal of this book is to teach the Ada language by being clear
and direct yet technically accurate, by giving concrete form to
abstract concepts in numerous code examples, and by helping the
reader retain what is learned by including many exercises.
- Naiditch , David. Rendezvous With Ada 95. John Wiley & Sons, 1995.
(ISBN: 0-471-01276-9; Paperback, $44.95)
This book was specifically designed for those who need to quickly
acquire an in-depth working knowledge of Ada 95. It provides
readers with easy-to-follow, step-by-step guidance on all aspects
of this powerful language. It also provides fully integrated
coverage of all the language's new features and characteristics.
- Nielsen, Kjell. Object-Oriented Design with Ada/Maximizing Reusability
for Real-Time Systems. Bantam, 1992. (ISBN: 0-553-08955-2;
Shows Ada programmers how to design, implement, and maintain
reusable real-time software systems using the object-oriented
- Nielsen, Kjell and Ken Shumate. Designing Large Real-Time Systems With
Ada. McGraw Hill, 1988. (ISBN: 0-070-46536-3; Hardcover, $60.00)
This book presents a comprehensive but practical step-by-step
methodology for the design and implementation of large, real-time
systems in Ada. This book is divided into five parts. Part 1
introduces the primary features of real-time systems with an
emphasis on concurrency. Part 2 describes the language-independent
general principles and tools required in designing large real-time
systems. Part 3 concentrates on general Ada design principle for
real-time systems. Part 4 presents a complete, consistent Ada
design methodology for real-time systems. Part 5 describes how an
Ada real-time design can be evaluated.
- Nielsen, Kjell. Ada in Distributed Realtime Systems. McGraw-Hill,
1990. 371p. (ISBN: 0-07-046544-4; Text, $59.95)
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.
- Nyberg, Karl A. Ada: Sources & Resources: 1989 Edition. Grebyn, 1989.
- Nyberg, Karl A. Ada: Sources & Resources: 1990 Edition. Grebyn, 1990.
A catalog of compilers, tools, source code, groups and
organizations, publications, electronic services, consultants,
conferences, and recruiters.
- Nyberg, Karl A., editor. Annotated Ada Reference Manual. Grebyn, 1989.
- Nyberg, Karl A., editor. Annotated Ada Reference Manual. 2nd edition.
Grebyn, 1991. ($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;
- Orme, A., et al. Reusable Ada Components Sourcebook. Cambridge, 1993.
286p. (ISBN: 0 521 40351 0; Hardcover $59.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.
- Petersen, Charles G., and Nancy E. Miller. Move up to Ada. P&M, 1991.
115p. (ISBN: 0-9631838-8-5)
- Programming in Ada. 4th Edition. Addison-Wesley, 1993. (ISBN: 0-201-
17566-5; Paperback, Pricing Information Unavailable)
- Programming With Specifications. Springer-Verlag, 1991. (ISBN: 3-540-
97254-4; Hardcover, Pricing Information Unavailable)
- Pyle, I.C. The Ada Programming Language. Prentice-Hall, 1981. (ISBN:
A comprehensive introduction, stressing in particular programming
of real-time or imbedded computer systems. Suitable for
programmers and students who are familiar with high-level
languages such as FORTRAN, PASCAL and PL/1.
- Pyle, Ian C. Developing Safety Systems: A Guide Using Ada. Prentice
Hall, 1991. (ISBN: 0-132-04298-3; Paperback, $45.95)
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.
- Rationale for the Design of the Ada Programming Language. Silicon
Press, 1989. (ISBN: 0-9615336-5-X; Paperback, $30.95)
- Reference Manual for the Ada Programming Language. Springer-Verlag,
1987. (ISBN: 0-387-90887-0; Paperback, $24.00)
- Reference Manual for the Ada Programming Language. (MIL STD 1815A 1983
Ser.) USGPO, 1983. 344p. (ISBN: 0-318-11823-8)
- Rogers, M.W. Ada: Language, Compilers and Bibliography. Cambridge,
1984. 332p. (ISBN: 0-521-26464-2; Trade, $24.95)
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
- Rosen, Jean-Pierre. Methodes de Genie Logiciel avec Ada 95 (Software
Engineering Methods with Ada 95). Paris, InterEditions, 1995.
In this text, various methodologies are compared (Booch, HOOD,
Schaeler-Mellor, etc.), all in the context of Ada 95, but the book
is not limited to language-specific discussions. Enough Ada 95
fundamentals are taught that it should not be necessary to know
Ada 95 before reading the book; however, some programming
background is expected. Recommended for classes taught in French
and for individuals with a good reading knowledge of French. The
author is currenly developing an English translation.
- Rudd, David. Introduction to Software Design and Development With Ada.
West Publishing Co., 1994. (ISBN: 0-314-02829-3; Paperback,
- Saib, Sabina. Ada: An Introduction. Holt, Rinehart, & Winston, 1985.
(ISBN: 0-03-059487-1; Paperback, $39.00)
- Saib, Sabina H. Ada Programming Language: A Tutorial. IEEE, 1983.
(ISBN: 9-993-87630-5; Paperback, $36.00)
This Ada tutorial brings together many of the major early papers
on the Ada programming language and its environment. It also
contains a number of tutorial papers that describe several of the
most important aspects of the language, notably those that apply
to real-time embedded systems. Most of the papers in this volume
use examples based on the July 1980 Language Reference Manual.
With a few exceptions, the papers will remain valid for the 1982
Language Reference Manual. The contents are arranged into nine
parts, each with several titles: 1- The History and Current
Status of Ada, 2- The Ada Environment, 3- Ada Implementations, 4-
Ada Design Methodology and Languages, 5- Ada Overview, 6- Real-
Time Programming, 7- Ada Applications, 8- Criticism of Ada, and 9-
Influences on Ada.
- Sanden, B. Software Systems Construction with Examples in Ada.
Prentice-Hall, 1994. (ISBN: 0-13-030834-X; Hardcover, $44.39)
Primarily intended for readers with practical experience in
software construction. It targets graduate or upper-level
undergraduate students of software engineering as well as
practitioners. The books is about practical and economical
construction of software systems. It proposes an approach called
entity-life modeling, where the software is patterned as closely
as possible after structures found in the problem environment.
- Savitch, Walter J. and Charles G. Petersen. Ada: An Introduction to
the Art and Science of Programming. Benjamin-Cummings, 1992.
(ISBN: 0-8053-7070-6; Paperback, $47.50)
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.
- Shumate, Kenneth C. Understanding Concurrency in Ada. McGraw-Hill,
1990. (ISBN: 0-07-057-299-2; Hardcover, $59.95)
Presents a detailed exposition of concurrency in Ada. Looks at
five case studies and gives an advanced introduction to real-time
- Shumate, Kenneth C. Understanding Ada. Harper & Row, 1984. (ISBN: 0-
Easy introduction to the language for programmers who would like
to read an informal prelude before more technical manuals.
Thorough coverage of advanced features as well as simple examples
of actual programs.
- Shumate, Ken. Understanding Ada With Abstract Data Types. 2nd edition.
John Wiley & Sons, 1989. (ISBN: 0-471-60520-4; Paperback, $59.95)
This book takes a very simple approach to explaining the Ada
language. At the same time, it covers all aspects of Ada needed to
begin programming effectively, and provides a foundation for
further study of Ada and its use in constructing large software
- Skansholm, Jan. Ada from the Beginning. 2nd edition. (International
Computer Science Series) Addison-Wesley, 1994. (ISBN: 0-201-
This book was one of the first to use Ada with CS1-style pedagogy.
It includes excellent sections on the idiosyncracies of
interactive I/O (a problem in all languages), and a sufficient
number of fully-worked examples to satisfy students. Generics,
linked lists and recursion are also covered, but there is no
tasking coverage, as one would expect in a CS1 level text. The new
Chapter 14, in which OOP in both Ada 83 and Ada 95 is discussed,
provides a lucid explanation of OOP in Ada and not only discusses
tagged types as a "feature" of Ada 95, but also shows what is
already possible in Ada 83 and how Ada 95 adds functionality.
- Skansholm, Jan. Ada from the Beginning. (International Computer
Science Series) Addison-Wesley, 1988. (ISBN: 0-201-17522-3;
This book presents the principles and concepts of programming in a
logical and easy-to-understand sequence and discusses most of the
important features of Ada. The principle aim of the book is to
teach the basics of writing computer programs. Thus the
fundamentals of good programming are emphasized. The second aim of
the book is to provide a grounding in the programming language
Ada. Topics are covered in this book are: 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; 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.
- Smith, James and Frank Thomas. Introduction to Programming Concepts and
Methods With Ada. McGraw Hill, 1995. (ISBN: 0-070-59209-8;
Explains the fundamentals of programming concepts and methodology,
and presents a major part of the Ada language (exclusive of
concurrency and low-level features) as a vehicle for applying
these concepts and methods in practice. The book does not assume
any prior programming experience.
- Smith, James and Frank Thomas. Introduction to Programming Concepts and
Methods With Ada (Book and Disk) (McGraw-Hill Series in Computer
Science) McGraw Hill, 1994. (ISBN: 0-079-11725-2; Hardcover,
- Smith, Michael A. Object-Oriented Software in Ada 95. International
Thomson Computer Press, 1996. (ISBN 1-85032-185-X)
This book begins by providing an introduction to problem solving
using a Fusion-based object-oriented design methodology, in
addition to examining the basic constructs in the Ada 95 language.
The book then moves on to discuss the object-oriented features of
the language, using numerous examples to illustrate the ideas of
encapsulation, inheritance and polymorphism. The book's capstone
is a detailed case study of the design and implementation of a
textual user interface (TUI) using object-oriented design
methodology. This is a straightfoward book on OOP with Ada 95,
suitable for self-study or an advanced undergraduate course. The
brief survey of Ada 95 at the beginning should be sufficient for
readers with programming experience. The several dozen source code
files are available on the Internet.
- Sodhi, J. Computer Systems Techniques: Development, Implementation, and
Software Maintenance. TAB Books, 1990. (ISBN: 0-8306-3376-6;
- Sodhi, Jag. Managing Ada Projects Using Software Engineering. TAB
Professional and Reference, 1990. (ISBN: 0-8306-0290-9;
Describes some of the practical aspects of developing a flawless
project in Ada.
- Sodhi, Jag and Prince Sodhi. Object-Oriented Methods for Software Development. McGraw-Hill, 1996. (ISBN: 0-07-059574-7; Hardcover, $45.00)
The book brings object-oriented analysis and design up to the advanced level of support languages such as Ada 95 and C++. The authors offer a variety of powerful techniques for comparing different methodologies for requirements analysis, design, and implementation for applying object-oriented design techniques at each stage of the software development cycle to improve the reusability percentage of code and to enhance project management effectiveness.
- Sodhi, J. Software Engineering: Methods, Management, and CASE Tools.
TAB, 1991. (ISBN: 0-8306-3442-8; Hardcover, $39.95)
- Sommerville, Ian, and Ron Morrison. Software Development with Ada.
400p. (International Computer Science Series) Addison-Wesley,
1987. (ISBN: 0-201-14227-9; Paperback, $30.25)
Designed for those with some familiarity with Ada's syntax and
semantics, it concentrates on those features which will be of
greatest interest to students and practitioners of software
engineering, such as software development environments (including
the APSE), the role of formal specifications, data types and
programming style, parallel programming, real-time systems
development, input/output, portability and reuse.
- Stanley, James. Ada Programmer's Guide with Microcomputer Examples.
Addison-Wesley, 1985. (ISBN: 0-201-16416-7; Paperback, $21.95)
- Stein, Dorothy. Ada: A Life and Legacy. MIT, 1987. 321p. (ISBN: 0-
262-69116-7; Paperback, $12.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.
Halsted PR, 1982. (ISBN: 0-853-12250-4; Paperback, $16.95)
- Stubbs, Daniel F. and Neil W. Webre. Data Structures With Abstract Data
Types and Ada. PWS Publishing Company, 1993. (ISBN: 0-534-14448-
9; Hardcover, $51.95)
- Taylor, W. J., Editor. Ada in Transition, Volume 4. IOS, 1992. 212p.
(ISBN: 90-5199-113-4; Paperback, $72.00)
- Tedd, Mike and S. Crespi-Reghizzi. Ada for Multi-Microprocessors. (Ada
Companion Series) Cambridge University Press, 1985. (ISBN: 0-
521-301033; Hardcover, $37.50)
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
- Teller, Joachim. Proceedings of the Third Joint Ada Europe/Ada Tec
Conference, Brussels, 26-28 June 1984. Cambridge University
Press, 1985. (ISBN: 0-521-30102-5; Hardcover, $49.50)
- Texel, Putnam P. Introductory Ada: Packages for Programming.
(Wadsworth Series in Computer Science) Wadsworth Publishing
Company, 1986. (ISBN: 0-534-06348-9; Paperback, $33.95)
Provides a guide to Ada that contains complete packages, I/O
facilities and sample programs, emphasizing top-down design
- Toole, Betty A. Ada, The Enchantress of Numbers: A Selection from the
Letters of Lord Byron's Daughter and Her Description of the First
Computer. Strawberry, 1992. (ISBN: 0-912647-09-4; Hardcover,
The author states that she selected and arranged the letters 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.
- Toussaint, T. Ada in Europe, Proceedings of the First International
Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-
30, 1994. (Lecture Notes in Computer Science) Springer-Verlag,
1994. (ISBN: 0-387-58822-1; Hardcover, $69.00)
This conference represents a merger of two major, formerly
independent conferences: Eurospace's "Ada in Eurospace"
conference and Ada-Europe's "Ada-Europe" conference. This volume
contains the text of papers presented at the conference and the
proceedings of the Panel Discussion on the topic of "Safety and
- Tremblay, J., et al. Programming in Ada. McGraw-Hill, 1990. 489p.
(ISBN: 0-07-065180-9; Paperback, $39.70)
Explains computer science concepts in an algorithmic framework,
with a strong emphasis on problem solving and solution
- Unger, Brian. Simulation Software & Ada. (Simulation Series) SCS,
1985. 274p. (ISBN: 0-911801-06-5; Paperback, $12.00)
- Van Katwijk, J. Ada : Moving Towards 2000, Proceedings of the 11th Ada-
Europe International Conference Zandvoort, the Netherlands, June
1-5, 1992. (Lecture Notes in Computer Science) Springer Verlag,
1992. (ISBN: 0-387-55585-4; Paperback, $44.00)
The eleventh Ada-Europe Conference shows that Ada has grown form a
language for researchers and academics into a tool in software
engineering practice; papers were sought that show Ada has ripened
in all aspects of software engineering.
- Volper, Dennis and Martin D. Katz. Introduction to Programming Using
Ada. Prentice Hall, 1990. (ISBN: 013-493529-2; Paperback,
This book is a thorough introduction to computer science and
computer programming in the Ada programming language. It covers
everything from data structures, data types, and control
structures to exception handling, abstract data representation,
and concurrency. Additionally, a number of predefined packages
are provided; some of them provide problem domains while others
introduce the tactics of modularization. The contents of this
book are divided into nineteen chapters, each of which is divided
into several sections: 1- Building Procedures and Using Packages,
2- Defining and Using Simple Tools, 3- Types and Objects, 4-
Controlling Program Execution, 5- Iteration, 6- Intermediate
Control Structures and Information Passing, 7- Using Data Types,
8- Structuring Data, 9- Names, Scope, and Visibility, 10- Handling
the Unexpected, 11-Concurrent Programming, 12- Parameterizable
Data Structures, 13- Abstract Data Types, 14- Numeric Types, 15-
Access Types, 16- Generics: Abstraction and Reuse, 17- Program
Development Tools and System Interfacing Capabilities, 18-
Concurrent Control Structures I, and 19- Concurrent Control
- Wade, Mary Dodson. Ada Byron Lovelace: The Lady & the Computer.
Macmillan Child, 1994. (ISBN: 0-87518-598-3; Trade)
- Wallace, Robert H. Practitioner's Guide to Ada. McGraw-Hill, 1986.
373p. (ISBN: 0-07-067922-3; Hardcover, $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.
- Watt, David A., et al. Ada : Language and Methodology. (Prentice-Hall
International Series in Computer Science) Prentice-Hall, 1988.
(ISBN: 0-13-004078-9; Paperback, $55.00)
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.
- Weiss, Mark Allen. Data Structures and Algorithm Analysis in Ada.
Benjamin-Cummings, 1993. (ISBN: 0-805-39055-3; Hardcover, $53.75)
This book describes data structures, methods of organizing large
amounts of data, and algorithm analysis, the estimation of the
running time of algorithms. This book is suitable for an advanced
data structures course (CS7) or a first-year graduate course in
algorithm analysis. The contents of the book are divided into
eleven chapters, each of which is divided into several sections:
1- Introduction, 2- Algorithm Analysis, 3- Lists, Stacks, and
Queues, 4- Trees, 5- Hashing, 6- Priority Queues (Heaps), 7-
Sorting, 8- The Disjoint Set ADT, 9- Graph Algorithms, 10-
Algorithm Design Techniques, and 11- Amortized Analysis.
- Wiener, Richard S., and Richard F. Sincovec. Software Engineering with
Modula-2 & Ada. John Wiley & Son, 1984. (ISBN: 0-471-89014-6;
- Winters, John. Power Programming With Ada for the IBM PC. TAB Books,
1987. (ISBN: 0-8306-2902-5; Paperback, $16.95)
This book is an introduction to Ada and is written for readers
with little or no programming experience. The book leads the
reader from simple programs to more complicated programs and
students learn by actually keying in Ada programs and watching
them work. The contents of the book are divided into ten
sections, each of which is divided into several subsections: 1-
Input and Output: Communicating with the Computer, 2- Input and
Output Using Numbers, 3- Using Loops and If Statements, 4-
Procedures, Functions, and Packages, 5- Composite Data Types:
Arrays and Records, 6- Sequential I/O for Records of Arrays and
Arrays of Records, 7- Using Random-Access I/O with Arrays and
Records, 8- Exception Handling, 9- Using D-Pack Library Routines,
and 10- Ada on the VAX.
ACM Press, ACM Order Department, P.O. Box 64145, Baltimore, MD 21264,
800/342-4261 (outside the USA: 410/528-4261).
Addison-Wesley Publishing Co., Rte. 128, Reading MA 01867, 617/944-3700
Bantam (Bantam Doubleday Dell) Books, 414 E. Golf Rd., Des
Plaines, IL 60016, 312/827-1111.
Benjamin-Cummings Publishing Co., subsidiary of Addison-Wesley, Rte.
128, Reading MA 01867, 617/944-3700 or 800/447-2226.
Brooks/Cole Publishing Co., division of Wadsworth, Inc., 511 Forest
Lodge Rd, Pacific Grove, CA 93950, 408/373-0728.
Cambridge University Press, 110 Midland Ave., Port Chester, NY 10573,
914/937-9600, or 800/872-7423 (800/872-7423 in New York state.)
Chapman & Hall, 29 West 35th Street, New York, NY 10001-2291, Customer
- Grebyn Corp., 1991, P.O. Box 497, Vienna, VA 22183-0497, 703/281-2194.
Harper Collins Publications, 1000 Keystone Industrial Park, Scranton, PA
18512-4621, 717/343-4761 or 800/242-7737.
Hayden Book Company, division of Macmillan Publishing, 201 W. 103rd Street,
Indianapolis, IN 46290, 1-800/428-5331.
- Heath, D.C., & Co. (now part of Houghton Mifflin), 2700 Richardt Ave., Indianapolis, IN 46219, 317/359-
- IIT Research Institute, 4409 Forbes Blvd., Lanham, MD 20706-4211, 301/918-1500. (Send inquiries and orders for Manuals, including check
or money order for the amount due, to the attention of J.Hively.)
- IOS Press, P.O. Box 10558, Burke, VA 22009-0558, 703/323-5554. In
Europe, distributed by Lavis Marketing, 73 Lime Walk, Headington, Oxford
OX3 7AD, England. FAX +44 865 74 2024.
- IEEE Computer Society Press, 10662 Los Vaqueros Circle, Los Alamitos, CA
90720, 714/821-8380 or 800/272-6657.
- Richard D. Irwin, Inc., subsidary of Times Mirror Co, 1333 Burr Ridge
Pkwy., Burr Ridge, IL 60521, 708/789-4000 or 800/634-3961.
- Krieger Publishing Co., P.O. Box 9542, Melbourne, FL 32902-9542, 407/724-9542.
- Macmillan Publishing Co., 100 Front St. Box 500, Riverside, NJ 08075,
- Matrix Publishers, Inc., 8285 S.W. Nimbus, Suite 151, Beaverton, Oregon
- McGraw-Hill, Inc., contact: TAB Books, a division of McGraw-Hill, 113311 Monterey Avenue, Blue Ridge Summit, PA 17214, 800/262-4729 or 717/794-5461.
- MIT Press, 55 Hayward St., Cambridge, MA 02142, 617/625-8569 or 800/356-0343.
- Pasha Publications, 1401 Wilson Blvd., No. 900, Arlington, VA 22209,
703/528-1244 or 800/424-2908.
- Petrocelli Books, 174 Brookstone Drive, Princeton, NJ 08540-2404,
609/921-2548. (Distributed by TAB Books, a division of McGraw-Hill.
- Prentice-Hall, division of Simon & Schuster, 200 Old Tappan Rd., Old
Tappan, NJ 07675, 201/767-5937.
- PWS Publications, division of Wadsworth, Inc., 7625 Empire Dr.,
Florence, KY 51042, 606/525-2230 or 800/354-9706.
- SCS (Society for Computer Simulation), 4848 Ronson Ct., Suite L, Sand
Diego, CA 92111, 619/277-3888.
- Silicon Press, 25 Beverly Road, Summit, NJ 07901, 908/273-8919.
- Springer-Verlag, 44 Hartz Way, Secaucus, NJ 07094, 201/348-4033.
- Strawberry Press, 227 Strawberry Drive, Mill Valley, CA 94941, 415/388-
- TAB Books, division of McGraw-Hill, P.O. Box 40, Blue Ridge Summit, PA
17214, 800/233-1128 or 717/794-5431.
- Van Nostrand Reinhold, 7625 Empire Drive, Florence, KY 41042, 606/525-
6600 or 800/842-3636.
- Wadsworth, Inc., 7625 Empire Dr., Florence, KY 41042, 606/525-2230 or 800/354-9706.
- West Publishing, 620 Opperman Drive, Saint Paul, MN 55164, 612/687-7000.
- John Wiley & Sons, Inc., 1 Wiley Dr., Somerset, NJ 08875-1272, 908/469-
- New York Zoetrope, 838 Broadway, New York, NY 10003, 323/420-0590 or
Computer Literacy Bookshops (West Coast), 2590 North First Street, San Jose, CA 95131, 408/435-0744.
Computer Literacy Bookshops (East Coast), 8603 Westwood Center Drive, Vienna, VA 22182, 703/734-7771.
Amazon.com, 2710 First Avenue South, Seattle, WA 98134, 1-800/201-7575; Fax: 1-206-622-2405; Email: firstname.lastname@example.org.