AdaCore: Safe and secure software - Ada 2005 Building better software with Ada Software development: GNAT GPL 2008 Grapic User Interface: GtkAda is an Ada95 free graphic toolkit for X-Window and Win32. The Ada Lecture Series: Ada UK Videos Conferences: 2009, 2007,2006

SparkSure: Independent SPARK Support

CodePeer: Assesses a program for potential bugs before it is executed, in effect serving as an automated peer review.

Ada Resource Association: The best ressources for ensuring continued success of Ada users and promotes Ada use in the software industry.

Ada Europe: Ada-Europe is an international organization, set up to promote the use of Ada. It aims to spread the use and the knowledge of Ada and to promote its introduction into academic and research establishments.

Ada World: has been created essentially to bring the Ada programming language a central place where Ada developers can learn about Ada, see what's happening as far as Ada development projects goes, give a good idea of what can be done with Ada.

Ada Home: (Lausanne):  This server provides a home to users and potential users of Ada, the first internationally standardized object-oriented programming language.  Ada is a modern programming language designed to support sound software engineering principles and practices. Ada 95 Books: Brief Reviews Ada in Industry  Tools and Components

Ada Power: Ada tools and resources. Packages for Reuse  Ada Frequently Asked Questions

SIG Ada: TheSpecialInterest Group on Ada.

The Ada Belgium Organization:  Industry and Ada: Ada success stories.  Who is Using Ada: Some non-defense Ada applications.

AdaBasis (Stuttgart): Artificial Intelligence Software Development Tools Interfaces/Bindings Ressources on Ada

Adalog (France): HOOD: An Industrial Approach for Software Design Méthodes de Génie Logiciel avec Ada 95

The Ada Joint Program Office: closed since October 1, 1998 after declaring their mission was accomplished.

Ada related links

Ada 95 Booch components: stacks, queues, single and double lists. Adalog Components, Adapplets Public Ada Library: Software components

Ada 95 Software technology review (SEI).

Embedded.com Why aren't developers interested in Ada?, By Jack Ganssle

Why use Ada?: Ada is smart - it saves time and money Overview  Ada vs. C/C++ Software Fault Prevention Approach In Coding And Root Cause Analysis:A white paper that details many of the pitfalls of using C when building large systems. Programming Languages and Lifecycle Costs: Provides a collection of quantitative information on lifecycle cost implications of programming language use, primarily Ada versus its main competitor, C/C++. Comparing Development Costs of C and Ada: Development Costs of C Exceed Those of Ada Technical Comparison of the Ada & C++ Languages: A 1991 study by Edward Colbert evaluating the similarity and differences between Ada and C++ in their support of software engineering and system building goals, principles, and object-oriented abstractions. In Microsoft Word format   Technical Arguments:       In 1976, nothing else existed, so...            Ada was designed with:  Software engineering in mind  Large, complex projects in mind  Safety Critical system in mind Standardization/validation in mind  Reliability/maintainability in mind Static analysis in perspective           In 1996, still nothing else exists, but: Object oriented design as an improvement Static analysis in perspective      Ada Was Designed With Long-term Support for the Warfighter in Mind   Business Arguments:      Ada:   Has better support for “ilities”   Yields greater productivity   Costs less per SLOC  Has fewer defects  Supported by multiple vendors      Ada represents:   A DoD core competency  Increased economies of scale  An ISO and ANSI standard  Freedom from proprietary solutions

Ada 95, Reference Manual: Language and standard libraries.

Notation of the Ada 95 Programming Language.

Free Ada Compilers.

Design: AdaFlow: combines hierarchical Buhr diagram and Booch module architecture diagram editing with full dictionary and language sensitive editing support for Ada development.

Cost evaluation: Constructive Cost Model (COCOMO): a method for evaluating the cost of a software package.

Ada Configuration Management: ClearCase: provides comprehensive configuration management, including version control, workspace management, build management, and process control

Rational Software Corporation: Apex Ada: Integrated Development Environment for complex Ada applications. Rose: Model-driven development with UML

Aonix Software Products: Critical software development solutions: Object Oriented Ada 95 Integrated Development Environment: ObjectAda for UNIX, ObjectAda for Windows. Version gratuite pour Windows 95 et SPARC et HP UNIX User interface management solutions: TeleUSE: X/Motif development, (UNIX, Windows)

Next conferences: SIGAda 2009: Tampa Bay, Florida, USA, November 1-5, 2009 - Engineering Safe, Secure, and Reliable Software Ada Europe 2010: Valencia, Spain, 14-18 June 2009 - 15th International Conference on Reliable Software Technologies

Past conferences's reports: Ada Europe 2009: Brest, France, 8-12 June 2009 - 14th International Conference on Reliable Software Technologies Ada Conference UK 2009: London, UK, March 24, 2009 - Building safe and secure software SIGAda 2008: Portland, Oregon, USA, October 26-30, 2008 - Toward Safe, Secure, Reliable Software Ada Europe 2008: Venice, Italy, 16 - 20, June 2008 - 13th International Conference on Reliable Software Technologies Ada-Belgium Spring 2008 Event, Leuven, Belgium, May 18, 2008 SIGAda 2007: Fairfax, Virginia, USA, November 4-9, 2007 - Software Development for Safety, Security, and High Reliability Systems Ada Europe 2007: Geneva, Switzerland, June 25-29, 2007 - 12th International Conference on Reliable Software Technologies SIGAda 2006: Albuquerque, New Mexico, USA, November 12-16, 2006 - Software Development for Safety, Security, and High Reliability Systems Ada Europe 2006: Porto, Portugal, 5 - 9 June, 2006 -11th International Conference on Reliable Software Technologies SIGAda 2005: Atlanta, Georgia, USA, November 13-17, 2005 Ada Europe 2005: York, UK, 20 - 24 June 2005 - 10th International Conference on Reliable Software Technologies SIGAda 2004: Atlanta, Georgia, November 14-18, 2004 Ada Europe 2004: Palma de Mallorca, Spain, 14-18 June 2004 - 9th International Conference on Reliable Software Technologies SIGAda 2003: San Diego, California, USA, 7-11 December 2003 - The Engineering of Correct and Reliable Software Ada Europe 2003: Toulouse, France, June 16-20 - 8th International Conference on Reliable Software Technologies SIGAda 2002: Houston, Texas, USA, 8-12 December 2002  Ada Europe 2002: Vienna, Austria, June 17-21, 2002 - 7th International Conference on Reliable Software Technologies SIGAda 2001: Twin Cities, Minnesota 30 September - 4 October 2001 - Ada's Window On the World Ada Europe 2001: Reliable Software Technologies - Leuven, Belgium, May 14-18, 2001. SIGAda 2000: Laurel, MD, USA - 12 - 16 November 2000  Learn From The World’s Top Ada Technologists -  Why Ada Is the Language of Choice Worldwide for the Most Important Safety-Critical and High-Reliability System. Ada-Europe 2000: Potsdam, Germany, June 26-30, 2000  SIGAda 1999: Redondo Beach, CA, USA - October 17-21, 1999  The Engineering of Industrial Strength REAL-TIME Software & DISTRIBUTED Systems Using Ada and Related Technologies  Ada-Europe 1999: Spain, Santander, June 7-11, 1999  SIGAda 1998: Washington, D.C. November 8-12, 1998 - Ada in Context Ada-Europe 1998: "Reliable Software Technologies", Sweden, Uppsala, June 8-12, 1998  Ada-Europe 1997: "Reliable Software Technologies", London, Great Britain, from 2 to 6 June 1997 Tri-Ada 1996: "Disciplined Software Development: progress & continuous improvement with Ada" Ada Europe 1996 Conference: Montreux, Switzerland, from June 10 to 14, 1996. Tri-Ada 1995 (USA): "Solution for a changing complex world" (Post conference wrap up).