Ada, the Formal Language to an Engineering Approach

 

[Home][SW Eng. Page][Top]


 
Usenet group comp.lang.ada

Ada 2012: the next generation language for engineering safe, secure and reliable software

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 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 Power: Ada tools and resources.
SIG Ada: TheSpecialInterestGroup on Ada.
The Ada Belgium Organization: 
Ada related links
Public Ada Library: Software components


Why use Ada?: Ada is smart - it saves time and money
 
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.
    Next conferences:
    Past conferences's reports:
  • 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
  • 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).
    		•

     
    When debugging, a novice programmer inserts corrective code; 
    an experienced programmer removes defective code.

    [SW Eng. Page][Top]

    Cette page fut crée le 29 November 1995.