2012
Thursday January 19, 2012
Autumn 2011
- 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
|
Download:
313.7Kb
|
2011
Monday May 16, 2011
Spring 2011
- 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
|
Download:
226.9Kb
|
2010
Thursday December 2, 2010
Autumn 2010
- 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
|
Download:
146.0Kb
|
Thursday April 29, 2010
Spring-Summer 2010
- 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
|
Download:
197.9Kb
|
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
|
