J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Principled Design of Object Oriented Programming.. - Barnes, Dobbing, Chapman (2002) Self-citation (Barnes) (Correct)
....grown, initially with the transition from Ada83 to Ada95 as the language upon which it is based, and latterly to extend the language features that can be offered without compromising the original language goals. The latest extensions support statically analysable object oriented features of Ada95[9]. Language goals The original goal of the SPARK language was to develop a language that supports the static analysis techniques listed above and that allows practical exploitation of these techniques within software development for industrial high integrity systems. The pillars on which the ....
J. Barnes, High Integrity Software: The SPARK Approach to Safety and Security. Addison Wesley, 2003.
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. (Correct)
No context found.
J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, 2003.
Combining Proof Plans with Partial Order Planning for - Imperative Program Synthesis (Correct)
No context found.
J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, 2003.
Automation for Exception Freedom Proofs - Bill Ellis And (2003) (Correct)
No context found.
J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, 2003.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. AddisonWesley, 2003.
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Barnes J (2003) High integrity software: the SPARK approach to safety and security. Addison-Wesley, Reading, MA
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
John Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison Wesley, 2003.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Reading, Massachusetts, 2003. reviewed in RISKS-23.01.
The Spec# Programming System: An Overview - Barnett, Leino, Schulte (Correct)
No context found.
John Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison Wesley, 2003. With Praxis Critical Systems Limited.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC