Header Links
What's New

October 1, 2010

September 1, 2010

August 20, 2010

July 2, 2010

June 11, 2010

  • Updated: Draft 9 of Ada 2012 was posted. It includes some of the changes that are expected to be included Amendment 2 to Ada 95, including bounded container forms.

April 13, 2010

  • New:The new Embedded.com article Expressive vs. permissive languages: Is that the question? explores the question of how programming language design affects the ability of tools to do static analysis. Not surprisingly, Ada comes out well in this comparison.
  • News: AdaCore releases the new GNAT Pro High-Integrity Edition Version 6.3 for Wind River VxWorks MILS Platform. This is the first major release of the GNAT Pro High-Integrity Edition for MILS. The High-Integrity Edition for MILS (Multiple Independent Levels of Security) product is a specialized security application development environment supporting the creation and security certification of applications at the high end for EALs (Evaluation Assurance Levels) 5 through 7, as well as applications at the lower bounds for EALs 1 through 4.
  • News: Rockwell Collins selects SPARK Pro for selected projects that have stringent security and information assurance requirements.

April 13, 2010

March 24, 2010

  • News: AdaCore and Altran Praxis released SPARK Pro 9. This new release of the SPARK toolset provides increased security functionality as well as support for the latest SPARK2005 language profile.
  • New: Tidorum's Bound-T program analyzer is an Ada 2005 program; read about it in a new Ada at Work article.

February 22, 2010

February 19, 2010

  • News: 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.

February 9, 2010

  • News: AdaCore releases GNAT Pro 6.3. A new major release of the GNAT Pro environment is now available, including on several new platforms like Windows 7 and Mac OS X Snow Leopard.

January 26, 2010

  • News: AdaCore releases GNAT Pro for PikeOS. The GNAT Pro High Integrity Edition for DO-178B is now available for PikeOS, SYSGO's safety-critical real-time operating system (RTOS).

January 12, 2010

  • News: AdaCore launches the CodePeer source code analysis tool. The tool was developed in association with SofCheck.

December 17, 2009

  • New: The Ada subpage on Reddit provides community recommended to news, programming tips, and more using a community-based approach.

December 14, 2009

  • News: The ARA announces new sponsorship levels, including an affordable $500/year sponsorship. Now any size organization can sponsor the ARA and its work.

November 23, 2009

  • New: An Ada version of SinelaboreRT has entered beta testing. This tool generates Ada code from UML diagrams.
  • New: Canta is an open source programs for Windows, written in Ada, that takes on the sometimes impossible job of helping someone to learn to sing in tune.

December 11, 2009

  • News: Newsponsorship levels for the Ada Resource Association have been announced. The new levels make it possible for any Ada organization to help support the ARA.

October 7, 2009

  • News: Three new AdaCore press releases:
    Praxis and AdaCore launch SPARK GPL
    GNAT Pro is now available for LynxOS 5.0
    A new release of the GNATbench Eclipse plug-in supports Wind River Workbench 3.1

September 10, 2009

  • News: General Dynamics UK has selected the SPARK language for a major new Royal Navy helicopter project. SPARK (a high-integrity Ada subset) has been selected for the Stores Management System, which controls the deployment of weaponry from the AW159 Lynx Wildcat helicopter. This safety-critical system will be developed and verified to the highest level of Ministry of Defence safety certification.
  • New: A package for parsing configuration files and retrieving keys of various types is available on Sourceforge.

September 3, 2009

July 10, 2009

  • Updated: Draft 8 of Ada 2005 R2 was posted. It includes some of the changes that are expected to be included Amendment 2 to Ada 95, including bounded container forms.

July 1, 2009

June 24, 2009

May 27, 2009

April 9, 2009

March 30, 2009

March 26, 2009

  • New: AdaCore and Praxis announce SPARK Pro.
  • New: Midoan Software Engineering Ltd. announces the availability of Mika, an automatic test generator for Ada code.
  • New: SPARK Sure offers a number of tutorials on and tools for using SPARK.
  • Updated: The RAPID GUI tool has been updated and moved to a new repository.

March 20, 2009

  • Updated: Draft 7 of Ada 2005 R2 was posted. It includes some of the changes that are expected to be included Amendment 2 to Ada 95. (Ada 2005 R2 is "release 2" of Ada 2005; it is intended to be a minor freshening of the Standard.)

March 16, 2009

February 12, 2009

January 22, 2009

  • New: PLplot now has Ada bindings.

January 2, 2009

December 30, 2008

  • New: The PCSC/Ada Library is now available. PCSC/Ada provides an Ada interface for communicating with smart cards via standard PC/SC interfaces.

December 5, 2008

December 4, 2008

  • New: Draft 6 of Ada 2005 R2 was posted. This is the first public version of the changes that are expected to be included Amendment 2 to Ada 95. (Ada 2005 R2 is "release 2" of Ada 2005; it is intended to be a minor freshening of the Standard.)

November 19, 2008

  • News:Various AdaCore news items today:
    • A new version of GPS, AdaCore's graphical Integrated Development Environment has been released.
    • GNAT is now available for VXWorks MILS, a high-integrity version intended for use at the Common Criteria EAL level of 4 and above.
    • GNAT is also now available for VXWorks SMP which supports multi-core processors.

November 6, 2008

  • News: AdaCore announces versions of GNAT for ELinOS and Nucleus OS, a pair of OSes for real-time systems.
  • News: In other AdaCore news, Praxis has forms a strategic partnership with AdaCore to advance the SPARK language.
  • New: Matthews Libraries and Programs include a polynomial root finder (based on an unaccepted Ada 2005 proposal), various Mac utilities and bindings, and a game simulation.

October 14, 2008

October 1, 2008

September 29, 2008

  • News: The GNAT Academic Program now has 150 University members.
  • News: In other AdaCore news, Stephen Baird has joined the company.
  • New: Gela ASIS is a compiler-independent implementation of ASIS.
  • New: AdaWorks is an Ada 2005 framework for building business applications. (OK, it's not that new, but it's new to us.)
  • New: Ahven is an Ada 95 Unit Test Library.
  • New: SOCI-Ada is Ada database library based on the SOCI project.

July 31, 2008

  • New: Basil is a new Ada e-mail processing library.
  • Maintenance: Fixed/eliminated various dead links.

July 22, 2008

July 18, 2008

  • New: Ada Commons is a new Ada portal, based on a Wiki.
  • News: GNATPro is now available for RTX.
    RTX is a real-time development platform for Microsoft Windows.

July 2, 2008

June 12, 2008

  • New: An interview with Tucker Taft was published in Techworld as The A-Z of Programming Languages: Ada. This is a fascinating discussion with the lead designer of Ada 95 (and an active participant in the development of Ada 2005) covering many topics about programming language design and the history of Ada.
  • New: Linked the Rockwell Collins press release on the Janus cryptographic engine to our Security, as this is a SPARK project.

May 30, 2008

May 23, 2008

May 16, 2008

May 1, 2008

April 16, 2008

  • News: A new article in GCN discusses The Return of Ada. The article covers how Ada is being successfully used in various large projects where correctness is important. (And when isn't it important?).
  • News: A recent article in Circuit Cellar covers Robotics in Ada95, discussing how Ada is particularly appropriate for such applications.
  • News: AdaCore announces support for VxWorks 653. This edition is targeted to high-integrity systems.
  • News: AdaCore releases a major new version of GNATbench. Version 2.1.0 provides enhanced integration with Eclipse.

March 31, 2008

March 19, 2008

  • New: Ada does multicore now, a summary of articles on the use of Ada on multicore and multithreaded processors.
  • Added: Two textbooks co-authored by John McCormick to the Ada textbooks page, and updated several other listings with additional information and corrected links.
  • Added: Links to the videos and slides from the presentations from the Ada UK Conference 2007.

March 5, 2008

February 15, 2008

January 30, 2008

  • News: GNATcheck eases DO-178B compliance by verifying adherence to a coding standard.

January 25, 2008

January 24, 2008

January 4, 2008

  • Update: The Ada 2005 Rationale has been updated, fixing a number of errors, enhancing the index, and adding a new Postscript.

January 3, 2008

December 15, 2007

November 19, 2007

  • News: Ada helps crack WW II Crypto challenge. A German amateur used an Ada program to crack the challenge in 46 seconds.
  • News: AdaCore will release a new version of GPS their graphical Integrated Development Environment, in December 2007.
  • News: AdaCore's GNAT Pro was used in Raytheon's Ship Self-Defense System Mk 2, which was recently delivered.

October 30, 2007

October 1, 2007

  • News: Details for Ada Europe 2008 have been announced; it will be held June 16-20, 2008 in Venice, Italy.

September 28, 2007

  • Update: Ada Conformity Assessment Test Suite
    ACATS Modification List 2.6C and the associated test files have been posted. Also, the fourth development snapshot for ACATS 3.0 was posted.

September 26, 2007

September 19, 2007

September 12, 2007

June 19, 2007

May 14, 2007

  • News: Ada 2005 Becomes Official ISO Standard
    The Ada 2005 language effort has been formally completed with the publication of the Ada 2005 standard by ISO (the International Organization for Standardization).
  • News: AdaCore starts Ada Gem of Week
    The new Ada Gems series are short articles on Ada programming topics. The first gem is a discussion of limited aggregates in Ada 2005.hpot
  • News: AdaCore has joined the Eclipse Foundation as an Add-In-Provider.

May 3, 2007

  • Reminder: Ada Europe 2007 will be held June 25-29, 2007, in Geneva, Switzerland.

April 20, 2007

  • News:Praxis High Integrity Systems announces its involvement in iFACTS, a new air traffic control system in the United Kingdom. iFACTS is one of the largest new Ada projects in Europe, according to Rod Chapman of Praxis.

April 5, 2007

  • News: AdaCore announces at the Embedded Systems Conference (ESC) GNATBench 2.0, a major a major enhancement to its GNATbench Eclipse-based plug-in.
  • News: Embedded.com posted an ESC article: Ada 2005 speaks to real-time embedded applications, which talks about Ada 2005 and its potential impact on the embedded systems market.

March 30, 2007

  • News: AdaCore announces GNAT Tracker 2.0, a major overhaul of their web-based support portal.
  • Update: Ada Conformity Assessment Test Suite
    ACATS Modification List 2.6B and the associated test files have been posted. Also, the first development snapshot for ACATS 3.0 was posted.
  • Added: Links to the Ada library G2F_IO.

March 14, 2007

March 9, 2007

March 5, 2007

February 12, 2007

February 7, 2007

January 29, 2007

January 4, 2007

December 22, 2006

December 21, 2006

December 20, 2006

November 29, 2006

  • Added: Ada AutoIT, an open source binding to AutoIT, which is a test automation interface.

November 10, 2006

  • Update: The final version of the consolidated standards for Ada 2005 was posted. These documents combine the Ada 95 Standard, Technical Corrigendum 1, and Amendment 1.

November 6, 2006

October 11, 2006

September 20, 2006

September 19, 2006

September 7, 2006

  • New: A searchable online copy of the Ada and Software Engineering Library, the online version of the famous ASE CD-ROMs, has been created at the AdaIC. (The previous home of this material has gone off line.) The library is also available via FTP at Ada Belgium's site.

August 3, 2006

July 7, 2006

June 21, 2006

June 13, 2006

May 31, 2006

May 18, 2006

May 11, 2006

May 3, 2006

April 4, 2006

March 8, 2006

March 6, 2006

  • Update: Draft 16 of Ada 2005 was posted. This is a nearly finished draft of the proposed standard.

February 27, 2006

February 24, 2006

  • New: The last section of the Rationale for Ada 2005 has been posted. The last section covers compatibility issues. The Rationale provides a readable introduction to the changes to Ada 95, with extensive examples.
  • Update: Our Ada textbook listing has been updated to include two of John Barnes' widely used books.

January 27, 2006

  • New: The first portion of the Rationale for Ada 2005 has been posted. The Rationale provides a readable introduction to the changes to Ada 95, with extensive examples. Additional sections will be posted as they become available.

January 25, 2006

January 23, 2006

  • New: Posted part of the Ada 2005 Rationale on the Ada 2005 Documents page. The on-line version can be browsed here.

December 29, 2005

December 21, 2005

December 14, 2005

November 14, 2005

October 30, 2005

October 10, 2005

  • Update: Added a number of additional tools links. See the Tools Links page for details.

September 22, 2005

September 21, 2005

August 21, 2005

August 2, 2005

  • Update: Ada Textbooks
    Added a reference to the electronic version of Ben-Ari's book, “Ada for Software Engineers”

May 4, 2005

  • News: ARA Survey Launches
    The Ada Resource Association is conducting an on-line survey of Ada usage. The survey is designed to quantify the global Ada software market, and should take about 10 minutes to respond to. We thank you ahead of time for your participation.

April 21, 2005

April 11, 2005

April 7, 2005

February 21, 2005

  • Update: Added a number of additional library links. See the Library Links page for details.

January 7, 2005

December 28, 2004

December 6, 2004

  • Update: Ada Resource Association members Ada Core Technologies, Inc., and ACT Europe are pleased to introduce a common name - AdaCore - and a new logo. The companies will continue to operate as separate business entities, but the common name emphasizes the unity of the organization and also reflects its ongoing commitment to Ada.

November 1, 2004

  • News: A new Ada website, Ada Answers
    has been launched; it is dedicated to keeping developers and project managers informed about Ada.

September 9, 2004

  • New: Posted info format versions of the Ada Reference Manual and Annotated Ada Reference Manual. Our thanks to Stephen Leake for creating these versions. Find them with other versions of the ARM and AARM at Ada 95 Standards.

August 25, 2004

July 19, 2004

  • News: Ada Core Technologies' GNAT Pro High-Integrity Edition for Safety Critical ARINC 653 has been selected by Wind River to be used in the Boeing 7E7 Dreamliner Program.

April 15, 2004

  • News: The Navy has deployed a new ejector seat system for pilots, developed in Ada by Ada Core Technologies. Read all about it in "Punching Out!" in Military Aerospace Technology.

April 7, 2004

January 27, 2004

January 8, 2004

December 19, 2003

October 27, 2003

  • Added: Links to various sites:
    • McKae Technologies' DTraq Tool, a new Ada 95 data logging and analysis tool;
    • APQ, a thick binding to the PostgreSQL and MySQL databases;
    • Charles, a container library for Ada based on the C++ STL;
    • XML4Ada95, which enables parsing and serialization of XML Documents, accesing them via the DOM Inteface., and validation of them against DTDs and XML Schema;
    • CyberDanx bindings, libraries for Ada on Linux;
    • Excel Software's WinA&D, a design tool for modeling software and managing requirements, has added Ada 95 support for modeling and code generation.

September 11, 2003

  • Added: Links to Ada World, a new general information Ada web site.

September 10, 2003

July 30, 2003

  • Update: A new version of Richard Riehle's book, Ada Distilled was posted. The new version also includes a ZIP file containing the source code to the programs in the book.

July 16, 2003

  • Added: Links to PrismTech, a vendor of ORBs for Ada and other languages.

July 14, 2003

  • Added: Links to AdaGPGME, a binding to GPGME for encrypting/decrypting.

May 30, 2003

May 14, 2003

April 29, 2003

April 23, 2003

April 11, 2003

  • Update: Versions of the Consolidated Ada Reference Manual and Consolidated Annotated Ada Reference Manual with improved HTML formatting were posted. These improve formatting to add search links, work with more browsers and to index (and thus search) more accurately. No content was changed. They can be browsed or downloaded from the Ada 95 Standards page.

April 4, 2003

March 28, 2003

  • News: Aonix® Grows into Two Companies
    Aonix announced that it has split into two companies. The former Critical Systems Division (which includes the ObjectAda products) was purchased by a group of investors led by top management of the CDS division. The new company will keep the name Aonix; the remaining parts of the old Aonix will be known as Select Business Systems.

  • News: IBM completes acquisition of Rational Software
    IBM announced that it has completed its acquistion of Rational Software. Rational will become a division of IBM.

March 12, 2003

February 25, 2003

  • Added: Introducing Ada, a new article by Jim Rogers. This article gives an overview of Ada for those with little knowledge of the language.

  • Added: Shared Resource Design Patterns, a new article by Jim Rogers. This article describes various techniques for controlling access to shared resources in multi-tasking programs.

  • Update: New home page for Ada France opened. (This page is in French.)

  • Update: Linked to updated version of the Lovelace Ada tutorial.

February 20, 2003

  • News: FAA Certifies INTEGRITY® RTOS for DO-178B, Level A Use In Sikorsky S-92 Helicopter
    Green Hills Software, Inc. has announced FAA acceptance of a DO-178B, Level A, certification package for its INTEGRITY®-178B real-time operating system (RTOS) for a new avionics system aboard the Sikorsky S-92 helicopter.

  • News: I-Logix's Rhapsody 4.1 Delivers Rhapsody In Ada, The First UML Rule-Based Visual Application Development Platform
    I-Logix, Inc., has introduced Rhapsody® 4.1, the newest version of its award-winning Unified Modeling LanguageTM based application development platform. Rhapsody 4.1 delivers the Rhapsody in Ada Developer EditionTM for Ada 83 and Ada 95.

February 4, 2003

February 3, 2003

  • Added: Ada binding to Zlib
    ZLib.Ada is a thick binding to the popular compression/decompression library ZLib. It provides Ada style access to the ZLib C library.

  • Added: An Ada site written entirely in Russian
    Only for those fluent in reading Cyrillic.

  • Added: I-Logix
    Developers of embedded systems developers' tools, including Statemate MAGNUM, which uses a Motif-based GUI that automatically generates any combination of Ada.

  • Added: TNI-Valiosys
    Products for high-quality real-time software development, including SafeBuild, a comprehensive software development environment.

  • Update: Ada Recruiters Listing
    A new recruiter listing for O.U. Norman was posted today.

January 20, 2003

  • News: Embedded Systems Programming Journal Publishes Intro to Ada Article
    Ben Brosgol, one of the original Ada designers, has published an introduction to the language in a prestigious embedded systems journal.

December 28, 2002

December 3, 2002

  • News: SIGAda 2002 in Houston, Texas, Dec. 8-12
    The special interest group on Ada for the Association of Computing Machinery, or SIGAda of the ACM, is holding its annual technical conference on the object oriented programming language in Houston, Texas, on Dec. 8-12.

  • New: Ada95 Ports Legacy Code to MS Windows NT and Pentium Processor
    This experience report describes porting Ada 83 legacy code for a proprietary OS to Ada 95 and Microsoft Windows NT.

  • News: Aonix Releases ObjectAda for Linux
    Aonix is shipping its ObjectAda for Linux product.

  • News: Green Hills Boosts Embedded Safety
    Green Hills Software, Inc., announced the availability of its royalty-free INTEGRITY® 4.0 real-time operating system (RTOS) for embedded products based on the Intel x86/Pentium architecture.

  • News: Boeing Chooses Green Hills RTOS
    Boeing is using Green Hills Software's INTEGRITY-178BTM RTOS, GMART (Green Hills Minimal Ada Run-Time) and GSTART (Green Hills Safe-Tasking Ada Run-Time System), in the C-17 jet transport's navigation, mission planning, and display functions.

October 25, 2002

  • Added: To Learning Ada: A public course offering from Absolute Software in Ada 95 on 16-20 December 2002 in Carlsbad, CA. They also offer classes on object-oriented methods and other object-oriented languages.

October 20, 2002

October 19, 2002

October 17, 2002

  • New: DDC-I Offers One-day Training Nov. 13, 2002 in Tempe, Ariz.
    DDC-I's course will present the major new features in Ada 95 and how these features relate to Ada's support for data abstraction, information hiding, localization, and modularity.

  • New: TekSci's Guidance on the FAA's Civil Avionics Specification RTCA DO-178B
    Explained to maximize your project's quality, compliance and cost effectiveness. All attendees will receive a bound Training Guide, as well as samples of our process documents and FAA compliant checklists. Held Nov. 13-15, 2002.

October 1, 2002

  • New: SofCheck joins the Ada Resource Assoc.
    S. Tucker Taft is a founder and president of both SofCheck, Inc., and the ARA, which is seeing an old friend turn into the newest member of Ada software tool and compiler vendors.

September 24, 2002

September 18, 2002

  • Added: SofCheck, Inc. to Ada Development Tools. Tucker Taft, formerly of Avercom, has founded SofCheck in order to support quality-oriented software development teams. SofCheck specializes in three technology areas: the well-known AdaMagicTM Technology, Automated Bug Detection Technology, and Software Development Portal Technology

August 6, 2002

  • Added: AdaSoft, Inc., to Ada Development Tools. AdaSoft promotes the widespread use of Ada throughout government and private industry by providing software support tools that facilitate the cost effective development of major software systems.

August 5, 2002

  • News: Rockwell Collins have integrated Green Hills Software's INTEGRITY-178BTM real-time operating system (RTOS) into the Sikorsky S-92 helicopter's new highly-integrated avionics package.

  • News: Effective July 1, 2002, SGI (NYSE: SGI) and Ada Core Technologies (Ada Core), developer and maintainer of the Ada 95 GNAT Pro development environment, have entered an agreement to enable customers using systems based on the SGI® IRIX® operating system to obtain support for the Ada 95 development environment directly from Ada Core.

  • News: Pratt & Whitney have selected Aonix's ObjectAda®/RavenTM for their next generation military jet engine program. Based on the successful completion of the commercial PW6000 engine program, Pratt & Whitney will use the Aonix ObjectAda/Raven product line on the JSF F-35 program for their F135-PW-100 jet engines.

August 2, 2002

  • Added: To the list of Ada developers and software tool vendors: The employee-owned small business AdaRose, Inc., which was founded to preserve a unique engineering capability in software development, software maintenance, systems engineering and systems integration. They focus on adapting current technology to build or re-host complex systems, while providing user-friendly interfaces to maximize productivity.

July 31, 2002

  • News: F-22 Prepares for First Test Flight (from The Atlantic Journal-Constitution)
    "The first planes that will be flown by frontline Air Force squadrons are just coming down the assembly line in Marietta." The OS and software are mostly in Ada.

July 1, 2002

  • Added: Booch Components
    Simon Wright continues Dave Weller's original work of porting Grady Booch's C++ components to Ada95. Wright's employer gives him some time to dedicate to them, while Pat Rogers supplies storage space. The recently updated components are tested on the GNAT compiler.

  • Added: IPL's AdaTEST
    A software verification product that provides automated facilities for dynamic testing, coverage and static analysis, AdaTEST has been used on many safety-critical and high-integrity software development programs. It is available in two versions: the original AdaTEST product for Ada 83, and AdaTEST 95 for Ada 95.

  • Added: SCI Tools/Understand for Ada
    Understand for Ada is an interactive development environment (IDE) tool offering reverse engineering, automatic documentation, code navigation and understanding, metrics, maintenance and cross reference tool for Ada 83 and Ada 95 source code. It is designed to help engineers who have inherited large amounts of Ada legacy code, or those whose Ada projects have grown to immense size or complexity.

June 5, 2002

  • New: In a recent telephone interview with the AdaIC News, Lloyd K. Mosemann II, a senior vice president of SAIC and retired Air Force deputy assistant secretary, defined "bumper sticker management" as following rather than leading the consumer.

  • New: Aonix announces its Object Ada for Windows v. 7.2.2 update released to support more Windows operating systems.

June 3, 2002

  • New: Lloyd K. Mosemann II's speech at the Software Technology Conference 2002 includes a call for formal methods programming and a reminder to the software managers that he was an early proponent of Ada.

May 24, 2002

May 23, 2002

  • Added: Why Ada Articles:
    A link to From Extended Pascals to Ada 95 was added. If you are familiar with an extended Pascal (like Delphi, Turbo Pascal, UCSD Pascal, VAX Pascal, or many others), this article compares many Pascal extensions with their standard counterparts in Ada 95.

May 18, 2002

April 24, 2002

April 2, 2002

March 8, 2002

  • New: Ada Flies Europe's Envisat with "Extraordinary Accuracy"
    The Ada Resource Association (ARA) announced another Ada success story today with the Ariane 511's launch of the Envisat 1 within the one-second tolerance allowed for the Sun-synchronized spacecraft. As the biggest satellite ever built in Europe, Envisat 1 also boasts being the largest environment survey satellite ever launched.

Feb. 28, 2002

  • New: I-Logix Launches Rhapsody for Ada in what they call "the first visual application development system for Ada programmers based on the standard Unified Modeling LanguageTM (UMLTM)."

Feb. 27, 2002

  • New: Springer-Verlag has published the Consolidated Ada Reference Manual. The new book merges the Ada 95 Reference Manual and the corrections and clarifications in the Technical Corrigendum that are now also part of the Ada standard. Though not an ISO publication, the Consolidated Ada Reference Manual reflects hard effort to read like a sanctioned merger between the two ISO documents.

Feb. 21, 2002

  • Update: A new version of Richard Riehle's book, Ada Distilled has been posted. This version corrects errors pointed out by many reviewers, and adds some new material.

  • Update: A new version of John English's book, Ada95: The Craft of Object Oriented Programming, has been posted. This version has minor corrections: the British usage of "full stop" instead of "period" confused some American readers, so "semicolon" has been substituted throughout to keep things language-independent.

Feb. 11, 2002

  • Added: Aonix press release on P&W Commercial Jet Engine Ada Certified in "News".

  • Added: IEEE article on SPARK method for certifying SmartCards in "Ada at Work" and "News".

  • Added: Software Arts & Sciences and its training course on realtime programming, as well as Absolute Software and its private course on advanced Ada programming, to the list of Ada trainers.

January 31, 2002

January 26, 2002

January 20, 2002

January 19, 2002

  • New: Ada Trainers page available on the menu. AdaSoft Technologies has been added to the list.

  • New: Ada Textbooks page has been added to "Learning Ada." The list includes popular Ada 95 textbooks, to which we will be continuing to add.

  • Added: A general overview of Ada95.

  • Added: Various technical articles for which we've received requests.

  • Reorganized: The menu has changed the name of "Classes and Conferences" to "Learning Ada" and has moved it to the left. Under "Learning Ada" we've added the above items--Trainers, Technical Articles, and Overview--as well as moved some General Information items, such as the FAQs, under "Learning" rather than "Why Ada."

January 12, 2002

  • Improved: The AdaIC is now a mirror for the book by John English, Ada95: The Craft of Object Oriented Programming. The book can be downloaded and browsed directly from the AdaIC site. This will provide better access to the book to users in the North America.

January 11, 2002

  • New Page: A new summary of the many articles comparing Ada with C and C++ has been added to the site. The summary gathers together both overview and experience articles to show the value and cost savings of Ada.

  • Update: The Why Ada? section of the AdaIC site has been enhanced to include a dozen additional articles, expanding the coverage of all topics. The section has been reorganized to put similar information together.

January 10, 2002

  • New: Ada Distilled is a new on-line book by Richard Riehle. The book is aimed at experienced programmers who want to learn Ada at the programming level. It summarizes some key features of the Ada language that are essential for getting started. It is a quick-start book, one that enables the experienced programmer to get into the Ada language quickly and easily.

December 29, 2001

  • News: Lockheed Martin will be using Green Hills Software's INTEGRITYTM real-time operating system (RTOS) and AdaMULTI® 2000 software development tools to develop software for its Joint Strike Fighter (JSF) aircraft.

December 17, 2001

  • New: The AdaIC introduces AdaIC News, a free subscription service for Ada users. When new or updated material is available on the AdaIC website, AdaIC News sends a brief email message to subscribers. This is a great way to keep up on Ada news and developments.

December 16, 2001

  • New Page: A list of Ada programming language private and corporate trainers, with an example of the kinds of courses they offer.

  • Addition: RainCode is now listed with the Ada development tool vendors. The Belgian company produces RainCode for Ada, which is a quality control technology that operates on large amounts of existing Ada code, both legacy or during development. RainCode detects, counts, and measures non-trivial things in your Ada code, and it can take any corrective or preventive action in it.

December 1, 2001

  • News: Mine Detector Game Released
    PragmAda Software Engineering provides Mine Detector, which is an intellectually challenging game. Unlike other mine-finding games, Mine Detector never requires guessing. Mine Detector is distributed free of charge, and is free software distributed under the GNU Public License. See the file license.txt in the source distribution. Mine Detector is available as a Win32 executable (tested on Win98 and WinNT4), a Linux/x86 executable, and as source.

  • News: Ada Information Clearinghouse Launches New Website
    The Ada Resource Association (ARA) announces that it has revamped the Ada Information Clearinghouse (AdaIC) website. The new site puts information about Ada's dependability, reusability, and maintainability at users' fingertips. On almost every page, drop-down menus allow the software community to click once and access the full library of Ada success stories, studies, and news announcements.

  • Downloads: See Mine Detector Game Released, or read about it above.

November 27, 2001

November 13, 2001

  • News: New PragmARCs Open Source
    New version of the PragmAda Reusable Components (PragmARCs) released as open-source software.

  • News: Aonix Compiler New Release
    Aonix announces that the latest version of its object-oriented development environment, ObjectAda version 7.2.1, is now available.

November 03, 2000

May 15, 2000

May 1, 2000

  • GNAT
    Updated GNAT information.

March 20, 2000

March 10, 2000 February 2, 2000 January 27, 2000 January 12, 2000 December 28, 1999 December 9, 1999 December 7, 1999

December 3, 1999

November 15, 1999

October 26, 1999

September 30, 1999

September 14, 1999

September 1, 1999

August 22, 1999

August 17, 1999

July 28, 1999

  • SIGAda '98 Papers and Presentations
    A link to papers presented at the ACM SIGAda Annual International Conference (SIGAda '98) held November 8-12, 1998 in Washington, D.C. [formerly Tri-Ada].

July 22, 1999

July 21, 1999

July 15, 1999

July 8, 1999

June 21, 1999

May 31, 1999

  • ASIS Takes Ada Tool Portability To New Heights
    Press Release announcing that the Ada Semantic Interface Specification (ASIS) Standard has been published by the International Organization for Standardization (ISO) and is now available.

May 20, 1999

  • IABG Ada Conformity Assessment Laboratory (ACAL) Update
    An update on the latest happenings at the IABG Ada Conformity Assessment Laboratory (ACAL).
  • EDS Conformance Testing Center Update
    An update on the latest happenings at the EDS Conformance Testing Center.

May 15, 1999

May 6, 1999

Footer


Home Last Updated: 11/03/2000