AdaCore - The GNAT Pro Company » Newsletter – GNAT Pro Insider http://www.adacore.com AdaCore technology and news Sun, 14 Mar 2010 08:49:01 +0000 http://wordpress.org/?v=2.9 en hourly 1 Fall-Winter 2009 http://www.adacore.com/2009/11/19/fall-winter-2009/ http://www.adacore.com/2009/11/19/fall-winter-2009/#comments Thu, 19 Nov 2009 20:25:19 +0000 AdaCore http://www2.adacore.com/?p=3220
  • GNAT Pro High-Integrity Edition for MILS
  • Model-Based Design Projects Underway
  • Current Releases
  • In the Pipeline
  • Academia Corner: The Australian National University
  • Interview with Pat Rogers
  • Webinar Schedule
  • Contracts
  • Conferences/Events
    • ]]>     http://www.adacore.com/2009/11/19/fall-winter-2009/feed/ 0     Spring 2009 http://www.adacore.com/2009/07/01/spring-2009/ http://www.adacore.com/2009/07/01/spring-2009/#comments Wed, 01 Jul 2009 16:42:55 +0000 AdaCore http://www2.adacore.com/?p=3000
  • SPARK Pro Launched
  • Open-DO Initiative
  • Current Releases
  • In the Pipeline
  • Academia Corner: Vermont Technical College
  • Interview with Michaël Friess
  • Webinar Schedule
  • Ada Gem: Pragma No_Return
  • Conferences/Events
    • ]]>     http://www.adacore.com/2009/07/01/spring-2009/feed/ 0     Nov 2008 Contents http://www.adacore.com/2008/11/10/nov-2008-contents/ http://www.adacore.com/2008/11/10/nov-2008-contents/#comments Mon, 10 Nov 2008 19:32:11 +0000 AdaCore http://www2.adacore.com/?p=2455
  • NSA-Sponsored Tokeneer Software Available
  • Project Coverage Launch Initiates
  • Open AdaCore Series
  • New Platforms
  • In the Pipeline
  • Academia Corner: Mälardalen University
  • Interview with Ed Falis
  • Webinar Schedule
  • Traceability Analysis Expands Safety-Critical Ada
  • Conferences/Events
    • ]]>     http://www.adacore.com/2008/11/10/nov-2008-contents/feed/ 0     May 2008 Contents http://www.adacore.com/2008/05/12/may-2008-contents/ http://www.adacore.com/2008/05/12/may-2008-contents/#comments Mon, 12 May 2008 05:00:40 +0000 AdaCore 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://www.adacore.com/2008/05/12/may-2008-contents/feed/ 0     Nov 2007 Contents http://www.adacore.com/2007/11/19/nov-2007-contents/ http://www.adacore.com/2007/11/19/nov-2007-contents/#comments Mon, 19 Nov 2007 15:09:40 +0000 AdaCore 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://www.adacore.com/2007/11/19/nov-2007-contents/feed/ 0     June 2007 Contents http://www.adacore.com/2007/07/02/june-2007-contents/ http://www.adacore.com/2007/07/02/june-2007-contents/#comments Mon, 02 Jul 2007 07:43:00 +0000 AdaCore 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://www.adacore.com/2007/07/02/june-2007-contents/feed/ 0     November 2006 contents http://www.adacore.com/2006/11/30/november-2006-contents/ http://www.adacore.com/2006/11/30/november-2006-contents/#comments Thu, 30 Nov 2006 11:06:41 +0000 AdaCore 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://www.adacore.com/2006/11/30/november-2006-contents/feed/ 0     April 2006 contents http://www.adacore.com/2006/04/15/april-2006-contents/ http://www.adacore.com/2006/04/15/april-2006-contents/#comments Sat, 15 Apr 2006 09:10:47 +0000 AdaCore 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://www.adacore.com/2006/04/15/april-2006-contents/feed/ 0     November 2005 Contents http://www.adacore.com/2005/11/01/january-2006/ http://www.adacore.com/2005/11/01/january-2006/#comments Mon, 31 Oct 2005 22:59:59 +0000 AdaCore 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://www.adacore.com/2005/11/01/january-2006/feed/ 0     April 2005 Contents http://www.adacore.com/2005/08/17/april-2005-contents/ http://www.adacore.com/2005/08/17/april-2005-contents/#comments Wed, 17 Aug 2005 13:53:36 +0000 AdaCore 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://www.adacore.com/2005/08/17/april-2005-contents/feed/ 0