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

Ada Resource Association

News and resource for the Ada programming language

  • Article Mar 19 '14

    ARMing Ada

    Published in Electronic Design by William Wong
    William Wong discusses using Ada on a BeagleBone Black board, using an ARM Cortex-8 processor.
    Continue Reading
    Tags Ada 2012Embedded/Real-timeSafety
  • Article Aug 4 '13

    SPARK 2014: Why I am backing a predictable winner

    Published in Emebedded.com by Stuart Matthews
    Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
    Continue Reading
    Tags Ada 2012SafetySecuritySPARKStatic Analysis
  • Article Jun 3 '13

    Developing Secure Code Using SPARK

    Published in Embedded.com by Ben Brosgol
    This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.
    Continue Reading
    Tags Formal VerificationSPARKStatic Analysis
  • 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
  • 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
  • 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
previous12345678910next
  • 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

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