SPARK - secure subset of Ada  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

  • Identification
  • Homepage
  • Observations
  • Classifications
  • Identification

    SPARK - secure subset of Ada



    SPARK is a language designed to support the development of software used in applications where correct operation is vital either for reasons of safety or business integrity. There are versions of SPARK based on Ada 83 and Ada95. With its support tool, the SPARK Examiner, and the high-quality mainstream Ada products, SPARK provides a solid engineering basis for all complex, computer-based systems.


    Development Phases: Analysis
    Development Phases: Verification

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster