• 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 2005Ada 2012Ada 95Ada LovelaceCharles Babbage
  • Article Feb 19 '13

    Is Ada ready for mainstream embedded designs?

    Published in Embedded.com by Bernard Cole
    Embedded.com denoted one of their weekly Tech Focus issues to Ada. This is the overview article, full of links to other Ada articles (most of which have been previously featured here).
    Continue Reading
    Tags Ada 2012Embedded/Real-time
  • Press Release Feb 14 '13

    Ada 2012 : A Love Story (for geeks)

    Posted by AdaCore
    Calling all fellow software engineers (Ada geeks)! On this Valentine’s Day, AdaCore invites you to open your hearts and help share the passion for all things Ada! As so many developers know, relationships with programming languages can be a lot like romances: First there are wild infatuations and brief honeymoons filled with eager expectations. Then come realities, incompatibilities, even loveless cohabitation. So, what’s next? A remorseful search for a new relationship, or reconciliation and renewed passion? Thanks to the new ISO-approved Ada 2012 standard, our ardor for Ada is now stronger than ever! Come join the conversation: Let us know why and how you use Ada, and what you love about it. Visit www.ada2012.org/passion.html and share your own ‘passion’ for Ada! Also, check us out on facebook at facebook.com/adapassion.
    Continue Reading
  • Article Feb 14 '13

    Reducing the gap between design and code for critical software with Ada 2012

    Published in Embedded.com by Tucker Taft
    Describes how Ada features, including new Ada 2012 features, make it possible to describe more of the design of a system than other languages. By describing the design in safe, high-level features, it is easier to verify that the translation of the design to code has been carried out accurately, and more of this verification can be automated.
    Continue Reading
    Tags Ada 2012contract-based programmingsoftware design
  • Article Feb 4 '13

    Contract-Driven Programming Takes Specification Beyond The Stone Age

    Published in Electronic Design by Quentin Ochem
    The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured languages to object orientation, contract-based programming is providing one more abstraction to software design.
    Continue Reading
    Tags Ada 2012contract-based programmingSPARK
  • Article Jan 31 '13

    Ada 2012: say what you mean, mean what you say

    Published in Embedded.com by Daniel Bigelow
    This article on Embedded.Com explores the contract facilities of Ada 2012.
    Continue Reading
    Tags Ada 2012contract-based programming
  • Article Jan 25 '13

    Ada 2012: The Joy of Contracts

    Published in Electronic Design by Ben Brosgol
    A brief discussion of the new features in Ada 2012, with an emphasis on the contract features.
    Continue Reading
    Tags Ada 2012contract-based programmingDO-178C
  • Article Jan 17 '13

    Ada 2012 Redux

    Published in Embedded.com by Jack Ganssle
    Some questions and answers about Ada and Ada 2012 and its use in embedded systems.
    Continue Reading
    Tags Ada 2012
  • Article Dec 21 '12

    Ada 2012 language standard gets ISO approval

    Published in EE Times
    EE Times covers the completion of the Ada 2012 Standard.
    Continue Reading
    Tags Ada 2012
  • Press Release Dec 18 '12

    Ada 2012 Language Standard Approved by ISO

    Posted by Ada Europe, ARA

    Language revision adds contract-based programming, multicore support, and other advanced features

    GENEVA, Switzerland, December 18, 2012 – The Ada Resource Association (ARA) and Ada-Europe today announced the approval and publication of the latest version of the Ada programming language by the Geneva-based International Organization for Standardization (ISO). The language revision, known as Ada 2012, was under the auspices of ISO/IEC JTC1/SC22/WG9 and was conducted by the Ada Rapporteur Group (ARG) subunit of WG9, with sponsorship in part from the ARA and Ada-Europe. The formal approval of the standard was issued on November 20 by ISO/IEC JTC 1, and the standard was published on December 15.

    Read the full release.

    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2021
    Jun 7-11, 2021 Virtual (was Santander Spain)

View All Events




AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada constructs not found in C/C++
  • Ada Overview
  • Comparing “Strong Typing” in Ada, C, and C++
  • Runtime overhead of Ada programs
  • Where did those Ada OOP features come from?
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2021 Ada Resource Association Site Map | Contact Us