|
|
|
Ada texbooks are organized by type:
- Programming in Ada 2005
John Barnes
jgpb@jbinfo.demon.co.uk
ISBN-13: 978-0-321-34078-7
Ada has carved itself a niche in the safety-critical/embedded/real-time areas.
It is the language of choice in application areas where reliability, long term
maintainability and similar features are very important. Typical of such areas are
defense embedded systems, railway signalling, air traffic control and so on.
This latest edition of the highly successful Programming in Ada
has been fully updated to the latest version of the language: Ada 2005.
- Concurrent and Real-Time Programming in Ada
Alan Burns,
University of York
burns@cs.york.ac.uk
Andrew J. Wellings
University of York
andy@cs.york.ac.uk
ISBN-13: 978-0-521-86697-2
Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language.
It is intended for use in large, long-lived applications where reliability and efficiency
are essential, particularly real-time and embedded systems. In this book, Alan Burns and
Andy Wellings give a thorough, self-contained account of how the Ada tasking model
can be used to construct a wide range of concurrent and real-time systems. This
is the only book that focuses on an in-depth discussion of the Ada tasking model.
Following on from the authors' earlier title Concurrency in Ada,
this book brings the discussion up to date to include the new Ada 2005 language
and the recent advances in real-time programming techniques. It will be of value
to software professionals and advanced students of programming alike.
- Ada Plus Data Structures: An Object Oriented Approach, Second Edition
Nell Dale, PhD, University of Texas, Austin, Texas,
John W. McCormick, University of Northern Iowa, Iowa
mccormick@cs.uni.edu
ISBN-13: 978-0-763-73794-8
Ada Plus Data Structures is the most up-to-date, student-friendly Ada text
available. Using the newly updated Ada 2005, the text introduces and discusses
such familiar topics as strings, sets, stacks, queues, lists, trees, graphs, and
much more. The recurring theme throughout the text is modeling with levels of
abstraction, presenting each class from three different perspectives: their
specification, their abstraction, and their implementation. Using this approach,
the authors stress computer science theory and software engineering principles
including information hiding, data encapsulation, data abstraction, stepwise
refinement, and visual aids.
- Ada as a Second Language
Norman H. Cohen
IBM, Inc.
ncohen@watson.ibm.com
ISBN: 0-07-011607-5
This revision incorporates the latest changes in the new standard of Ada language
and continues in the tradition of excellence in its careful and thorough treatment
of Ada features. More attention in this edition is given to object-oriented
programming and program verification. A comprehensive reference for professional programmers.
- Programming in Ada 95, 2nd Edition
John Barnes
jgpb@jbinfo.demon.co.uk
ISBN: 0-201-34293-6
This is the Ada 95 version of a well established Ada textbook. This edition
includes a number of complete programs which illustrate many features of Ada
95. The CD include the ObjectAda compilation system, the Rationale for Ada
95, the Reference Manual for Ada 95 as well as extended versions of the
program examples. The text of the latest reprint includes material relating
to the 2001 Corrigendum.
This book is also available in French. ISBN: 2-7117-8651-X
- Ada Distilled (.pdf format)
Richard Riehle
This book is aimed at experienced programmers who want to learn
Ada at the programming level. It summarizes some key features of
the Ada language that are essential for getting started. Think of this a
quick-start book, one that enables the experienced programmer to get into
the Ada language quickly and easily.
The source code for the example programs of the book can be downloaded
here.
- Ada95: The Craft of Object Oriented Programming
John English
Senior Lecturer
Dept. of Computing
University of Brighton
je@brighton.ac.uk
This book is a beginner's introduction to Ada 95. It uses an example-driven
approach that gradually develops small programs into large case-study type
programs. The focus of this book is on using object-oriented approaches to write
maintainable, extensive programs. Important and unique Ada features such as
exception handling, user-defined types, procedures, functions, and packages are
covered early in the text.
Download the book and examples in html. .zip
or .tar.gz
Download the examples only. .zip
or .tar.gz
Visit the home site for
this book.
- Ada 95: The Lovelace Tutorial
David A. Wheeler
Institute for Defense Analysis
Computer and Software Engineering Division
dwheeler@ida.org
Lovelace provides an introduction to Ada 95. Although the reader is assumed to have
a basic understanding of programming, no prior exposure to Ada is assumed and all
the basics of the language are covered. The book comprises eighteen chapters each
of which is composed of short sections designed to cover a small number of key
concept and to provide a test question to check the reader's understanding of the
concepts covered. Each chapter then concludes with a small quiz to help ensure that
the reader has grasped the principles covered in the chapter. One of Ada 95's new
features, its object-oriented facilities, is covered in depth, and all of the
essential features of Ada programming are covered thoroughly. In Ada 95 significant
enhancements were also added to Ada's ability to interface with other programming
languages (such as C, Fortran, and Cobol) and these are covered in one chapter.
Visit the Lovelace Tutorial homesite
or the author's home page. Inside views of
18 pages of The Lovelace Tutorial are
also available on Amazon.com.
- Concurrency in Ada
Alan Burns,
University of York
burns@cs.york.ac.uk
Andrew J. Wellings
University of York
andy@cs.york.ac.uk
and John Barnes
jgpb@jbinfo.demon.co.uk
ISBN: 0-521-62911-X
ISBN-13: 978-0-521-62911-9
A major feature of the Ada programming language is the facilities it provides for
concurrent programming. Alan Burns and Andy Wellings provide here a thorough and
self-contained account of concurrent programming in Ada, and show even beginning
users how to harness the full power of the whole language. This is the first book
which deals with concurrent features in the new Ada standard. Every Ada programmer,
whether novice or expert, will find it essential reading and a primary reference work.
- Programming and Problem Solving with Ada 95
Nell Dale, PhD, University of Texas, Austin, Texas,
Chip Weems, University of Massachusetts, Amherst, Massachusetts,
John W. McCormick, University of Northern Iowa, Iowa
mccormick@cs.uni.edu
ISBN-13: 978-0-763-70792-7
Programming and Problem Solving with Ada 95 provides a solid introduction
to programming while introducing the capabilities of Ada 95 and its syntax without
overwhelming the student. The book focuses on the development of good programming
habits. This text offers superior pedagogy that has long defined computer science
education, including problem solving case studies, testing and debugging sections,
quick checks, exam preparation, programming warm-up exercises, and programming
problems. The extensive coverage of material in such a student-friendly resource
means that more rigor, more theory, greater use of abstraction and modeling, and
the earlier application of software engineering principles can be employed.
- Object Oriented Programming in Ada95 (.pdf format)
Michael A. Smith
School of Computing
University of Brighton
M.A.Smith@brighton.ac.uk
This book is aimed at students and programmers who wish to learn the object-oriented language Ada 95. The
book illustrates the language by showing how programs can be written using an object-oriented approach. The
book treats Ada 95 as a language in its own right and not just as an extension to Ada 83.
Visit the author's web site.
- Ada 95: Problem
Solving and Program Design
Michael B. Feldman,
George Washington University
mfeldman@seas.gwu.edu
and Elliot B. Koffman,
Temple University
koffman@cis.temple.edu
ISBN: 0-201-36123-X
In this third edition, educators Michael Feldman and Elliot Koffman continue to
refine and enhance their balanced presentation of modern programming concepts and
Ada 95 language capabilities. Students with no prior programming experience will
begin to program with this interesting and powerful, yet flexible language that
is used in the Boeing 777 and Airbus 340, the International Space Station, the
European high-speed rail system, and many other major projects around the world.
- Rendezvous with Ada 95
David Naiditch
ISBN: 0-471-01276-9
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. Rendezvous With Ada 95
offers fully integrated coverage of all the language's new features and characteristics.
- Software Construction Data Structures with Ada 95
Michael B. Feldman,
George Washington University
mfeldman@seas.gwu.edu
ISBN: 0-201-88795-9
Feldman's book introduces data structures concepts and their applications using this powerful,
yet flexible language. Through the use of generic abstract data type (ADT) packages,
this text gives a realistic view of system development using reusable components.
With an informal writing style, he leads students from subject to subject finding
effective, maintainable, and portable solutions to programming problems.
- Ada for Software Engineers
M. Ben-Ari
"Ada for Software Engineers" teaches the language as it is used in practice through
relatively large case-studies such as a discrete event simulation. The presentation
emphasizes the features for object-oriented and systems programming that were
introduced in Ada 95. A graduated introduction to the terminology and style of the
language reference manual makes this an ideal textbook for practicing software engineers.
This book is now out of print, but it is available electronically for non-commercial
use at the author's web site.
- High Integrity Software - the SPARK Approach to Safety and Security
John Barnes
jgpb@jbinfo.demon.co.uk
ISBN: 0-321-13616-0
The SPARK language comprises a subset of Ada enchanced by embedded
anotations written as Ada comments. The annotations increase the detail of
the specification of interfaces and can optionally include proof statements.
The various SPARK tools analyse the program plus annotations and ensure that
it conforms to them. Spark is widely used in the highest level of
safety-critical and security-critical systems. The book includes a CD
containing demonstration versions of the main tools.
The SPARK language and tools are designed to support the construction of
“high integrity” systems, where safety and security are paramount.
SPARK has been applied successfully in diverse applications including railway
signalling, smartcard security and avionics systems in the Lockheed C130J and
EuroFighter “Typhoon” projects. John Barnes, in his clear and urbane
style, combines a full description of SPARK with practical advice on using the
SPARK tools. Numerous examples and case studies show readers how they can create
more reliable software.
|
Sponsored by the following ARA member companies:
|  |
