2013-02-15T08:26:19+00:00 in Paris, Île-de-France, France via web To: Ada programming language, Public
Reducing the gap between design and code for critical software with Ada 2012 http://adaco.re/3b2013-02-05T09:27:34+00:00 in Paris, Île-de-France, France via web To: Ada programming language, Public
Contract-Driven Programming Takes Specification Beyond The Stone Age http://identi.ca/url/751042122013-01-27T11:26:06+00:00 in Paris, Île-de-France, France via web To: Ada programming language, Public
Ada 2012: The Joy of Contracts :) http://identi.ca/url/750061752013-01-23T07:48:25+00:00 in Paris, Île-de-France, France via web To: Ada programming language, Public
Nice article on the University of Virginia's use of SPARK to formally verify heart pump software. http://adaco.re/312012-11-21T08:39:43+00:00 in Paris, Île-de-France, France via web To: Ada programming language, Public
Ada Watch: Choosing a programming language that supports reliability http://identi.ca/url/742612652012-09-21T06:57:39+00:00 in Gempen, Solothurn, Switzerland via web To: Ada programming language, Public
We've been working on an Ada 2012 mini site, we hope you like it! www.ada2012.orgSimon Wright likes this.
I like the ada2012.org website a lot. It is _very_ nice!2012-09-13T07:18:30+00:00 in Paris, Île-de-France, France via web To: Ada programming language, Public
Another nice article from Jack Ganssle, he really is a good friend of Ada :) http://adaco.re/1q2012-08-01T08:58:52+00:00 in Paris 17 Batignolles-Monceau, Île-de-France, France via web To: Ada programming language, Public
#Ada gem 130 : how to use the DBMS-agnostic API in GNATColl to retrieve correct and type-safe SQL queries' results http://adaco.re/1h