Spotlighting an ARA member:
Ada at Work Why Ada? Ada in the News Help Wanted Ada Links Downloads Compilers & Conformity Ada Standards Learn Ada ARA Search Ada Sites Site Map Home	What's New at the AdaIC? Subscribe to AdaIC News Ada at Work Flight Boeing 777 Helicoptors Flight control Landing Gear BE-200 Transportation New York City Subway Paris Subway Cairo & Calcutta Metros European Train Control Ship System 2000 Trains in Class GPS Space Space Station Robot Embeds Ada (.pdf) Manufacturing Weirton Steel Mill Furniture Making Safety & Testing Pratt & Whitney Nuclear Power Plant SPARK Ada Certifies SmartCards Other Pollution Monitoring Video Security Ada Cuts Time 99.5% For MS Windows Radio Telescope Editing Videos Why Ada Why Use Ada? Choose Ada Ada Does Multicore Now Ada Helps Build Safe Systems Enhance Security With Ada Ada Enhances Embedded Systems Development Use Ada For Better Safety, Security, And Reliability Mosemann on Ada vs Others The A-Z of Programming Languages: Ada Ada Helps Churn Out Less Buggy Code Embedded Ada Survey Results Comparing Ada to C and C++ A Comparision of Ada and C++ C++? Comparing the Development Costs of C and Ada Software Engineering Education: On the Right Track Ada in the News GNAT Academic Program adds its 150th University member. Stephen Baird has joined AdaCore. GNATPro is now available for RTX Ada-Europe 2009 will be held 8-12 June 2009 GNAT Component Collection GNAT-Java Interfacing Suite Ipesoft selects GNAT Pro EE Times: Project launched to provide coverage analysis tool The A-Z of Programming Languages: Ada is an interview with Tucker Taft. The Return of Ada is discussed in GCN, April 2008 Robotics in Ada95 is covered in Circuit Cellar, March 2008 AdaCore supports VxWorks 653 AdaCore releases a new version of GNATbench AdaCore releases new GNAT Pro version GNAT Pro to be used in new Indian avionics software Electronic Design publishes Use Ada For Better Safety, Security, And Reliability GNATcheck eases DO-178B compliance by verifying adherence to a coding standard Ada helps crack WW II Crypto challenge SIGAda 2008 dates and location announced AdaCore will release a new version of GPS GNAT Pro was used in Raytheon's Ship Self-Defense System Mk 2 AdaCore joins TOPCASED Project. AdaCore announced a new multi-language build tool Stack analysis tool available for GNAT Pro New GNAT Pro high-integrity edition for servers AdaCore helps AAI upgrade combat trainer New version of GNAT Pro for the Microsoft .NET platform Ada 2005 Becomes Official ISO Standard AdaCore starts Ada Gem of the Week Praxis High Integrity Systems is involved in iFACTS, a new air traffic control system in the United Kingdom. Embedded.Com: ESC: Ada 2005 speaks to real-time embedded applications Ada helps a winner of Sun's Open Performance Contest. The lead designer of the Ada programming language, Jean Ichbiah, passed away on January 26th, 2007. Using Ada 2005 is discussed in the article Ada Enhances Embedded Systems Development. SPARK is featured in the article Mathematical Approaches to Managing Defects Crosstalk devotes its August 2006 issue to Ada 2005 The Boeing Company Selects SofCheck's Ada Error Detection Technology Ada Market Entails at Least a $5.6 Billion Investment Ada Answers Launches! Help Wanted Ada Jobs Ada Recruiters Ada Links ACM SIGAda Local SIGAdas Baltimore SIGAda Jersey Shore SIGAda DC SIGAda European Associations Ada Europe Worldwide Associations Ada Belgium Ada Denmark Ada France Ada Germany Ada Russia Ada Spain Ada Switzerland Web Sites Ada Power Cetus OO-Ada Real-world Ada Projects SIGAda in Education Ada and Linux Resources on Ada AdaTutor Home Ada World Ada Answers Wikibooks Ada Programming Archangel Interactive Ada Programming Blog Ada by Krischik Ada Commons News Groups comp.lang.ada via mailing list via Google groups (web) Team-Ada Archives Software Libraries Ada and Software Engineering Library Open Software (GNU) Libre Software Booch Components AdaBASIS Brighton University Student Packages ZLib Binding Uniparser Tension Structures Andersen Library Stephen Leake's Libraries APQ Charles XML4Ada95 Nasser Abbasi Ada page Unzip Ada Globe3D Ada Reusable Code Drawplex ASound QT Bindings Cheddar Ada AutoIT QT4Ada QTAda Player-Ada Ada-Spread G2F_IO Anders Gidenstam's Ada Software pages Oliver Kellogg's Ada source processing Basil AdaWorks Ahven SOCI-Ada Development Tools AdaCore AdaGide AdaRose AdaStat Aonix ArtiSan Software A# Booch Components C2Ada Sourceforge Project Compaq Ada DDC-I Excel Software GNAT for Macintosh Gela ASIS Green Hills Software GrammaTech, Inc. Headway Software IBM Rational Software ICS IPL's AdaTEST Irvine Compiler Lattix Inc. McKae Technologies Objective Interface Systems OC Systems P2Ada Sourceforge Project Polyspace Technologies Praxis Critical Systems PragmAda Software Engineering PrismTech RainCode for Ada RR Software SCI Tools/Understand for Ada SofCheck Telelogic TNI-Valiosys Vector Software Trainers and Consultants Absolute Software Adalog AdaRose Ada Solutions Pyrrhus Software Software Arts & Sciences Learn Ada Ada Trainers Conferences Lovelace Tutorial Ada Distilled (on-line book) Presentations from Ada UK 2007 General Ada Information Introducing Ada An Overview of Ada 95 Ada Terminology FAQs Ada Power Ada Home Technical Ada Articles Multiple Inheritance in Ada 95 Safe Pointers Shared Resource Design Patterns Compatibility Between Ada 83 and Ada 95 Ada Textbooks Downloads Free Software AdaGIDE GNAT GPL Edition Booch Components Compilers Available from AdaBasis Ada Software Available from AdaBasis Catalog of Free Compilers and Interpreters Linux Business Shell Mine Detector Game Free Textbooks Ada Distilled Ada95: The Craft of Object Oriented Programming Ada for Software Engineers Object Oriented Programming in Ada95 Compilers & Conformity All Articles & Compilers Certified Compilers Why Certify? Ada95 Compilers Ada83 Compilers Free Software Conformity=Certified What is Conformity? Compilers & Conformity Conformity Testing Evaluation Tools Ada Standards Ada95 Working Groups All Standards Ada 2005 (draft) Ada 95 Ada 83 ASIS Military Standard 498 Standards Groups & SIGAda Organizations Ada Resource Association Members Mission Join the ARA Ada Biography & Bibliography Biography Bibliography Interview with a Byronic Filmmaker Scientific American article Site Map Subscribe to AdaIC News Search the AdaIC site Search Ada Sites on the web 2005 Survey of Ada Usage Home Top Sponsored by the following ARA member companies: