See buying choices for this item to see if it's one of the millions that are eligible for Amazon Prime.

2 used from �24.00

Have one to sell? Sell yours here

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

by Henri Habrias (Author), Marc Frappier (Author) "Z (pronounced 'zed') is a formal specification notation [9] based on set theory and first order predicate logic ..." (more)

No customer reviews yet. Be the first.

Available from these sellers.

2 used from �24.00

Other Editions:	RRP:	Our Price:	Other Offers:
Hardcover (New edition)	�70.00	�70.00	22 used & new from �51.99

Customers Viewing This Page May Be Interested in These Sponsored Links

(What is this?)

Write verified software

www.eschertech.com Software & system modelling and development with automated proof

Business Analysts

www.technicaldirect.co.uk Accredited, Professional People Micorosft Gold Partner

Software Specifications

www.EleganceTech.com Create Concise, Clear Functional Specifications. Free Trial!

Product details

Paperback: 282 pages
Publisher: Springer London Ltd; illustrated edition edition (Jan 2001)
Language English
ISBN-10: 1852333537
ISBN-13: 978-1852333539
Product Dimensions: 23.5 x 15.6 x 2 cm
Average Customer Review: No customer reviews yet. Be the first.
Amazon.co.uk Sales Rank: 2,425,995 in Books (See Bestsellers in Books)

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

See Complete Table of Contents

Product Description

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 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.

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 organize and find favorite items.

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

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

Customer Discussions

Beta (What's this?)

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Prompts for sign-in

[Cancel]

Guidelines

Look for similar items by category

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

Health & Beauty at Amazon.co.uk

From soap to shavers, massagers to mascara, stock up on your daily essentials or truly pamper yourself.

›Discover Health & Beauty

Beauty without the Beast

Olay Regenerist Daily 3 Point Treatment Cream

From au naturel to party glam, we have all the best names in cosmetics and skincare.

›Discover Beauty at Amazon.co.uk

A Close Shave

Philips Nivea Coolskin HS8060 Moisturizing Rotary Shaving System

For all types of hair removal, stay smooth with Amazon.co.uk.

›Discover Shaving & Hair Removal

Treat Someone

With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

Where's My Stuff?

track your recent orders
view or change your orders in Your Account

Delivery and Returns

see our delivery rates and policies
thinking of returning an item? (See our Returns Policy)

Need Help?

Forgot your password?
Buy Gift Certificates.
still have questions? Visit our Help Pages

Your Recent History

(What's this?)

You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

The Girl Who Played with Fire by Stieg Larsson

4.5 out of 5 stars (76)�3.86

Breaking Dawn (Twilight Saga) by Stephenie Meyer

4.1 out of 5 stars (465)�6.49

The Girl with the Dragon Tattoo by Stieg Larsson

4.1 out of 5 stars (168)�3.99

Bad Science by Ben Goldacre

4.6 out of 5 stars (143)�4.85


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon