2009
Thursday November 19, 2009
Fall-Winter 2009
- 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
|
Download:
609.5Kb
|
Wednesday July 1, 2009
Spring 2009
- 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
|
Download:
110.5Kb
|
2008
Monday November 10, 2008
Nov 2008 Contents
- 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
|
Download:
526.8Kb
|
Monday May 12, 2008
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
|
Download:
107.7Kb
|
2007
Monday November 19, 2007
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
|
Download:
148.8Kb
|
Monday July 2, 2007
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
|
Download:
190.6Kb
|
2006
Thursday November 30, 2006
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
|
Download:
149.9Kb
|
Saturday April 15, 2006
April 2006 contents
- 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
|
Download:
2.0Mb
|
2005
Tuesday November 1, 2005
November 2005 Contents
- 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
|
Download:
1.5Mb
|
Wednesday August 17, 2005
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
|
Download:
1.3Mb
|
