Home
Ada Advantages
Learn Ada
Resources
ARA Community
Site Map
|
Contact Us
Ada Resource Association
News and resource for the Ada programming language
Article
Feb 19 '13
Comprehensive Bibliography of Ada Language Publications
Published
by Nelson H. F. Beebe
Nelson H. F. Beebe at the University of Utah has used tools to search the collected bibliographies of over 784,000 publications to create a bibliography of publications on the Ada Programming Language, Charles Babbage, and Ada Lovelace. This bibliography is updated frequently, and contains (as of this writing) over 1500 entries. Additional versions and more information can be found at
http://www.math.utah.edu/pub/tex/bib/index-table-a.html#adabooks
; the tools used can be found at
http://www.math.utah.edu/pub/bibtools.html
. The bibliography doesn’t include articles in the Ada User Journal or SIGAda’s Ada Letters, these have their own bibliographies,
http://ftp.math.utah.edu/pub//tex/bib/adauserj.pdf
and
http://ftp.math.utah.edu/pub//tex/bib/sigada.pdf
, respectively.
Download PDF
Tags
Ada 2005
Ada 2012
Ada 95
Ada Lovelace
Charles Babbage
Press
Articles
Events
Filter by Tags
Ada 2005
Ada 2012
Ada 95
Ada Lovelace
Charles Babbage
contract-based programming
DO-178C
Embedded/Real-time
Formal Methods
Formal Verification
Multicore
Safety
Security
software design
SPARK
Static Analysis
ARA Sponsor Spotlight
View All Sponsors
Upcoming Events
Ada-Europe 2024
Jun 11-14, 2024
Barcelona, Spain
View All Events