Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) [Paperback]

Marc Frappier (Editor), Henri Habrias (Editor)

Available from these sellers.

Formats	Amazon Price		New from	Used from
Kindle Edition	�36.45		--	--
Paperback	--		--	--

Amazon.co.uk Trade-In Store
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Visit the Amazon.co.uk Trade-In Store for more details.

› See more product promotions

Product details

Paperback: 282 pages
Publisher: Springer (16 Oct 2000)
Language English
ISBN-10: 1852333537
ISBN-13: 978-1852333539
Product Dimensions: 23.5 x 15.6 x 2 cm
Amazon Bestsellers Rank: 4,736,321 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Product 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 1 or 2 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 will prove essential reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods.

Inside This Book (Learn More)

First Sentence
Z (pronounced 'zed') is a formal specification notation [9] based on set theory and first order predicate logic. Read the first page

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items.

Customer Reviews

There are no customer reviews yet on Amazon U.K.

5 star:		(0)
4 star:		(0)
3 star:		(0)
2 star:		(0)
1 star:		(0)

Share your experience with this product with others

Create your own review

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }