• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Article Apr 9 '13

    Ada 2012: Ada With Contracts

    Published in Dr. Dobbs by Robert Dewar
    This article is a tour of the new contract features in Ada 2012.
    Continue Reading
    Tags Ada 2012contract-based programming
  • 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 Jun 22 '12

    C++11 and Ada 2012 – renaissance of native languages?

    Published in Electronic Design by Quentin Ochem
    Both C++ and Ada have been undergoing major revisions, resulting in the almost synchronized releases of C++ 11 and Ada 2012. This article describes the most notable additions to the two languages, and show how they relate one to the other.
    Continue Reading
    Tags Ada 2012contract-based programming
  • Article May 31 '12

    Ada Offers Advantages Over C And C++

    Published in Electronic Design by William Wong
    This article describes some areas where Ada’s built-in language features are superior to what’s available in C and C++.
    Continue Reading
    Tags Ada 2012contract-based programming
  • 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
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • 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-2023 Ada Resource Association Site Map | Contact Us