home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-06-03 | 48.9 KB | 1,029 lines |
- Form G18-1092b
- ADABOOKS.HLP
-
- Ada Information Clearinghouse, 1-800-AdaIC-11, 1-703/685-1477
-
- Ada BOOKS
-
- Report of a product or service is for informational purposes only and does not
- imply an endorsement by the Ada Information Clearinghouse, or its sponsor, the
- Ada Joint Program Office.
-
- This flyer is intended to be a comprehensive list of Ada-related books that
- have been published. Abstracts are provided for those books that are part of
- the Ada Joint Program Office library.
-
- If you know of other Ada-related books that have been published, please
- contact the AdaIC at 1/800-Ada-IC11 so that we can add those books to this
- list.
-
- Report of a product, service, or event is for information purposes only and
- does not imply an endorsement by the Ada Information Clearinghouse, or its
- sponsor, the Ada Joint Program Office.
-
- ALPHABETICAL LIST (BY AUTHOR)
-
- Agrawala, A.K., et al., editors. Mission Critical Operating Systems. 1992.
- (ISBN: 90 5199 069 3)
-
- This book explores the design and implementation of mission critical
- operating systems (MCOS) and mission critical computing systems (MCCS).
- The topics covered, which range from conceptual ideas to descriptions of
- concrete systems, have been organized into three parts--operating system
- design concept, real-time operating systems and Ada-based real-time
- systems.
-
- Andrews, E., editors. Concurrent Programming with Ada. Benjamin-Cummings,
- date not set. (ISBN: 0-8053-0088-0; $19.16/paper text)
-
- Atkinson, C. Object-Oriented Reuse, Concurrency and Distribution; An
- Ada-Based Approach. Addison-Wesley, 1991. 270p. (ISBN: 0-201-56527-7;
- $37.75)
-
- The book includes an introduction to DRAGOON, the object-oriented
- language that combines the power of object-oriented languages with the
- software engineering features of Ada; examples of DRAGOON's use of
- multiple inheritance to handle aspects of concurrency and distribution;
- illustrations of how DRAGOON's features my be implemented in Ada.
-
- Atkinson, C., et al. Ada for Distributed Systems. (Ada Companion Series)
- Cambridge University Press, 1988. 147p. (ISBN: 0-521-36154-0; $39.50)
-
- Describes the final report of the DIstributed Ada DEMonstrated DIADEM
- project, which studied the problems and developed solutions for using
- Ada to program real-time, distributed control systems. Demonstrates new
- techniques for controlling such systems from a distributed Ada program.
-
- Ausnit, C.N., et al. Ada in Practice. (Professional Computing Series)
- Springer-Verlag, 1985. 195p. (ISBN: 0-521-36154-0; $32.50)
-
- Identifies and resolves issues related to Ada usage and promotes
- effective use of Ada in general programming, design practice, and in
- embedded computer systems. Contains 15 case studies that cover five
- general areas of the Ada language: naming conventions, types, coding
- paradigms, exceptions, and program structure.
-
- Baker, L. Artificial Intelligence with Ada. McGraw-Hill, 1989. 361p.
- (ISBN: 0-07-003350-1; $39.95)
-
- Presents approximately 8,000 lines of full coding in Ada along with
- functions, which include backward-chaining expert systems shells,
- forward chaining expert systems shells, and an ATN natural language
- parser. Discusses the code for implementing each program and
- illustrates each by one or more examples.
-
- Barnes, J. Programming in Ada. 2nd edition. Addison-Wesley, 1983. (ISBN:
- 0-201-13799-2; $25.95/paper)
-
- Barnes, J. Programming in Ada. 3rd edition. Addison-Wesley, 1989. 494p.
- (ISBN: 0-201-17566-5; $32.25)
-
- Discusses Ada using a tutorial style with numerous examples and
- exercises. Assumes readers have some knowledge of the principles of
- programming. Covers the following: Ada concepts, lexical style, scalar
- types, control structures, composite type, subprogram, overall
- structures, private types, exceptions, advanced types, numerics types,
- generics, taskings, external interfaces.
-
- Baum, J. The Calculating Passion of Ada Byron. Archon Books, 1986. 133p.
- (ISBN: 0-208-02119-1; $23.50)
-
- Details the life of Ada Byron, her training in mathematics, her
- tumultuous relationship with her mother and her contribution to the
- study of science.
-
- Berzins, V., and Luqi. Software Engineering with Abstractions.
- Addison-Wesley, 1991. (ISBN: 0-201-08004-4)
-
- Uses a formal specification language ("Spec") to lead readers through
- the software-development process to develop large, real-time, and
- distributed systems in Ada. Discuss tools for automating software
- development. An example of a simplified airline-reservation system that
- illustrates features typical of large-scale systems is used throughout
- the entire book.
-
- Biggerstaff, T.J., and A.J. Perlis, editors. Software Reusability Concepts
- and Models, Volume 1, Concepts and Models. ACM Press, 1989. (ISBN:
- 0-201-08017-6)
-
- Biggerstaff, T.J., and A.J. Perlis, editors. Software Reusability Concepts
- and Models, Volume 2, Applications and Experience. ACM Press, 1989. (ISBN:
- 0-201-50018-3)
-
- Bjoerner, D., and O.N. Oest. Towards a Formal Description of Ada. (Lecture
- Notes in Computer Science) Springer-Verlag, 1980. 630p. (ISBN: 0-387-102833;
- $31.00/trade)
-
- Describes the Ada programming language, discusses compiler development,
- and provides a formal definition of Ada.
-
- Booch, G. Object Oriented Design with Applications. Benjamin-Cummings, 1991.
- (ISBN: 0-8053-0091-0)
-
- Offers guidance for constructing object-oriented systems and provides a
- description of object-oriented design methods. Includes examples drawn
- from the author's experience in developing software systems and five
- application projects.
-
- Booch, G. Software Engineering with Ada. 2nd edition. Benjamin-Cummings,
- 1988. 580p. (ISBN: 0-8053-0604-8; $31.95)
-
- Introduces Ada from a software engineering vantage. Addresses the
- issues of building complex systems. Includes new features in this
- second version: a more thorough introduction to Ada syntax and
- semantics, an updated section on object-oriented techniques to reflect
- the current state of knowledge, and improved examples that illustrate
- good Ada style for production systems development.
-
- Booch, Grady. Software Components With Ada Structures, Tools, and Subsystems.
- Benjamin-Cummings, 1987. 635p. (ISBN: 0-8053-0609-9; $35.50/paper)
-
- Catalogs reusable software components and provides examples of Ada
- programming style. Presents a study of data structures and algorithms
- using Ada.
-
- Loftus, C., editor. Ada Yearbook, 1993. Aberystwyth, 1993 (ISBN:
- 90-5199-124-X; $94)
-
- Bott, F., editor. Ada Yearbook, 1991. Van Nostrand Reinhold, 1991. (ISBN:
- 0-442-30836-1; $54.95/trade)
-
- Bover, D. Introduction to Ada. Addison-Wesley, 1991. (ISBN: 0-201-50992-X;
- $30.25/trade)
-
- Bryan, D.L., and G. Mendal. Exploring Ada. Volume 1. Prentice-Hall, 1990.
- 411p. (ISBN: 0-13-295684-5; $34.00/text) (See Volume 2 under Mendal)
-
- Describes Ada's type model, statements, packages and subprograms.
- Includes programming features such as information hiding, facilities to
- model parallel tasks, data abstraction, and software reuse.
-
- Bryant, R., and B. Unger, editors. Simulation in Strongly Typed Languages:
- Ada, Pascal, Simula. (SCS Simulation Series, Volume 13, Number 2). (ISBN:
- 0-317-05019-2; $36.00/trade)
-
- Buhr, R.J. Practical Visual Techniques in System Design with Applications to
- Ada. Prentice-Hall, 1990. 533p. (ISBN:0-13-880808-2; $43.20/casebound)
-
- Offers a personal statement on how to use visual techniques to organize
- one's thinking during the design process.
-
- Buhr, R.J. System Design with Ada. Prentice-Hall, 1984. 256p. (ISBN:
- 0-13-880808-2; $48.00 paperback) (ISBN:0-13-881623-9; $55.00/text)
-
- Stresses aspects of Ada important for design. Aims numerous examples of
- notations at teaching, learning, CAD, and uses in industrial practice.
- Contains three divisions: 1) provides a top down overview of the design
- features of Ada; 2) develops the design notation and provides a tutorial
- on the design process using simple examples; 3) treats advanced issues
- such as implementing the X.25 packet switching protocol.
-
- Burns, A. Towards Ada9X. IOS Press, 1992. (ISBN: 90-5199 075 8)
-
- This book is a collection of edited papers on the general theme of Ada
- 9X. Two papers directly address the likely language changes. The first
- of these is written by one of the Ada9X distinguished reviewers, the
- second is by one of the team members that is actually implementing the
- language changes. A further paper describes how the new language
- features will directly support the programming of hard real-time
- systems. The book includes a paper written by the chairman of the
- ARTEWG group, that describes the new release of the catalog of interface
- features and options for an Ada run-time system (CIFO)). Other areas
- covered include interface bindings, such as to SQL or POSIX, to Ada.
-
- Burns, A. Concurrent Programming in Ada. (Ada Companion Series) Cambridge
- University Press, 1985. 241p. (ISBN: 0-521-30033-9; $34.50/trade)
-
- Reports on Ada tasking offering a detailed description and an assessment
- of the Ada language concerned with concurrent programming.
-
- Burns, A., and A. Wellings. Real-Time Systems and Their Programming
- Languages. Addison-Wesley, 1990. 575p. (ISBN: 0-201-17529-0)
-
- Provides a study of real-time systems engineering, and describes and
- evaluates the programming languages used in this domain. Considers
- three programming languages in detail: Ada, Modula-2, and Occam2.
-
- Burns, A. A Review of Ada Tasking. (Lecture Notes in Computer Science
- Series, Volume 262) Springer-Verlag, 1987. (ISBN: 0-387-18008-7; $15.50)
-
- Byrne, W.E. Software Design Techniques for Large Ada Systems. Digital Press,
- 1991. 314p. (ISBN: 1-55558-053-X; $45)
-
- Introduces design strategies for controlling complexities inherent in
- large computer programs and in software systems as groups of large
- computer programs executing concurrently. Focuses primarily on issues
- associated with the design of software systems as a whole rather than on
- localized design and coding issues.
-
- Caverly, P., and P. Goldstein. Introduction to Ada: A Top Down Approach for
- Programmers. Brooks-Cole, 1986. 237p. (ISBN:0-534-05820-5; $18.50/paper)
-
- Organizes and emphasizes those features that distinguish Ada from other
- programming languages. Uses a cyclical approach to the treatment of
- many topics. Gives a brief history of the development of the Ada
- language. Introduces the I/O capabilities, procedures, character and
- numeric data types and subtypes, and the concept of an Ada program
- library. Discusses enumeration, array, record, and derived types, and
- demonstrates how the package can be used to encapsulate data types.
- Explains access types and applications and the encapsulation of data
- objects in packages. Illustrates how finite-state machines can be
- represented by packages. Describes the essentials of tasking and deals
- with blocks and exceptions. Introduces the reader to private types,
- types with discriminates, and generic units.
-
- Cherry, G.W. Parallel Programming in ANSI Standard Ada. Prentice-Hall, 1984.
- 231p. (ISBN: 08359-5434-X; $48.00/text)
-
- Explores parallel sorting, searching, root finding, process pipelining,
- object (data) flow graphs, exception handling, etc., using Ada.
-
- Cherry, G.W. Ada Programming in ANSI Standard Ada. Prentice-Hall, 1981.
- (out of print)
-
- Chirlian, Paul M. Introduction to Ada. Weber Systems, 1985. 291p. (ISBN:
- 0-916460-42-8; $19.95)
-
- Provides a basic course in the Ada programming language. (Ada courses
- and/or self-study)
-
- Clark, Robert G. Programming in Ada: A First Course. Cambridge University
- Press, 1985. 215p. (ISBN: 0-521-25728-X; $47.50/trade) (ISBN: 0-521-27675-6;
- $21.95/paper)
-
- Introduces the Ada programming language. Targets persons without
- previous experience in programming. Details how to design solutions on
- a computer. Concentrates on solving simple problems in the early
- sections: the later sections explore how packages can be used in
- constructing large reliable programs. Emphasizes central features such
- as data types, subprograms, packages, separate compilation, exceptions
- and files. ANSI/MIL-STD-1815A-1983 is referenced throughout the book.
-
- Cohen, N.C. Ada as a Second Language. McGraw-Hill, 1986. 838p. (ISBN:
- 0-07-011589-3; $36.04/paper)
-
- Explains Ada to those who wish to acquire a reading and writing
- knowledge of the Ada language. Also a programming reference source.
-
- Conn, R., editor. Ada Software Repository (ASR). Zoetrope, 1990. 35p.
- (ISBN: 0-918432-78-2; $16.95/paper)
-
- Describes how to use the Ada Software Repository, which contains Ada
- programs, software components, and educational materials, and resides on
- the host computer of the Defense Data Network (DDN).
-
- Culwin. Ada: A Developmental Approach. Prentice-Hall.
-
- Intended for use on courses which teach Ada as the first programming
- language. The book is designed to take the reader from the basic
- principles of programming to advanced techniques. This book provides a
- complete introduction to software development using the programming
- language, Ada. It is not only concerned with the production of Ada
- programs, but it is also an introduction to the process of
- implementation and testing. Features include: a carefully structured
- tutorial which includes software development, design, testing, and
- production.
-
- Dawes, J., et al, editors. Selecting an Ada Compilation System. (Ada
- Companion Series) Cambridge University Press, 1990. 173p.
- (ISBN:0-521-40498-3; $42.95)
-
- Presents the findings of the Ada-Europe specialist group for compiler
- assessment.
-
- Dawes, J. The Professional Programmers Guide to Ada. Pittman Publishing,
- 1988. (ISBN: 0-273-02821-9; $100.00x)
-
- Dorchak, S.F., and P.B. Rice. Writing Readable Ada: A Case Study Approach.
- Heath, 1989. 244p. (ISBN: 0-669-12616-0; $17.00)
-
- Contains a style guide, which gives suggestions for enhancing code
- readability; devotes a chapter to the discussion of concurrency, an
- advanced feature of modern programming languages; a fully coded Ada
- program, along with a sample run; a bibliography, which lists books and
- articles about Ada and software engineering principles; two indexes, one
- devoted exclusively to references of case study modules and the other
- listing important topics and concepts.
-
- Elbert, T.F. Embedded Programming in Ada. Van Nostrand Reinhold, 1989.
- 523p. (ISBN: 0-442-22350-1; $55.00/trade)
-
- Clarifies Ada for the practicing programmer and for the advanced
- engineering or computer science student. Assumes the reader has
- acquired a certain level of sophistication, general concepts normally
- found in introductory programming texts are not covered. Also, presumes
- the reader is familiar with operating systems and has a basic knowledge
- of some block-structured language such as PL/1 and Pascal.
-
- Feldman, M.B., and E.B. Koffman. Ada Problem Solving & Program Design.
- Addison-Wesley, 1991. (ISBN:0-201-5006-3/diskette) (ISBN:0-201-55560/trade)
-
- Designed to introduce the novice to a number of Ada features, such as
- subprograms, packages, operator overloading, enumeration types, and
- array-handling operations. Emphasizes throughout the book the
- principles of data abstraction, software engineering, problem solving,
- and program design.
-
- Feldman, M.B. Data Structures with Ada. Prentice-Hall, 1985. 314p.
-
- Highlights the use of Ada as a general purpose programming language.
- Includes the following: linked lists, queues and stacks, graphs, trees,
- hash methods, sorting, etc. Does not include generics; it was written
- before compilers could handle generics. Free software available from
- the author.
-
- Feuer, A.R., and N. Gehani. Comparing & Assessing Programming Languages: Ada,
- C & Pascal. (Software Series) Prentice-Hall, 1984. (ISBN: 0-13-154840-9;
- $32.00/paper text)
-
- Fisher, D.A., editor. Ada Language Reference Manual. Gensoft Corp., 1986.
- (ISBN: 0-9618252-0-0; $12.95/paper text)
-
- Fisher, G., editor. Approved Ada Language Commentaries. (Ada Letters Series,
- Volume 9, Number 3) Assn. Computing Machinery, 1989. (ISBN: 0-89791-311-6;
- $30.00/paper text)
-
- Ford, B., et al. Scientific Ada. (Ada Companion Series) Cambridge University
- Press, 1987. 386p. (ISBN: 0-521-33258-3; $44.50/trade)
-
- Explores aspects of the Ada programming language that are relevant to
- the scientific (i.e., numeric) community at large. Concentrates on the
- numeric models of Ada and a number of Ada-specific features (e.g.,
- generics). Reviews guidelines for the design of large scientific
- libraries in Ada.
-
- Freedman, Roy S. Programming Concepts with the Ada Language. Petrocelli,
- 1982. 165p. (ISBN: 0-89433-190-6; out of print)
-
- Assists in understanding the concepts discussed in the Ada Language
- Reference Manual.
-
- Freedman, R.S. Programming Concepts with the Ada Reference Manual.
- Petrocelli, 1982. (ISBN: 0-89433-190-6; $12.95)
-
- Gautier, R.J., and P.J. Wallis. Software Reuse with Ada. Peregrinus Ltd.,
- 1990. 205p. (ISBN: 0-86341-173-8)
-
- Contains three sections: 1) general reuse issues, comprises a collection
- of papers on various aspects of Ada software reuse; 2) case studies of
- Ada reuse in practice; and 3) Ada Reuse Guidelines which appear in their
- final form in this section.
-
- Gehani, N. Ada: An Advanced Introduction Including Reference Manual for the
- Ada Programming Language. Prentice-Hall, 1984. 568p. (out of print)
-
- Introduces problem solving in Ada by means of a set of examples.
- Develops solutions to problems in the framework of step-wise refinement.
- Provides practical instruction in top-down structured programming.
-
- Gehani, N. Ada: An Advanced Introduction. 2nd edition. Prentice-Hall, 1989.
- 280p. (ISBN: 0-13-004334-6 $32.40/paper)
-
- Introduces advanced problem-solving in Ada. Emphasizes modular
- programming as good programming practice.
-
- Gehani, N. Ada: Concurrent Programming. Prentice-Hall, 1984. 261p. (ISBN:
- 0-13-004011-8; out of print)
-
- Offers a large collection of concurrent algorithms, expressed in terms
- of the constructs provided by Ada, as the support for concurrent
- computation. Explains the concurrent programming facilities in Ada and
- shows how to use them effectively in writing concurrent programs.
- Surveys concurrent programming in other languages, and discusses issues
- specific to concurrent programming facilities in Ada.
-
- Gehani, N. Unix Ada Programming. Prentice-Hall, 1987. 310p. (ISBN:
- 0-13-938325-5; $34.00/paper)
-
- Focuses on the novel aspects of the Ada language and explains them by
- many examples written out in full. Examines the interesting differences
- between the Ada language and other programming languages. Also, notes
- the similarities between Ada, Pascal, C, PL/I, and Fortran.
-
- Gilpin, Geoff. Ada: A Guided Tour and Tutorial. Prentice-Hall, 1987. 410p.
- (ISBN: 0-13-73599-0; $21.95/paper)
-
- Reports on the developments in control structures, scalar data types,
- multitasking, program structure and access types.
-
- Goldsack, S.J. Ada for Specification: Possibility and Limitations. (Ada
- Companion Series) Cambridge University Press, 1986. 265p. (ISBN:
- 0-521-30853-4; $7.50/trade)
-
- Examines the use, role, features and purpose of specification languages,
- particularly Ada, in a large-scale software project.
-
- Gonzalez, D. Ada Programmer's Handbook. Benjamin-Cummings, 1991. (ISBN:
- 0-8053-2529-8; $13.95/paper)
-
- Gonzalez, Dean W. Ada Programmer's Handbook and Language Reference Manual.
- Benjamin-Cummings, 1991. 200p. (ISBN: 0-8053-2528-X; 19.95/paper)
-
- Presents information intended for those professionals transitioning to
- Ada. Includes a glossary.
-
- Goos, G., et al. Diana: An Intermediate Language for Ada. (Lecture Notes in
- Computer Science) Springer-Verlag, 1987. 201p. (ISBN: 0-387-12695-3;
- $20.00/paper)
-
- Describes DIANA, a Descriptive Intermediate attributed Notation for Ada,
- which resulted from a merger of the properties of two earlier similar
- intermediate forms: TCOL and AIDA.
-
- Habermann, A., and Dwayne E. Perry. Ada for Experienced Programmers.
- (Computer Science Series) Addison-Wesley, 1983. 480p. (ISBN: 0-201-11481-X;
- $29.25/paper)
-
- Offers a comparative review of Ada and Pascal, using dual program
- examples to illustrate software engineering techniques.
-
- Habermann, A.N., editor. System Development & Ada. (Lecture Notes in
- Computer Science, Volume 275) Springer-Verlag, 1987. (ISBN: 0-387-18341-8;
- $25.70/paper)
-
- Heilbrunner, Stephan. Ada in Industry, Proceedings of the Ada-Europe
- International Conference, Munich, June 7-9, 1988. (Ada Companion Series)
- Cambridge University Press, 1988. 262p. (ISBN:0-521-36347-0; $42.50/trade)
-
- Provides state of the art reports on the Ada programming language.
-
- Hibbard, Peter, et al. Studies in Ada Style. 2nd edition. Springer-Verlag,
- 1983. 101p. (ISBN: 0-387-90816-1; $21.50/paper)
-
- Presents concepts of the abstractions embodied in Ada with five
- examples: a queue, a graph structure, a console driver, a table handler
- and a solution to Laplace's equation using multiple tasks.
-
- Ichbiah, J, et al. Rationale for the Design of the Ada Programming Language.
- Cambridge University Press, 1991. (ISBN: 0-521-39267-5; $54.95)
-
- Presents the rationale behind the design and development of the Ada
- programming language.
-
- Johnson, P.I. The Ada Primer. McGraw, New York, NY, 1985. (out of print)
-
- Johnson, Phillip I. Ada Applications and Administration. 2nd edition.
- McGraw-Hill, 1990. 209p. (ISBN: 0-07-032627-4ISBN; $39.95/Text edition)
-
- Explains how to ensure the reliable, error-free, cost-effective
- operation of large computer systems with Ada. Updates and revises
- earlier edition (first entitled The Ada Primer).
-
- Jones, Do-While. Ada in Action with Practical Programming Examples. John
- Wiley & Sons, 1989. (ISBN: 0-471-60708-8; $34.95/paper text)
-
- Jones, Do-While. Ada in Action with Practical Programming Examples. John
- Wiley & Sons, 1989. 487p. (ISBN: 0-471-50747-4; $57.95/text)
-
- Helps Ada programmers avoid common pitfalls and provides them with many
- reusable Ada routines. Discusses a variety of numeric considerations,
- user interfaces, utility routines, and software engineering and testing.
- Provides examples of Ada code.
-
- Katzan, H., Jr. Invitation to Ada (Condensed Edition). Petrocelli, 1984.
- 173p. (out of print)
-
- Introduces Ada in terms of three broad classes of applications:
- numerical, system programming, and real-time programming.
-
- Katzan, H., Jr. Invitation to Ada. Petrocelli, 1984. (ISBN: 0-89433-239-2;
- $14.95/paper text)
-
- Katzan, H., Jr. Invitation to Ada & the Ada Reference Manual. Petrocelli,
- 1982. 429p. (ISBN: 0-89433-132-9; $34.95/text)
-
- Calls for the scientific computing community to adopt the Ada
- programming language. Part II is the Ada Reference Manual, 1980
- version.
-
- Keeffe, D., et al. Pulse: An Ada-based Distributed Operating System. (APIC
- Studies in Data Processing, Volume 26), Academy Press, 1985. (ISBN:
- 0-12-402979-1; $39.95/paper)
-
- Keller, J. The Ada Challenge, 1988: Strategies Risk & Payoffs. Pasha
- Publications, 1988. (ISBN: 0-935453-22-9; $174.00/paper)
-
- Krell, B. Developing with Ada: Life-Cycle Methods. Bantam Professional
- Books, September 1992 (ISBN 0553-0909-3; $54.95/hard cover).
-
- Dr. Krell offers his opinion on the key to using Ada to its fullest
- potential: a tested development methodology for implementing real-time
- Ada systems quickly and efficiently, from requirements and code
- generation through design and test. By applying the steps outlined in
- Dr. Krell's book, "software engineers can create real-time systems that
- are flexible, integrate easily, perform well, and satisfy user needs,"
- according to the publisher.
-
- Krieg-Brueckner, B., et al, editors. Anna: A Language for Annotating Ada
- Programs. (Lecture Notes in Computer Science Series, Volume 260)
- Springer-Verlag, 1987. (ISBN: 0-387-17980-1; $15.50/paper)
-
- Ledgard, Henry. Ada: A First Introduction. 2nd edition. Springer-Verlag,
- 1983. 130p. (ISBN: 0-540-90814-5)
-
- Assumes that the reader has experience with some other higher order
- programming language. Outlines several key features of Ada; a treatment
- of the facilities -- concept of data types, the basic statements in the
- language, subprograms, packages, and general program structure.
-
- Ledgard, H. Ada: An Introduction. 2nd edition. Springer-Verlag, 1987.
- (ISBN: 0-387-90814-5; $22.00/paper text)
-
- Lewi, P., and J. Paredaens. Data Structures of Pascal, Algol Sixty-Eight,
- PL-1 & Ada. (ISBN: 0-387-15121-4; $49.00/paper)
-
- Lomuto, N. Problem Solving Methods with Examples in Ada. Prentice-Hall,
- 1987. 176p. (ISBN: 0-13-721325-5)
-
- Contains a collection of hints on solving programming problems.
- Includes examples along with sections on the art of thinking, analyzing
- the problem, systematic development, looking back, ideas for ideas, and
- case studies.
-
- Luckham, David C., et al. Programming with Specifications: An Introduction to
- Anna, a Language for Specifying Ada Programs. (Texts and Monographs in
- Computer Science) Springer-Verlag, 1990. 416p. (ISBN: 0-387-97254-4)
-
- Offers an in-depth look at ANNA, a form of the Ada language in which
- specially marked comments act as formal annotations about the program to
- which they are attached.
-
- Lynch, B., editor. Ada: Experiences & Prospects: Proceedings of the
- Ada-Europe International Conference. Dublin, 1990. (Ada Companion Series)
- (ISBN: 0-521-39522-4; $9.50/trade)
-
- Lyons, T.G. Selecting an Ada Environment. (Ada Companion Series) Cambridge
- University Press, 1986. 239p. (ISBN: 0-521-32594-3 (British); $29.95/trade)
-
- Provides an overview of the Ada Programming Support Environment (APSE).
- Covers six main issues in selecting an environment. Contains summaries
- of current approaches to likely problems, indications of deficiencies in
- existing knowledge, and checklists of questions to ask when considering
- a particular environment.
-
- Mayoh, B. Problem Solving with Ada. (Wiley Series in Computing.)
- Reproduction of 1982 edition (order no. 2032658; $63.20/paper)
-
- McDermid, J.A., and K. Ripken. Life Cycle Support in the Ada Environment.
- (Ada Companion Series) Cambridge University Press, 1984. (out of print)
-
- McGettrick, Andrew D. Program Verification Using Ada. Cambridge University
- Press, 1982. 345p. (ISBN: 0-521-24215-0; $57.50/Trade) (ISBN: 0-521-28531-3;
- $29.95/paper)
-
- Discusses such topics as correctness of nonbranching programs,
- invariants and termination proofs via well formed sets, elementary
- types, arrays, records, access types, packages as well as an
- encapsulation mechanism for abstract data types, and parallelism.
-
- Miller, N.E., and C. Peterson. File Structures: With Ada. Benjamin-Cummings,
- 1989. (ISBN-8053-0440-1; $39.95/text)
-
- Mendal, G., and D.L. Bryan, Exploring Ada. Volume 2. Prentice-Hall, 1992.
- (ISBN: 0-13-297227-1) (See Volume 1 under Bryan.)
-
- A method of presentation based on the Socratic method, provides coverage
- and the semantics of Ada. Discusses focused problems individually. The
- second volume expands on the larger issues dealing with Ada's more
- advanced features.
-
- Mohnkern, Gerald L., and Mohnkern, Beverly. Applied Ada. TAB Books, 1986.
- 326p. (ISBN: 0-8306-2736-7)
-
- Introduces the Ada language on a practical level. Targets persons who
- understand the basic terminology and concepts of programming. (A
- particular language is not a prerequisite.) Instructs through examples
- of programs written in Ada.
-
- Musser, D.R., and Stepanov, A.A. The Ada Generic Library Linear List
- Processing Packages. Springer-Verlag, 1989. 265p. (ISBN: 0-387-97133-5:
- $39.00/trade)
-
- Discloses the purpose of the Ada Generic Library as an attempt to
- provide Ada Programmers with an extensive, well-documented library of
- generic packages whose use can substantially increase productivity and
- reliability. Contains eight Ada packages, with over 170 subprograms,
- for various linear data structures based on linked lists.
-
- Naiditch, David. Rendezvous with Ada: A Programmer's Introduction. John
- Wiley & Sons, 1989. 477p. (ISBN: 0-471-61654-0; $39,95/paper)
-
- Explains Ada to the beginning programmer (knowledge of at least one high
- level programming language is advised). Concludes each chapter with
- exercises.
-
- Nielsen, Kjell. Object-Oriented Design with Ada/Maximizing Reusability for
- Real-Time Systems. Bantam Books, 1992. (ISBN: 0-553-08955-2)
-
- Shows Ada programmers how to design, implement, and maintain reusable
- real-time software systems using the object-oriented methods.
-
- Nielsen, Kjell, and Shumate, K. Designing Large Realtime Systems with Ada.
- McGraw-Hill, 1988. 464p. (ISBN: 0-07-046536-3; $58.95/text)
-
- Presents a comprehensive methodology for the design and implementation
- of large realtime systems in Ada. (The reader is expected to have a
- basic understanding of the Ada programming language.)
-
- Nielsen, Kjell. Ada in Distributed Realtime Systems. McGraw-Hill, 1990.
- 371p. (ISBN: 0-07-046544-4; $58.95/text)
-
- Emphasizes design paradigms and heuristics for the practicing software
- engineer. Provides important background material for the builder of
- operating systems and runtime support environments for distributed
- systems. Contains data on distributed systems, process abstraction and
- Ada for distributed realtime systems, design paradigms for distributed
- systems, inter-processor communication, virtual and physical nodes, and
- fault tolerance.
-
- Nissen, John, and Peter Wallis. Portability and Style in Ada. (Ada Companion
- Series) Cambridge University Press, 1984. 202p. (out of print)
-
- Examines style and portability guidelines for Ada programmers. Results
- of work by the Ada-Europe Portability Working Group.
-
- Nyberg, K.A. Ada: Sources & Resources. Grebyn Corp., 1991, P.O. Box 497,
- Vienna, VA 22183-0497. Telephone: 703/281-2194; $60.00 plus shipping and
- handling.
-
- Nyberg, K.A., editor. Annotated Ada Reference Manual. 2nd edition. Grebyn
- Corp., 1991, P.O. Box 497, Vienna, VA 22183-0497. Telephone: 703/281-2194;
- $50.00 plus shipping and handling.
-
- Contains the full text of ANSI/MIL-STD-1815A with inline annotations
- derived from the Ada Rapporteur Group of the International Organization
- for Standards responsible for maintaining the Ada language.
-
- Olsen, E.W., and S.B. Whitehill. Ada for Programmers. Prentice-Hall, 1983.
- 310p. (ISBN: 0-8359-0149-1; $38.00)
-
- Includes many of the subtleties of Ada in a self-paced tutorial format.
- Contains the following: conceptual overview; predefined types;
- expressions; basic Ada statements; subprograms; packages; etc.
-
- Orme, A., et al. Reusable Ada Components Sourcebook. Cambridge University
- Press, 1992. 286p. (ISBN: 0 521 40351 0; $49.95)
-
- The authors consider how the Ada software components that may be found
- in this book could be used. According to the publishers both the novice
- and the expert software engineer will find useful information in this
- book.
-
- Pokrass, D., and G. Bray. Understanding Ada: A Software Engineering Approach.
- John Wiley & Sons, 1985. (ISBN: 0-471-87833-2; $32.95/paper)
-
- Price, David. Introduction to Ada. Prentice-Hall, 1984. 150p.
- (ISBN:0-13-477646-1; $26.95/trade)
-
- Presents examples, programs, and program fragments showing Ada's power
- as a general purpose language, plus step-by-step explanations
- demonstrating how Ada simplifies the production of large programs.
- Requires little technical or mathematical sophistication.
-
- Pyle, I.C. The Ada Programming Language. Prentice-Hall, 1985. 345p. (ISBN
- 0-13-003906-3)
-
- Describes the basic features of the Ada programming language. Covers
- the issues of program structure, and discusses machine specific issues.
- Assumes prior knowledge of programming. Introduces topics in the
- context of embedded systems. Covers the following areas: the basic
- features of Ada; the particular programming concepts in Ada that will
- probably be new to most programmers; the issues of program structure;
- the machine- specific issues that can be expressed in a
- machine-independent language and advanced treatment.
-
- Pyle, I. Developing Safety Critical Systems with Ada. Prentice-Hall, 1991.
- (ISBN: 0-13-204298-3; $39.00/paper)
-
- A presentation of concepts for practicing engineers or programmers
- involved with the development of safety-related computer-based systems.
- Considers the different roles involved in accepting safety related
- systems and the corresponding human activities. Illustrates how Ada
- provides a framework in which the design rules for safety can be applied
- and confirmed. The author explains relationships, with major published
- guidelines for development of safety related software. Interprets
- guidelines specifically for Ada. The material presented is for three
- contemporary viewpoints: analyzer, synthesizer, checker. A senior-level
- course in Ada programming and software engineering.
-
- Rogers, M.W. Ada: Language, Compilers and Bibliography. Cambridge University
- Press, 1984. 332p. (ISBN: 0-521-26464-2; $24.95/trade)
-
- Offers a photo reprint of the Ada standard, a guide listing the
- characteristics of an implementation that should be taken into account
- in the specification or selection of an Ada compiler and a bibliography.
-
- Saib, S., and R.E. Fritz. Introduction to Programming in Ada. HR&W, 1985.
- (ISBN: 0-03-059487-1; $28.95/text)
-
- Saib, Sabina H., and R.E. Fritz. Tutorial: The Ada Programming Language.
- IEEE Computer Society, 1983. 538p. (ISBN: 0-8053-7070-6; $25.56/paper)
-
- Covers such topics as the history and current status of Ada; basic
- language; schedule for industry and DoD; preventing error; readable,
- maintainable, modular systems; real-time features, portability; and
- environments for Ada.
-
- Savitch, W.J., et al. Ada: An Introduction to the Art and Science of
- Programming. Benjamin-Cummings, 1992. (ISBN: 0-8053-7070-6; $33.95/paper
- text)
-
- Written specifically for the first programming course. It starts with
- variable declarations, simple arithmetic expressions, simplified
- input-output, and builds upward toward subprograms and packages. A
- chapter-by-chapter instructor's guide is also available, as is a program
- disk with more than 140 completed programs from the text.
-
- Saxon, J.A., and R.E. Fritz. Beginning Programming with Ada. Prentice-Hall,
- 1983. (out of print)
-
- Shimer, R. Ada. Amigo Projects, 1989. (ISBN: 0-685-30433-7; $12.00/paper
- text)
-
- Shumate, K. Understanding Concurrency in Ada. McGraw-Hill, 1987, 595p.
- (ISBN: 0-07-057299-2ISBN; $58.95/text)
-
- Presents a detailed exposition of concurrency in Ada. Looks at five
- case studies and gives an advanced introduction to real-time
- programming.
-
- Shumate, K. Understanding Ada. 2nd edition, John Wiley & Sons. (ISBN;
- 0-471-605-204; $51.00/text)
-
- Shumate, K.C. Understanding Ada: With Abstract Data Types. 2nd edition. John
- Wiley & Sons, 1989. (ISBN: 0-471-60347-3; $21.50/text)
-
- Skansholm, J. Ada from the Beginning. Addison-Wesley, 1988. 617p. (ISBN:
- 0-201-17522-3; $29.25)
-
- Describes the principles and concepts of programming in a logical and
- easy-to-understand sequence and discusses the important features of Ada
- (except parallel programming). Teaches the basics of writing computer
- programs. Emphasizes the fundamentals of good programming. Provides a
- grounding in the programming language Ada. Covers the following:
- programming designs, the basics of Ada, control statements, types,
- subprograms, data structures, packages, input/output, exceptions,
- dynamic data structures, files, and generic units.
-
- Smedema, C.H., et al. The Programming Languages Pascal, Modula, CHILL, Ada.
- Prentice-Hall, 1983. 154p. (ISBN: 0-685-08596-1; $16.95/trade)
-
- Provides an informal introduction to the most important characteristics
- of Pascal, Modula, CHILL, and Ada. Discusses languages in historical
- order. Includes the history, application area, standardization aspects
- and future prospects of each.
-
- Sodhi, J. Computer Systems Techniques: Development, Implementation, and
- Software Maintenance. TPR, a division of McGraw-Hill, 1990. (ISBN:
- 0-8306-3376-6) Telephone: 800-822-8138).
-
- Sodhi, J. Managing Ada Projects Using Software Engineering. TPR, a division
- of McGraw-Hill, 1990. 246p. (ISBN: 0-8306-0290-9; $34.95/trade) Telephone:
- 800/822-8138.
-
- Describes some of the practical aspects of developing a flawless project
- in Ada.
-
- Sodhi, J. Software Engineering: Methods, Management, and CASE Tools. TPR, A
- division of McGraw-Hill, 1991. (ISBN: 0-8306-3442-8) Telephone: 800/822-8138.
-
- Software Productivity Consortium. Ada Quality and Style: Guidelines for
- Professional Programmers. Van Nostrand Rheinhold, 1989, 230p. (ISBN:
- 0-442-23805-3; $26.95/paper)
-
- Provides a set of specific guidelines for using the powerful features of
- Ada in a disciplined manner. Consists of concise statements of the
- principles that should be followed, and the rationale for each
- guideline.
-
- Sommerville, I., and R. Morrison. Developing Large Software Systems with Ada.
- (International Computer Science Series) Addison-Wesley, 1987. (ISBN:
- 0-201-14227-9; $26.95/paper text)
-
- Stein, Dorothy. Ada: A Life and Legacy. MIT Press, 1985. 321p. (ISBN:
- 0-262-19242-X; $30.00/Trade) (ISBN: 0-262-69116-7; $10.95)
-
- Presents the view that Ada Byron's mathematical and scientific
- achievements have been exaggerated.
-
- Stratford-Collins, M.J. Ada: A Programmer's Conversion Course. (Ellis
- Horwood Series in Computers & Their Applications) John Wiley & Sons, 1982.
- (ISBN: 0-470-27332-1; $56.95/trade)
-
- Tafvelin, Sven, editor. Ada Components: Libraries and Tools. (Ada Companion
- Series) Cambridge University Press, 1987. 288p. (ISBN: 0-521-34636-3;
- $44.50/trade)
-
- Comprises the proceedings of the international conference organized by
- Ada Europe with the support of the Commission of the European
- Communities and the collaboration of SIGAda.
-
- Tedd, M., et al. Ada for Multi-microprocessors. (Ada Companion Series)
- Cambridge University Press, 1984. 208p. (ISBN: 0-521-301033; $4450/trade)
-
- Addresses those problems of distributed systems that arise out of the
- nature of Ada and support environments. Discusses the issues of how to
- construct and run an Ada program for a valuable target configuration of
- several microcomputers, interconnected through shared memories,
- multi-access busses, local area networks, and end-to-end lines.
-
- Texel, P. Introduction to Ada. Packages for Programmers. Wadsworth Press,
- 1986, 441p. (ISBN: 0-534-06348-9; out of print)
-
- Provides a guide to Ada that contains complete packages, I/O facilities
- and sample programs, emphasizing top-down design throughout.
-
- Toole, Betty A., Ed.D. Ada, The Enchantress of Numbers: A Selection from the
- Letters of Lord Byron's Daughter and Her Description of the First Computer.
- Strawberry Press (ISBN: 0-912647-09-4; 29.95). Purchase from Computer
- Literacy Bookshops: 408/435-0744. Customers in the United Kingdom should call
- Computer Bookshops, 021-706-1188.
-
- The author states that she selected the letters in such a way to enable
- the reader to follow a loose story line of Lady Ada Lovelace's life. In
- her letters, Ada describes her thoughts of the first computer, and Ms
- Toole relates these descriptions to the modern software language, Ada.
-
- Tremblay, J., et al. Programming in Ada. McGraw-Hill, 1990. PG 489p.
- (ISBN: 0-07-065180-9; $24.60/paper text)
-
- Explains computer science concepts in an algorithmic framework, with a
- strong emphasis on problem solving and solution development.
-
- Uhl, J. An Attribute Grammar for the Semantic Analysis of Ada. (Lecture
- Notes in Computer Science Series, Volume 139) Springer-Verlag, 1982. (out of
- print)
-
- Unger. Simulation Software & Ada. (SCS Simulation Series) 1984. (ISBN:
- 0-911801-03-0; $16.00/paper)
-
- Vasilescu, E.N. Ada Programming with Applications. Allyn and Bacon, 1987.
- 539p. (out of print)
-
- Offers a bottom-up approach to commercial and business uses of Ada,
- emphasizing the features of Ada that are most like those of traditional
- languages.
-
- Vasilescu. Ada Programming. Allyn and Bacon, 1986. (out of print)
-
- Volper, D., and M.D. Katz. Introduction to Programming Using Ada.
- Prentice-Hall, 1990. 650p. (ISBN: 0-13-493529-2; $30.00)
-
- Uses the spiral approach as the presentation methodology in this
- introductory course in Ada programming.
-
- Wallace, Robert H. Practitioner's Guide to Ada. McGraw-Hill, 1986. 373p.
- (ISBN: 0-07-067922-3; $39.95)
-
- Discusses the issues to be considered when making the transition to Ada,
- on selecting toolsets, and on using the language effectively. Covers
- the following: Ada as a language; Ada Oriented Development Environments;
- Ada oriented design methodologies; Ada policies and standards; Ada
- products and vendors; sources of Ada-related information; making the
- transition to Ada and other uses of Ada.
-
- Wallach, Y. Parallel Processing & Ada. Prentice-Hall, 1990. (ISBN:
- 0-13-650789-1; $54.00/casebound)
-
- Wallis, P.J. Ada: Managing the Transition. (Ada Companion Series) Cambridge
- University Press, 1986. (ISBN: 0-521-33091-2; $44.50/trade)
-
- Wallis, P.J., editor. Ada Software Tools Interfaces. (Lecture Notes in
- Computer Science Series, Volume 180) (ISBN: 0-387-13878-1; $16.00/paper)
-
- Watt, D.A., et al. Ada Language and Methodology. Prentice-Hall, 1987. 515p.
- (ISBN: 0-13-004078-9; $37.00/paper)
-
- Covers the Ada language in detail and introduces program methodologies
- appropriate for use with Ada. Discusses the following topics: 1) covers
- a subset of Ada broadly comparable with most other programming
- languages; 2) introduces the features of Ada that make it suitable for
- the construction of large programs; 3) completes the treatment of the
- data types of Ada; 4) concludes the treatment of program structures.
-
- Wegner, P. Programming with Ada: An Introduction by Means of Graduated
- Examples. Prentice-Hall, 1980. (out of print)
-
- Wiener, Richard and Sincovec, Richard. Programming in Ada. John Wiley &
- Sons, 1983. 345p. (out of print May 1991)
-
- Describes the major features of the Ada programming language covering
- basic control and data structures associated with Ada, and powerful
- advanced features that differentiate it from previous programming
- languages.
-
- Wiener, R.S., and R.F. Sincovec. Software Engineering with Modula-2 & Ada.
- John Wiley & Sons, 1984. (ISBN: 0-471-89014-6; $51.95/text)
-
- Winters, John. Power Programming With Ada for the IBM PC. TAB Books, 1987.
- 207p. (ISBN: 0-8306-2902-5; $16.95/paper) (ISBN 0-8306-7902-2DP 1987;
- $24.95/trade)
-
- Analyses programs in Ada for personal computers. Written for the
- beginning Ada programmer in a style very easy to read and follow.
-
- Young, S.J. An Introduction to Ada. John Wiley and Sons, 1983. 400p. (out
- of print)
-
- Introduces the programming language and explains the underlying program
- design methodology, illustrated with examples.
-
- ALPHABETICAL LIST (BY TITLE)
-
- Ada: Introduction to Programming. Sams, 1986. (ISBN: 0-672-22523-9;
- $32.95/trade)
-
- Ada Military & Commercial Markets. 1986. (ISBN: 0-88694-719-7; $1815.00x)
-
- Ada Quality & Style: Guidelines for Professional Programmers. Van Nostrand
- Reinhold, 1989. (ISBN: 0-442-23805-3; $26.95/paper)
-
- Ada Reference Manual, The. Silicon Press, 1988. (ISBN: 0-9615336-6-8;
- $24.95/Trade) Algo Publishing Staff.
-
- Ada Statement-to-Statement Dictionary. Algo, 1988. (ISBN: 0-945473-62-1;
- $14.95/paper)
-
- Common Mistakes in Ada Program Conversions. Algo, 1988. (out of print Dec.
- 1989)
-
- Executive Briefing on Ada. 1990, Alsys, Inc., 67 South Bedford Street,
- Burlington, MA 01803-5152, 617/270-0030 (free booklet)
-
- Intermediate Transfer Methods for Simulating GOTOs by IF & Loop Statements in
- Ada. Algo, 1988. (ISBN: 0-945473-54-0; $14.95/paper)
-
- Introduction to Ada. Merl Miller Assoc., (ISBN: 0-317-26567-9; $19.95/trade)
-
- Programming Language Ada, The: A Reference Manual. Proposed Standard Document
- U.S. Department of Defense. (Lecture Notes in Computer Sciences Series,
- Volume 106) Springer-Verlag, 1983. (ISBN: 0-387-10693-6; $19.00/paper)
-
- Rationale for the Design of the Ada Programming Language. Silicon Press,
- 1989. (ISBN: 0-9615336-5-X; $30.95/paper)
-
- Reference Manual for the Ada Programming Language. Springer-Verlag, 1987.
- (ISBN: 0-387-90887-0; $19.50/paper)
-
- Reference Manual for the Ada Programming Language: Reprint of the Draft of the
- Proposed American National Standards Institute (ANSI). Association Computing
- Machinery, 1982. (ISBN: 0-89791-084-2; $28.00/paper text)
-
- Resources in Ada. New York: ACM, 1990. (ISBN: 0-89791-374-4; $44.95x/paper
- text)
-
- Simulation in Ada (ESC '85). (SCS Simulation Series) (ISBN: 0-317-60956-4;
- $12.00/trade)
-
- PUBLISHERS
-
- Addison-Wesley Publishing Co. (Subsidiary: Benjamin-Cummings), Route 128,
- Reading, MA, 01867, 1-800/447-2226.
-
- Bantam Professional Books, 666 Fifth Avenue, New York, NY 10013, 212/765-6500.
-
- Cambridge University Press, 40 West 20th Street, New York, NY, 10011,
- 1-800/221-4512.
-
- IEEE Computer Society Press, 10662 Los Vaqueros Circle, Los Alamitos, CA
- 90720, 1-800/272-6657.
-
- McGraw-Hill, Inc., 11 West 19th Street, New York, NY 10011, 1-800/842-3075 or
- 1-800/338-3987.
-
- Prentice-Hall, Prentice-Hall Bldg., Sylvan Avenue, Englewood Cliffs, NJ 07632,
- 201/767-5937.
-
- Silicon Press, 25 Beverly Road, Summit, NJ 07901, 908/273-8919.
-
- Springer-Verlag, 815 De La Vina, Santa Barbara, CA 93101, 1-800/SPRINGER or
- 212/460-1500.
-
- Tab Books (Division of McGraw-Hill), 113311 Monterey Avenue, Blue Ridge
- Summit, PA 17214, 1-800/233-1128, or 717/794-2191.
-
- Van Nostrand Reinhold, 115 Fifth Avenue, New York, NY 10003, 1-800/926-2665.
-
- John Wiley & Sons, Inc., 605 Third Avenue, New York, NY, 10158, 1-800/526-5368
- or 201/469-4400.
-
- **********************
-
- Copyright 1992. IIT Research Institute. All rights assigned to the U.S.
- Government (Ada Joint Program Office). Permission to reprint this flyer, in
- whole or in part, is granted, provided the AdaIC is acknowledged as the
- source. If this flyer is reprinted as a part of a published document, please
- send the AdaIC a courtesy copy of the publication.
-
- Ada Information Clearinghouse (AdaIC)
- P.O. Box 46593
- Washington, DC 20050-6593
- 703/685-1477, 800/AdaIC-11, FAX 703/685-7019
- adainfo@ajpo.sei.cmu.edu; CompuServe 70312,3303
-
- The AdaIC is sponsored by the Ada Joint Program Office and operated by IIT
- Research Institute.
-
-
-