Overview

Full Product Details

Author:   V. Stavridou
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Volume:   No.64
Dimensions:   Width: 15.00cm , Height: 2.30cm , Length: 23.00cm
Weight:   0.520kg
ISBN:  

9780198523826

ISBN 10:   0198523823
Pages:   270
Publication Date:   01 December 1997
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   To order  
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

D.L. Parnas, precise description and specification of software; L.E. Moser and P.M. Melliar-Smith, consistent composition and refinement for dependable systems; P. Mukherjee, system specification in VDM-Sl; F. Piper, key management for secure communications; G.M. Musyoka and G. Morgan, formal verification of fault-tolerant processors; C.T. Sennett, formal methods for computer security; R. Chapman, A. Burns and A. Wellings, regular path algebra applied to non-functional properties of critical software; N. Nissanke, safety specification in deontic logic; N.A. Harman and J.V. Tucker, algebraic models of microprocessors - the correctness and verification of a simple computer; P. Chapront, from program proving to formal design - lessons drawn from SACEM; J.C. Knight, limitations of mathematics in software engineering; O. Bridal, a methodology for reliability analysis of fault-tolerant systems with repairable subsystems; C.S. Perkins and A.M. Tyrrell, reliability models for hard real-time systems; S. Haines and T. Longshaw, applying space based modelling techniques to dependable systems; B. Littlewood and D. Wright, a Bayesian model that combines disparate evidence for the quantitative assessment of system dependability.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions