• 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 Apr 9 '13

    A new Embedded Ada book

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle describes and discusses the McCormick, Singhoff, and Hugues book on embedded programming in Ada, suggesting that embedded programmers should read it, regardless of which language they currently use. (He calls it “new”, but it’s been around a while, having an April 2011 publication date and it’s been posted here for a while.)
    Continue Reading
    Tags Ada 2005Embedded/Real-time
  • Blog Apr 8 '13

    Ada inflitrates strongSwan

    by brukardt

    The popular strongSwan open source IPsec VPN project now makes use of Ada.

    The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.

    For more, see the project website at http://www.codelabs.ch/tkm/.

    Read Blog Entry
  • Press Release Mar 12 '13

    Atego Releases New Version of Atego ApexAda Developer for Ada 2005

    Posted by Atego
    Atego™, launches a new version of Atego ApexAda™ Developer Enterprise Edition with Ada 2005 support. Atego ApexAda Developer 5.0 is a major new release with complete support for the language features in Ada 2005. It passes all available Ada Conformity Assessment Test Suite (ACATS) tests applicable for native code compilation and execution. The Atego ApexAda Developer product provides a complete solution for editing, compiling, debugging, testing, managing, and executing even the most complex and challenging Ada applications on UNIX and Linux-based operating systems.
    Continue Reading
  • Blog Mar 9 '13

    Site updates

    by brukardt
    There recently have been some questions about how often the pages here are updated. We try to verify the information on the pages at least twice per year, and of course we add information as it becomes available. For instance, today we added a couple of free libraries (OpenGLAda and Yami4) that we had previously unintentionally left out. If you find any stale information on our site, please use the contact page to tell us about it.
    Read Blog Entry
  • Blog Feb 28 '13

    Updated ARA Edition of the Ada 2012 Rati...

    by brukardt

    An updated 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 six 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. Newly added material includes discussions of new features related to iterators and storage pools. We expect that additional chapters will be added to this edition roughly 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 Ada 2012 standard for detailed language rules.

    Read Blog Entry
  • Press Release Feb 26 '13

    AdaCore Releases GNAT Pro Safety-Critical for ARM Processors

    Posted by AdaCore
    AdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
    Continue Reading
  • 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
previous12345678910111213141516171819202122232425262728293031next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
AdaCore View All Sponsors

Upcoming Events

  • Ada-Europe 2020
    Jun 8-12, 2020 Santander, Spain

View All Events

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-2020 Ada Resource Association Site Map | Contact Us