AdaCore - The GNAT Pro Company » Newsletter – GNAT Pro Insider http://www.adacore.com AdaCore technology and news Tue, 07 Feb 2012 12:00:00 +0000 http://wordpress.org/?v=2.9 en hourly 1 Autumn 2011 http://www.adacore.com/2012/01/19/autumn-2011/ http://www.adacore.com/2012/01/19/autumn-2011/#comments Thu, 19 Jan 2012 14:46:00 +0000 AdaCore http://www2.adacore.com/?p=13711
  • GPS 5.1 Strengthens Multi-Language Support, Tightens CodePeer Integration
  • GNATcoverage wins Electron d’Or Prize
  • Current Releases
  • In the Pipeline
  • Academia Corner: University of Southampton,UK
  • Interview with JC Bernedo
  • Webinar Schedule
  • SPARK Prevents Software Vulnerabilities
  • Technology Corner: Contract-Based Programming in Ada 2012
  • Conferences/Events
    • ]]>     http://www.adacore.com/2012/01/19/autumn-2011/feed/ 0     Spring 2011 http://www.adacore.com/2011/05/16/spring-2011/ http://www.adacore.com/2011/05/16/spring-2011/#comments Mon, 16 May 2011 16:55:13 +0000 AdaCore http://www2.adacore.com/?p=12612
  • New Tools for Dynamic Analysis of Embedded Systems
  • AdaCore Awarded Research Funds for New High-Integrity Frameworks/Tools
  • Current Releases
  • Webinar Schedule
  • Academia Corner: Western Washington University
  • Interview with Olivier Hainque
  • Technology Corner: GtkAda
  • AdaCore at Wind River Conferences
  • Conferences/Events
    • ]]>     http://www.adacore.com/2011/05/16/spring-2011/feed/ 0     Autumn 2010 http://www.adacore.com/2010/12/02/autumn-2010/ http://www.adacore.com/2010/12/02/autumn-2010/#comments Thu, 02 Dec 2010 15:07:58 +0000 AdaCore http://www2.adacore.com/?p=6543
  • GPS 5.0 Now Available
  • GNAT Pro High-Integrity Edition for DO-178B
  • Current Releases
  • In the Pipeline
  • Academia Corner: Telecom ParisTech
  • Academia Corner: University of Virginia
  • Interview with Steve Baird
  • Webinar Schedule
  • Technology Corner: Multi-language Solutions Available
  • Conferences/Events
    • ]]>     http://www.adacore.com/2010/12/02/autumn-2010/feed/ 0     Spring-Summer 2010 http://www.adacore.com/2010/04/29/spring-summer-2010/ http://www.adacore.com/2010/04/29/spring-summer-2010/#comments Thu, 29 Apr 2010 06:00:15 +0000 AdaCore http://www2.adacore.com/?p=4101
  • CodePeer Launched
  • DO-178C Nearing Completion
  • Current Releases
  • In the Pipeline
  • Webinar Schedule
  • Academia Corner: University of Virginia
  • Interview with José Ruiz
  • AdaCore Awarded Grant for Hi-Lite Project
  • Technology Corner: Ada 2012 Nearing Completion
  • Open-DO Update
  • Conferences/Events
  • AdaCore at Wind River Regional Conferences
    • ]]>     http://www.adacore.com/2010/04/29/spring-summer-2010/feed/ 0     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