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

Ada Resource Association

News and resource for the Ada programming language

  • 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 Sep 1 '10

    DO-178C nears finish line, with credit for modern tools and technologies

    Published in Avionics Intelligence by Charlotte Adams
    After five years, RTCA and EUROCAE, the U.S. and European avionics standards organizations, are nearing the finish line in updating DO-178B, the bible for developers of safety-critical software. A cast of 1,000-plus people have observed or participated in the process and about 100 people show up at every meeting, according to one member of RTCA Special Committee 205 (SC-205). The industry expects the final package — DO-178C — to be released in the first quarter of 2011 and be mandated six to nine months after ratification.
    Continue Reading
    Tags Ada 2005Ada 95DO-178CSafety
  • Article Apr 7 '10

    Expressive vs. permissive languages: Is that the question?

    Published in Embedded.com by Yannick Moy
    The ease with which code is analyzable depends of the language type you use. Static analysis is becoming mainstream, with mature bug-finding tools for C and Java, including products such as Coverity Prevent, Grammatech CodeSonar, and Fortify SCA. These products limit the level of “noise” (false warnings) inherent to such tools to a minimum. However, by carefully selecting those cases for which they report a problem, these bug-finders hide the fact that they are largely uncertain about the overall correctness of the program.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 16 '10

    Integrating static analysis with a compiler and database

    Published in Embedded Computing Design by Tucker Taft
    Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 15 '10

    Executing software contracts

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Static Analysis
  • Article Feb 4 '09

    Why aren’t developers interested in Ada?

    Published in Embedded.com by Jack Ganssle
    Jack Ganssle at Embedded.com wonders Why aren’t developers more interested in Ada?
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95
  • Article Feb 2 '09

    Ada Take Two

    Published in Embedded.com by Jack Ganssle
    A follow-up piece by Jack Ganssle from his original article on the adoption of Ada which appears on Embedded.com.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Embedded/Real-time
  • Article Apr 6 '08

    The A-Z of Programming Languages: Ada

    Published in TechWorld by Naomi Hamilton
    Naomi Hamilton at TechWorld chats with S. Tucker Taft, Chairman and CTO of SofCheck. Taft has been heavily involved in the Ada 1995 and 2005 revisions, and still works with the language today as both a designer and user.
    Continue Reading
    Tags Ada 2005Ada 2012Ada 95
  • Article Mar 1 '08

    Robotics with Ada95

    Published by Daniel Ramirez
    Ada95 is a standardized object-oriented programming language that was developed in the late 1970s by the U.S. Department of Defense. Today, engineers like Daniel Ramirez use the highly structured language to increase the safety and reliability of their new robotics applications. (Note: article is now behind a pay wall.)
    Continue Reading
    Tags Ada 2005Ada 95Embedded/Real-time
  • Article Feb 26 '08

    There’s nothing new about multicore mania

    Published in EE Times by Robert Dewar

    The recent introduction of multicore architectures has caused a surprising amount of uproar. Multiprocessing has been around for decades. The original CDC 6000, for instance, was an interestingly designed multiprocessor machine first put into use in the early 1960s.

    Another important player in multiprocessing is Ada. Even the original Ada 83 version of the language has a well-developed notion of multithreading (termed “tasking” in Ada) with high-level constructs that are easy to use and analyze. The subsequent Ada 95 and Ada 2005 versions of the language substantially improved and extended this functionality, and decades of experience have been accumulated in using Ada to deal with the problem of writing programs that run effectively on machines using more than one processor.

    Continue Reading
    Tags Ada 2005Ada 2012Ada 95Multicore
previous12next
  • 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