High-Integrity Software
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer US

9781468457773, 9781468457759

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Designing for high integrity: the software fault tolerance approach

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_3 ◽

1989 ◽

pp. 39-68

Author(s):

M. R. Moulding

Keyword(s):

Fault Tolerance ◽

Software Fault Tolerance ◽

Tolerance Approach ◽

High Integrity ◽

Download Full-text

Contractual specification of reliable software

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_12 ◽

1989 ◽

pp. 317-354

Author(s):

C. T. Sennett

Keyword(s):

Reliable Software

Download Full-text

Modelling real-world issues for dependable software

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_11 ◽

1989 ◽

pp. 274-316 ◽

Author(s):

John Dobson

Keyword(s):

Download Full-text

Introduction

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_1 ◽

1989 ◽

pp. 1-5

Author(s):

C. T. Sennett

Download Full-text

Program analysis and verification

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_8 ◽

1989 ◽

pp. 176-197 ◽

Author(s):

Bernard Carré

Keyword(s):

Program Analysis

Download Full-text

Program analysis and systematic testing

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_7 ◽

1989 ◽

pp. 159-175 ◽

Author(s):

M. A. Hennell ◽

D. Hedley ◽

I. J. Riddell

Keyword(s):

Program Analysis ◽

Systematic Testing

Download Full-text

Practical experience with a formal verification system

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_4 ◽

1989 ◽

pp. 69-101 ◽

Author(s):

Paul Smith ◽

Nick Bleech

Keyword(s):

Formal Verification ◽

Practical Experience ◽

Verification System

Download Full-text

NewSpeak: a reliable programming language

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_6 ◽

1989 ◽

pp. 122-158 ◽

Author(s):

I. F. Currie

Keyword(s):

Programming Language

Download Full-text

Reliable programming in standard languages

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_5 ◽

1989 ◽

pp. 102-121 ◽

Author(s):

Bernard Carré

Download Full-text

Formal specification and implementation

High-Integrity Software ◽

10.1007/978-1-4684-5775-9_2 ◽

1989 ◽

pp. 6-38 ◽

Author(s):

C. T. Sennett

Keyword(s):

Formal Specification ◽

Specification And Implementation

Download Full-text