Ada programming language
Ada Reference Manual standards html
Foreword to this version of the Ada Reference Manual
Jean Ichbiah - Members of the French Academy of Sciences (in french)
Jean Ichbiah - Les membres de l'Académie des sciences
PolyORB Homepage libre
301 Moved Permanently
SPARK 95 - The SPADE Ada 95 Kernel (including RavenSPARK) praxis his
UK's Safety-Critical Systems Club safety club
Clubs, Centre for Software Reliability, University of Newcastle upon Tyne
Correctness by Construction: A Manifesto for High-Integrity Software hill mil crosstalk
STSC CrossTalk - Correctness by Construction: A Manifesto for High-Integrity Software - Dec�2005
Praxis High Integrity Systems praxis his
Praxis High Integrity Systems : Software, Safety and Requirements Engineering, UK
Official SPARK website
SPARKAda - Homepage
Previous page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
ISO 8652 , Jean Ichbiah , PolyORB , SPARK programming language , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Ada programming language".