• 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 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
  • 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
previous123456789101112131415161718192021222324252627282930313233next
  • Press
  • Articles
  • Events
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