Library Database Search >
Flyers & Fact Sheets >
Journals & Magazines >
Reports & Papers >
Ada 95 Textbooks: Brief Reviews
A review of recent Ada publications by the SIGAda Education Working Group and edited by Michael Feldman.
A searchable bibliography of Ada-related papers and articles.
HBAP Book List
Annotated list of Ada textbooks, and short reviews of Ada 95 books.
RAISE - Rigorous Approach to Industrial Software Engineering
Contains references to titles such as "Automatic Generation of Ada Code with RAISE Formal Method," and "The Viability of Applying RAISE to Ada Projects in Competitive Bid Companies."
Annotated Bibliography of RESOLVE/Ada Research
Information on handbooks, on-line archives, and tools.
Nearly 20 books on Ada 95 available through this on-line bookstore.
< Virtual Library
Last Updated: 07/12/99