Software Specification Methods Image close
Software Specification Methods
Software Specification Methods
Show Hide Adult Content
Software Specification Methods close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Software Specification Methods

An Overview Using a Case Study
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$261.99
RRP:
$280.95 save $18.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 $65.50 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

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
High-Integrity System Specification and Design by Jonathan P. Bowen Save $39
$147.99
$187.95
High-Integrity System Specification and Design
by Jonathan P. Bowen ~ 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
Proof in VDM: Case Studies
$260.99
Proof in VDM: Case Studies
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
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
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
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
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

Description

This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Most specification courses tend to focus on one or two key techniques and to have a theoretical bias this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It hopes to prove to be useful reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods.
Release date Australia
October 16th, 2000
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by Henri Habrias
  • Edited by Marc Frappier
Edition
Softcover reprint of the original 1st ed. 2001
Illustrations
7 Illustrations, black and white; XXIV, 282 p. 7 illus.
Pages
282
Dimensions
156x234x16
ISBN-13
9781852333539
Product ID
12381756

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 >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Business applications
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation