H ? « ‹ ← → › »

Language peer sets for SPARK95:
United Kingdom↑
United Kingdom/1999↑
Designed 1999 ↑
1990s languages ↑
Internet↑
New internationlism↑
Multi-purpose ↑
Multi-purpose/1999↑
Multi-purpose/uk ↑

SPARK95(ID:3512/spa011)

Provable Ada95 

alternate simple view
Country: United Kingdom
Designed 1999
Published: 1999
Sammet category: Multi-purpose

SPARK subset for Ada95
Related languages
Ada 95 → SPARK95   Subset
SPARK → SPARK95   Evolution of
References:
  • (1999) "SPARK95 — The SPADE Ada 95 Kernel" Praxis Critical Systems Limited, 1999. Abstract
  • Chapman, Roderick and Dewar, Robert (1999) Chapman, Roderick and Dewar, Robert "Re-engineering a safety-critical system with SPARK95 and GNORT" Abstract pdf
          in (1999) Reliable Software Technologies - Ada-Europe '99 LNCS 1622 1999
  • King, Steve; Hammond, Jonathan; Chapman,Rod and A (1999) King, Steve; Hammond, Jonathan; Chapman,Rod and Andy Pryor "Is Proof More Cost Effective Than Testing?" Abstract pdf
          in (1999) IEEE Transactions on Software Engineering 26(8)
  • (2000) "The SPARK Way to Correctness is via Abstraction" John Barnes, Presented at Sig-Ada 2000. Abstract
          in (1999) IEEE Transactions on Software Engineering 26(8)
  • Dr. Roderick Chapman (2000) Dr. Roderick Chapman "Industrial Experience with SPARK" Praxis Critical Systems Limted, Presented at ACM SigAda 2000 conference Abstract pdf
          in (1999) IEEE Transactions on Software Engineering 26(8)
  • (2001) "SPARK and Abstract Interpretation—A White Paper" Rod Chapman, Praxis Critical Systems Limited, September 2001 Abstract pdf
          in (1999) IEEE Transactions on Software Engineering 26(8)
  • Amey, Peter (2001) Amey, Peter "Logic versus Magic in Critical Systems" Abstract pdf
          in Reliable Software Technologies (D. (2001) Reliable Software Technologies (D. Craeynest and A. Strohmeier (Eds.)) - Ada-Europe 2001 Proceedings of 6th Ada-Europe International Conference, Leuven, Belgium, May 14-18, 2001 LNCS 2043 Springer
  • Rod Chapman (2001) Rod Chapman "SPARK - a state-of-the-practice approach to the Common Criteria implementation requirements" presented at the 2nd International Common Criteria Conference, Brighton, UK, July 2001 Abstract pdf
          in Reliable Software Technologies (D. (2001) Reliable Software Technologies (D. Craeynest and A. Strohmeier (Eds.)) - Ada-Europe 2001 Proceedings of 6th Ada-Europe International Conference, Leuven, Belgium, May 14-18, 2001 LNCS 2043 Springer
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder