• 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 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
  • 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
AdaCore 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