| 
Welcome to SPARKAda.com – the home for the SPARK and
SPADE high-integrity software development products from Praxis
High Integrity Systems.
SPARK Release 7.6 now available
We're pleased to announce the immediate availability
of release 7.6 of the SPARK language and toolset. Full
details of the new language and tool features are here.
Supported professional customers will receive
upgrade packages soon. Upgrades for the Demo toolset accompanying
the SPARK book are on the book page.
The release 7.6 language definition, RavenSPARK
guide, and Release Note are all on the Technical
References page.
Announcing the 2008 SPARK User Group Meeting
The SPARK User Group meeting is now set for
Wednesday 15th October 2008. Read
on for more details...
Join SPARK Team!
An exciting opportunity to join the SPARK development
team, which is world-renowned for its work in high-integrity
programming language design and static verification technology.
Read
more...
SPARK, iFACTS and Tokeneer in GCN magazine
US Government Computer News mentions Praxis,
SPARK, and the iFACTS and Tokeneer projects in its article
"The
return of Ada"
New SPARK Brochure - March 2008
Download
the new SPARK Language and Toolset brochure
(8 pages, PDF, 470kb)
Course dates for Q3 2008
We are pleased to announce dates for public
"Software Engineering with SPARK" and "BlackBelt
SPARK" Courses to be held in September 2008. Details
on the training page.
US agencies say software best practice is
to be found in the UK
Praxis has received further recognition and
praise for its work in advanced software engineering, following
two recent reports on software dependability and assurance
from the United States (US).
Read
more...
Praxis produces zero-defect software
for the US National Security Agency
Read the full
press release here, or jump straight to the publications
page for the full paper from the IEEE International Symposium
on Secure Software Engineering (ISSSE 2006)
If you are looking for the Praxis High Integrity Systems Corporate
Home-Page, then click
here.
Notes on trademarks and other instances
of the name "SPARK":
• The SPARK programming language is not sponsored by
or affiliated with SPARC International Inc and is not based
on the SPARC™ architecture.
• If you came here looking for the SPARK portable C real
time kernel, try Real
Time Microsystems.
• If you came here looking for the SPARK C-to-VHDL high-level
synthesis framework, then try the University
of California at Irvine.
• If you came here looking for the Simulation Problem
Analysis and Research Kernel (VisualSPARK), then try Lawrence
Berkeley National Laboratory.
• Design-by-Contract is a trademark of Interactive Software
Engineering Inc
|
