AdaCore - The GNAT Pro Company http://www2.adacore.com AdaCore technology and news Fri, 16 May 2008 15:06:10 +0000 http://wordpress.org/?v=2.0.11 en May 2008 Contents http://www2.adacore.com/2008/05/12/may-2008-contents/ http://www2.adacore.com/2008/05/12/may-2008-contents/#comments Mon, 12 May 2008 05:00:40 +0000 AdaCore zzz Headline Newsletter - GNAT Pro Insider http://www2.adacore.com/2008/05/12/may-2008-contents/
  • New Release of GNAT Programming Studio
  • Contract Award for Coverage Analysis Project
  • Current Releases
  • In the Pipeline
  • Academia Corner
  • Interview with Emmanuel Briot
  • Webinar Schedule
  • Technology Corner:Pragmas Precondition and Postcondition
  • Conferences/Events
    • ]]>     http://www2.adacore.com/2008/05/12/may-2008-contents/feed/     Nov 2007 Contents http://www2.adacore.com/2007/11/19/nov-2007-contents/ http://www2.adacore.com/2007/11/19/nov-2007-contents/#comments Mon, 19 Nov 2007 15:09:40 +0000 AdaCore Newsletter - GNAT Pro Insider http://www2.adacore.com/2007/11/19/nov-2007-contents/
  • Gnat Pro High-Integrity Family Expanding to Servers
  • US Navy Policy Recognizes Open-Source Software
  • Current Releases
  • In the Pipeline
  • Spotlighting a GAP Member
  • Interview with Gregory Gicca
  • Webinar Schedule
  • AdaCore Partner Praxis High Integrity Systems Makes SPARK/Ada a Language to Depend on
  • Conferences/Events
    • ]]>     http://www2.adacore.com/2007/11/19/nov-2007-contents/feed/     June 2007 Contents http://www2.adacore.com/2007/07/02/june-2007-contents/ http://www2.adacore.com/2007/07/02/june-2007-contents/#comments Mon, 02 Jul 2007 07:43:00 +0000 AdaCore Newsletter - GNAT Pro Insider http://www2.adacore.com/2007/07/02/june-2007-contents/
  • What’s New in GNATbench 2.01
  • Major New Air Traffic Control System Using GNAT Pro
  • Current Releases
  • Spotlighting a GAP Member
  • Ada 2005 is an Official ISO Standard!
  • In the Pipeline
  • Interview with Arnaud Charlet
  • Technology Webinars
  • AdaCore Partner Vector Software Helps Certification Effort for DO-178B
  • AdaCore at Conferences
    • ]]>     http://www2.adacore.com/2007/07/02/june-2007-contents/feed/     November 2006 contents http://www2.adacore.com/2006/11/30/november-2006-contents/ http://www2.adacore.com/2006/11/30/november-2006-contents/#comments Thu, 30 Nov 2006 11:06:41 +0000 AdaCore Newsletter - GNAT Pro Insider http://www2.adacore.com/2006/11/30/november-2006-contents/
  • GNAT Pro and Ada 2005 Coming to .NET
  • GNATstack Tool Available
  • New GCC Technology
  • What’s Coming in GNAT Pro 6.0.1
  • New Version of gprmake
  • New Version of GNAT Tracker
  • Spotlighting a GAP Member
  • AdaCore at Conferences
  • Interview with Bob Duff
  • Public Courses at AdaCore New York
  • New Target Platforms for GNAT Pro
  • More Ada 2005 Features Available in GNAT Pro
    • ]]>     http://www2.adacore.com/2006/11/30/november-2006-contents/feed/     April 2006 contents http://www2.adacore.com/2006/04/15/april-2006-contents/ http://www2.adacore.com/2006/04/15/april-2006-contents/#comments Sat, 15 Apr 2006 09:10:47 +0000 AdaCore Newsletter - GNAT Pro Insider http://www2.adacore.com/?p=1294
  • GNAT Pro for Wind River’s VxWorks 6
  • PolyORB 2.0
  • GPS update
  • GNAT Pro Available on OpenVMS for HP Integrity Servers
  • AJAX in Ada Web Server
  • Stack Usage Analysis Tool
  • Interview with Zepur Blot
  • AdaCore in the News
  • Partnership Corner
  • AdaCore at conferences
    • ]]>     http://www2.adacore.com/2006/04/15/april-2006-contents/feed/     November 2005 Contents http://www2.adacore.com/2005/11/01/january-2006/ http://www2.adacore.com/2005/11/01/january-2006/#comments Mon, 31 Oct 2005 22:59:59 +0000 AdaCore Newsletter - GNAT Pro Insider http://wwwng.eu.adacore.com/2006/01/31/january-2006/
  • GNATbench:The Bridge Between GNAT Pro and Eclipse
  • Full Steam Ahead with Ada 2005!
  • What’s New with GNAT Pro
  • GPS 3.1 Available: Brings Many Improvements
  • GNAT Academic Program Update
  • Interview with Ed Schonberg
  • AdaCore in the News
  • Partnership Corner
  • AdaCore at conferences
    • ]]>     http://www2.adacore.com/2005/11/01/january-2006/feed/     April 2005 Contents http://www2.adacore.com/2005/08/17/april-2005-contents/ http://www2.adacore.com/2005/08/17/april-2005-contents/#comments Wed, 17 Aug 2005 13:53:36 +0000 AdaCore Newsletter - GNAT Pro Insider http://wwwng.eu.adacore.com/wordpress/2005/08/17/april-2005-contents/
  • GNAT Pro 5.03 Release
  • Dynamic Plug-in Loading with Ada
  • In the Pipeline
  • GAP Update
  • AdaCore at Ada Europe 2005
  • Interview with Franco Gasperoni
  • GNAT Pro Winner of ‘Product of the Year’
  • Internationalization in Ada 2005
  • AdaCore at conferences
    • ]]>     http://www2.adacore.com/2005/08/17/april-2005-contents/feed/     November 2004 Contents http://www2.adacore.com/2004/11/01/november-2004-contents/ http://www2.adacore.com/2004/11/01/november-2004-contents/#comments Mon, 01 Nov 2004 08:38:29 +0000 AdaCore Newsletter - GNAT Pro Insider http://wwwng.eu.adacore.com/?p=1181
  • GNAT Pro High Integrity Edition Selected for Boeing 7E7 page 1
  • A New Look for AdaCore
  • Upcoming Releases
  • The Ada Academic Initiative
  • www.ada-answers.com Launches!
  • New GNAT Pro Cross-Compiler for ERC32
  • Interview with Robert Dewar
  • More GNAT Pro Ports on the Way!
  • GNAT Pro Jewel:Scripting in GPS
  • Technology Updates
  • Available on Site
  • AdaCore at ConferencesThe GNAT ProCompany
    • ]]>     http://www2.adacore.com/2004/11/01/november-2004-contents/feed/