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

Contractual specification of reliable software

1989 ◽  
pp. 317-354
Author(s):  
C. T. Sennett
Keyword(s):  
Reliable Software

Modelling real-world issues for dependable software

1989 ◽  
pp. 274-316 ◽  
Author(s):  
John Dobson
Keyword(s):  
Real World

Introduction

1989 ◽  
pp. 1-5
Author(s):  
C. T. Sennett

Program analysis and verification

1989 ◽  
pp. 176-197 ◽  
Author(s):  
Bernard Carré
Keyword(s):  
Program Analysis

Program analysis and systematic testing

1989 ◽  
pp. 159-175 ◽  
Author(s):  
M. A. Hennell ◽  
D. Hedley ◽  
I. J. Riddell
Keyword(s):  
Program Analysis ◽  
Systematic Testing

Practical experience with a formal verification system

1989 ◽  
pp. 69-101 ◽  
Author(s):  
Paul Smith ◽  
Nick Bleech
Keyword(s):  
Formal Verification ◽  
Practical Experience ◽  
Verification System

NewSpeak: a reliable programming language

1989 ◽  
pp. 122-158 ◽  
Author(s):  
I. F. Currie
Keyword(s):  
Programming Language

Reliable programming in standard languages

1989 ◽  
pp. 102-121 ◽  
Author(s):  
Bernard Carré

Formal specification and implementation

1989 ◽  
pp. 6-38 ◽  
Author(s):  
C. T. Sennett
Keyword(s):  
Formal Specification ◽  
Specification And Implementation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document