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

Ada Resource Association

News and resource for the Ada programming language

  • 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
  • Article May 25 '12

    C Programmers, Time To Try Ada

    Published in Electronic Design by William Wong
    A discussion of some of the built-in advantages of Ada 2012 over C.
    Continue Reading
  • Article Sep 13 '11

    Singo Solution use Ada to build their Blaze Call Management System

    In 2005, Singo realized that, in order to differentiate itself in the marketplace, it needed to develop a robust, reliable and revolutionary platform for the call-center industry. The result was the Blaze Call Management System: a comprehensive, scalable, web-enabled VoIP dialing platform that manages customer interactions via phone lines and a variety of other electronic methods of communication.
    Continue Reading
  • Article Sep 13 '11

    High-integrity OOP with Ada series Part 3

    Published in EE Times Design by Ben Brosgol
    Part 3 of this three-part article explains how Ada offers to help developers meet high integrity challenges in object-oriented programming .
    Continue Reading
  • Article Sep 13 '11

    High-integrity OOP with Ada series Part 2

    Published in EE Times Design by Ben Brosgol
    Part 2 of this three-part article summarizes the main elements of Ada’s object-oriented programming model. This article is based on object orientation features found in versions of the language up to and including Ada 2005.
    Continue Reading
  • Article Sep 13 '11

    High-integrity OOP with Ada series Part 1

    Published in EE Times Design by Ben Brosgol
    Part 1 of this three-part article reviews the basics of object-oriented programming and summarizes the challenges it presents for high-integrity programming.
    Continue Reading
  • Article Sep 13 '11

    Should we put up with software that doesn’t work?

    Published in Military Embedded Systems by Robert Dewar
    We are used to software that dismally fails. What is surprising is that we accept this as reasonable. It is time to stand up and say we are not going to put up with this anymore. There is no excuse for junk software.
    Continue Reading
  • Article Sep 13 '11

    Safety in Medical Device Software: Questions and Answers

    Published in Electronic Design by Ben Brosgol and William Wong
    Software is playing an expanding role in modern medical devices, raising the question of how developers, regulators, medical professionals, and patients can be confident in the devices’ reliability, safety, and security. Software- related errors in medical equipment have caused people’s deaths in the past, so the issue is not simply theoretical.
    Continue Reading
  • Article Dec 3 '10

    Mission: Critical for nano-satellites

    Published in Aerospace Engineering and Manufacturing
    Professors and students at Vermont Technical College are using AdaCore’s GNAT Ada development environment and Altran Praxis’ SPARK tools to implement two NASA-sponsored programs, including a CubeSat.
    Continue Reading
    Tags Ada 2005SPARK
previous123456789next
  • 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



AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • 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