Web Directory

    Top: Computers: Programming: Languages: Ada: Subsets:

 

Spark

  Link Details for: Spark
Link Title: Spark Open in a new window
Link URL: http://www.praxis-his.com/sparkada/
Link Details: SPARK, SPADE high-integrity software development products; annotated Ada subset supports developing software for uses where correct operation is vital for safety or business integrity; versions based on Ada 83/95. [Praxis Critical Systems Ltd.]
Category: Top : Computers : Programming : Languages : Ada : Subsets
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Spark