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.

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, $64.95)

  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 Experiences.

• 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; Paperback, $36.00)

  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; Paperback, $45.25)

  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 reference.

• 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 interfaces.

• 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 engineering language.

• 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 programming projects.

• 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; Hardcover, $36.00)

• 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: 0-13-881623-9; $55.00)

  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, $54.95)

  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; Hardcover, $175.00)

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

  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, 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 literature.

• Burns, A. Towards Ada9X. IOS, 1992. (ISBN: 90-5199-075-8; Hardcover, $70.00)

  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, $45.00)

  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 Additional Topics.

• 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, $37.00)

  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; Paperback, $27.95)

  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; Paperback, $16.95)

  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 DDN.

• 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 Information Unavailable)

  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 Programming Warm-up.

• Dawes, J., et al., editors. Selecting an Ada Compilation System. (Ada Companion Series) Cambridge, 1991. 173p. (ISBN:0-521-40498-3; Hardcover, $49.95)

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

• 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; Paperback, $11.33)

  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; Paperback, $43.25)

  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- 201-87009-6)

  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; Paperback, $30.00)

• 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 on Ada.

• 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, $26.95)

  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; Paperback, $35.50)

  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, $35.00)

• 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, $42.50)

  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, $69.95)

  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 version.

• 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 Unavailable)

• Lewi, Johan and Jan Paredaens. Data Structures of Pascal, Algol 68, Pl/1 and Ada. Springer-Verlag, 1986. (ISBN: 0-387-15121-4; Paperback, $49.00)

  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: 0-8104-5211-1)

  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; Hardcover, $142.00)

  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; Paperback, $36.95)

  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 Perspective.

• 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, $29.95)

  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, $63.20)

• 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; Paperback, $42.00)

• 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 linked lists.

• 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; $49.95)

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

• 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. 164p.

• Nyberg, Karl A. Ada: Sources & Resources: 1990 Edition. Grebyn, 1990. 268p.

  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; etc.

• 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: 0-13-03921-7; Paperback)

  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 bibliography.

• Rosen, Jean-Pierre. Methodes de Genie Logiciel avec Ada 95 (Software Engineering Methods with Ada 95). Paris, InterEditions, 1995. (ISBN 2-7296-0569-X)

  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, $46.50)

• 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 programming.

• Shumate, Kenneth C. Understanding Ada. Harper & Row, 1984. (ISBN: 0- 06-046133-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 systems.

• Skansholm, Jan. Ada from the Beginning. 2nd edition. (International Computer Science Series) Addison-Wesley, 1994. (ISBN: 0-201- 62448-6)

  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; Paperback, $37.75)

  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, $16.95)

  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; Hardcover, $31.96)

  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, $59.40)

• 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; Hardcover, $21.95)

• Sodhi, Jag. Managing Ada Projects Using Software Engineering. TAB Professional and Reference, 1990. (ISBN: 0-8306-0290-9; Hardcover, $34.95)

  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 end-to-end lines.

• 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 throughout.

• 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, $29.95)

  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 Reliability."

• 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 development.

• 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, $57.00)

  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 Structures II.

• 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; Hardcover, $69.95)

• 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 or 800/447-2226.

• 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 Service: 212/244-3336.

• 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- 5585.

• 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, 609/451-6500.

• Matrix Publishers, Inc., 8285 S.W. Nimbus, Suite 151, Beaverton, Oregon 97005-6401.

• 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- 5017.

• 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- 4400.

• New York Zoetrope, 838 Broadway, New York, NY 10003, 323/420-0590 or 800/242-7546.

• 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: help@amazon.com.