12 years ago 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/3b12 years ago 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/7510421212 years ago in Paris, Île-de-France, France via web To: Ada programming language, Public
Ada 2012: The Joy of Contracts :) http://identi.ca/url/7500617512 years ago 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/3113 years ago 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/7426126513 years ago 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!13 years ago 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/1q13 years ago 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