Tags: Programming Language.

SPARK is a formally defined computer programming language based on the Ada programming language intended to be secure and to support the development of high integrity software used in applications and systems where predictable and highly reliable operation is essential either for reasons of safety (e.g. avionics in aircraft/spacecraft or medical systems and process control software in nuclear powerplants) or for business integrity (for example financial software for banking and insurance companies).There are three versions of the SPARK language (SPARK83 SPARK95 SPARK2005) based on Ada 83 Ada 95 and Ada 2005 respectively.

Loading...

This page contains content from the copyrighted Wikipedia article "SPARK (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.