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

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Oct 5 '12

    Rockwell Collins Develops SecureOne™ with
 SPARK Pro and GNAT Pro High-Security

    Posted by AdaCore
    AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne™ Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.
    Continue Reading
  • Press Release Sep 18 '12

    ARA Unveils New Ada 2012 Microsite

    Posted by ARA

    Website dedicated to all things Ada 2012 now up and running!

    OAKTON, Va., September 18, 2012 – The Ada Resource Association (ARA) today announced the completion of a dedicated Ada 2012 website designed to be the “destination” for all things Ada 2012. The site includes a variety of short, 3- to 5-minute films of high-level Ada experts talking about the new features of the latest version of Ada, and providing historical context. In addition, the site hosts a variety of learning materials, including tutorials, webinars, white papers, and links to software downloads. In the coming months, the site will also provide a collection of short, candid video interviews with programmers talking about what they love about Ada, as well as a means for site visitors to ‘join the conversation.’

    “We created the Ada 2012 microsite to not only provide a visually provocative way to educate people about all the new features of this remarkable language, but also to demonstrate the passion of Ada users worldwide,” said Ben Brosgol, ARA President. “Special thanks go out to Gary Matoso of Vignette Creative for his exceptional site design work and video editing, to all the ARA and ARG members who provided input for the site, and especially to the die-hard Ada devotees for their continued love and support of the Ada language. In a world where our lives depend on software more and more every day, Ada is more relevant than ever.”

    About Ada 2012
    Ada 2012 is the latest in a series of Ada language revisions 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. Ada 2012 brings significant enhancements to Ada, most notably in the area of “contract-based programming.” Other new features in Ada 2012 include enhancements to the containers library, additional expressiveness through features, such as conditional expressions and more powerful iterators, and support for multicore platforms (task affinities, and the extension of the Ravenscar profile – standardized in Ada 2005 as an efficient and predictable tasking subset for high-integrity real-time systems – to multiprocessor and multicore environments). Combined, these new features establish the Ada programming language as the benchmark for developers requiring the highest levels of reliability, safety, and security. For more information about Ada 2012 visit www.ada2012.org.

    About the Ada Resource Association
    The Ada Resource Association (ARA) is a non-profit organization chartered to support the continued evolution of the Ada language and its infrastructure, to serve as a source of information about Ada and its usage, and to promote Ada as a language for effective software engineering. To these ends the ARA maintains the Ada Information Clearinghouse website www.adaic.org and has provided funding for the development and maintenance of the Ada language standard and the Ada Conformance Assessment Test Suite. For information about the ARA, including sponsorship opportunities, please visit www.adaresource.com. The ARA is headquartered in Oakton, VA (US).

    Organization Contact

    Ada Resource Association
        Ben Brosgol, ARA President

        brosgol@adacore.com

    Ada Resource Association
        Jessie Glockner
        Rainier Communications
        Tel: +1-508-475-0025 x140
        jglockner@rainierco.com
        http://twitter.com/JessieGlockner

    Continue Reading
  • Article Sep 10 '12

    Ada gets a makeover

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle writes about Ada 2012.
    Continue Reading
    Tags Ada 2012
  • Blog Jul 31 '12

    Ada speaks many languages

    by AdaCore

    We were recently contacted by Jovana Milutinovich asking if she could translate the Why Ada? archive page into Serbo-Croatian. Her work can be read here:

    http://science.webhostinggeeks.com/zasto-ada

    Read Blog Entry
  • Press Release Jul 30 '12

    First “Ada Way” Award Winners and “Try and Beat Me” Challenge

    Posted by Ada Europe

    Ada-Europe announced that the winners of the first “Ada Way” programming contest were Ricardo Aguirre Reyes, Andrea Graziano, Marco Teoli, and Alberto Zuccato.

    In addition, Ada-Europe announced a follow-on challenge named “Try and Beat Me”. Student teams are invited to submit versions of the programming challenge that improve upon the original winning submission.

    For more information, see the challenge’s website: http://www.ada-europe.org/AdaWay

    Continue Reading
  • Press Release Jul 19 '12

    Atego acquires IBM Rational Apex Ada Developer Product Family

    Posted by Atego
    Atego has entered into an agreement with International Business Machines Corporation to acquire the IBM Rational Apex® Ada Developer product family, including the IBM Rational Apex integrated development environment. Atego will acquire the Rational Ada Developer product line, including all products and intellectual property. The IBM development and support staff responsible for IBM Rational Ada Developer will join Atego. Atego will rebrand the product family to’ Atego ApexAda Developer’ and the core IDE product ‘Rational Apex’ to ‘Atego Apex’.
    Continue Reading
  • Blog Jul 4 '12

    AdaMagica: Smart_Pointers with Ada 2012 ...

    by jayre

    Now that GNAT GPL 2012 implementing full Ada 2012 is out, reference counted access types use the new aspect Implicit_Dereference, which greatly simplifies the syntax. (The previous Ada 2005 implementation is also availible.)

    This package provides a completely safe implementation in that it prevents deallocation by the user; deallocation is under sole control of the implementation. (It’s however not task-safe.)

    Full documentation and test programs show how to use the package.

    http://www.christ-usch-grein.homepage.t-online.de/Ada/Smart_Pointers.html

    Read Blog Entry
  • Blog Jul 4 '12

    New Ada 2012 Rationale Edition available

    by jayre

    A new edition of the Ada 2012 Rationale is available at:

    http://www.ada-auth.org/standards/rationale12.html

    This edition of the Rationale combines the first three chapters of the Rationale into a single document, fixes a number of errors, adds an index, and adds discussion of various details of Ada 2012 that were changed since the original publication of these chapters in the Ada User Journal. We expect that additional chapters will be added to this edition about every three months.

    The Rationale for Ada 2012 provides an overview of new Ada 2012 features, examples of their use, compatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. This is an unofficial description of the language; refer to the proposed Ada 2012 standard for detailed language rules.

    Randy Brukardt, ARG Editor

    Read Blog Entry
  • 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
  • Press Release Jun 21 '12

    SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform

    Posted by AdaCore
    SmartSide has adopted the Ada programming language and GNAT Pro for the implementation of their Smart Devices platform. SmartSide provides Smart Metering and Smart Grid management solutions which are used to optimize Smart Grid networks.
    Continue Reading
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
Altran_2019_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