↓ Skip to main content
What is this page? Embed badge

High-Integrity Software

Overview of attention for book
High-Integrity Software
Springer, Boston, MA

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Formal specification and implementation
  4. Altmetric Badge
    Chapter 3 Designing for high integrity: the software fault tolerance approach
  5. Altmetric Badge
    Chapter 4 Practical experience with a formal verification system
  6. Altmetric Badge
    Chapter 5 Reliable programming in standard languages
  7. Altmetric Badge
    Chapter 6 NewSpeak: a reliable programming language
  8. Altmetric Badge
    Chapter 7 Program analysis and systematic testing
  9. Altmetric Badge
    Chapter 8 Program analysis and verification
  10. Altmetric Badge
    Chapter 9 The algebraic specification of a target machine: Ten15
  11. Altmetric Badge
    Chapter 10 Assurance in high-integrity software
  12. Altmetric Badge
    Chapter 11 Modelling real-world issues for dependable software
  13. Altmetric Badge
    Chapter 12 Contractual specification of reliable software
Attention for Chapter 12: Contractual specification of reliable software
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Contractual specification of reliable software
Chapter number 12
Book title
High-Integrity Software
Published by
Springer, Boston, MA, January 1989
DOI 10.1007/978-1-4684-5775-9_12
Book ISBNs
978-1-4684-5777-3, 978-1-4684-5775-9
Authors

C. T. Sennett

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.