• 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 Nov 5 '10

    SofCheck CTO Tucker Taft presents at SATE 2010

    Posted by SofCheck
    Most static analysis tools are operating after the fact. The SATE experience, with struggles to find all the code, recreate the compiler context, etc., illustrates how painful this can be. To achieve wide-spread usage of static analysis, it seems clear that the tools need to become more tightly integrated with the compiler. The Green Hills Double Check and the AdaCore CodePeer tools are examples of this. Ideally performing static analysis is a “one click” operation in the IDE, or just another command-line flag to the compiler and/or linker. From the user’s point of view, static analysis doesn’t want to appear as yet another tool they need to learn. It wants to appear as simply a “pickier” mode of the compiler or linker.
    Continue Reading
  • Press Release Oct 15 '10

    College uses AdaMagic to develop it’s CubeSat Lunar Lander/Orbiter project

    Posted by SofCheck
    In a NASA sponsered program set to launch in 2012, Vermont Technical College is contructing a CubeSat. The goal of the CubeSate Lunar Lander project is to develop a satellite to collect data from the moon and transmit the data back to Vermont.
    Continue Reading
  • Press Release Sep 5 '10

    College uses AdaMagic to deploy it’s Alaskan Sea Ice Buoy

    Posted by SofCheck
    In a NASA sponsered program, Vermont Technical College has constructed remote sensing buoys for deployment on the Arctic sea ice north of Alaska. The buoys gather environmental data and transmit that data back to home base via the Iridium satellite network. This data will then be used to refine models of ice movement.
    Continue Reading
  • Press Release Jun 30 '10

    SofCheck CTO Tucker Taft presents at Ada Europe 2010

    Posted by SofCheck
    Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail: Parallel Specification and Implementation Language
    Continue Reading
  • Press Release Jun 16 '06

    Boeing Selects SofCheck’s Error Detection Technology for Quality Assurance and Testing of Advanced Avionics System

    Posted by SofCheck
    SofCheck Inspector™ for Ada finds flaws early in the development process, assuring quality of today’s complex, mission critical applications, like those used in transportation, finance, communications and health care.
    Continue Reading
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • ARG
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

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