High-Integrity System Specification and Design Image close
High-Integrity System Specification and Design by Jonathan P. Bowen
High-Integrity System Specification and Design by Jonathan P. Bowen
Show Hide Adult Content
High-Integrity System Specification and Design close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Systems analysis & design

High-Integrity System Specification and Design

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$147.99
RRP:
$187.95 save $39.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

Explore more Formal Approaches to Computing and Information Technology (FACIT)

See all products in this series

Software Specification Methods Save $18
$261.99
$280.95
Software Specification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Specification Case Studies in RAISE Save $40
$264.99
$305.95
Specification Case Studies in RAISE
Paperback / softback
Available - Usually ships in 3-4 weeks
Industrial-Strength Formal Methods in Practice
$401.99
Industrial-Strength Formal Methods in Practice
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Object Technology Save $16
$263.99
$280.95
Formal Methods and Object Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
The B Language and Method by Kevin Lano Save $45
$134.99
$180.95
The B Language and Method
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
On the Refinement Calculus Save $52
$134.99
$187.95
On the Refinement Calculus
Paperback / softback
Available - Usually ships in 3-4 weeks
Program Development by Refinement Save $24
$514.99
$539.95
Program Development by Refinement
Paperback / softback
Available - Usually ships in 3-4 weeks
Proof in VDM: A Practitioner’s Guide by Brian Ritchie Save $33
$138.99
$172.95
Proof in VDM: A Practitioner’s Guide
by Brian Ritchie ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Systems, Models and Measures by Agnes Kaposi Save $42
$138.99
$181.95
Systems, Models and Measures
by Agnes Kaposi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Theory and Practice of Program Development by Derek J. Andrews Save $41
$138.99
$180.95
A Theory and Practice of Program Development
by Derek J. Andrews ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Proof in VDM: Case Studies
$260.99
Proof in VDM: Case Studies
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods in Human-Computer Interaction Save $42
$137.99
$180.95
Formal Methods in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Notations for Software Design by Hans B.M. Jonkers Save $41
$138.99
$180.95
Notations for Software Design
by Hans B.M. Jonkers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Object-Oriented Development by Kevin Lano Save $47
$139.99
$187.95
Formal Object-Oriented Development
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume provides the reader with an introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety critical systems. It contains new material by Michael Hinchey and Jonathan Bowen, along with reprints of articles on high-integrity systems. Among these articles are contributions from Leslie Lamport, Nancy Leveson, and C.A.R. Hoare. The text provides details of specification and design approaches for this type of system, an overview of the development process, and evidence of how various classes of high integrity systems may be approached and developed successfully.
Release date Australia
April 12th, 1999
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1999
Illustrations
7 Illustrations, black and white; XIX, 701 p. 7 illus.
Pages
701
Dimensions
155x235x43
ISBN-13
9783540762263
Product ID
5144962

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Systems analysis & design
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science >
Systems analysis & design