CURRENTLY SOLD OUT

Software Specification Methods: An Overview Using a Case Study by Marc Frappier, Henri Habrias (Paperback, 2000)

Be the first to write a review.

About this product

Product Information

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.

Product Identifiers

Publisher
Springer London Ltd
ISBN-13
9781852333539
eBay Product ID (ePID)
96196313

Product Key Features

Author
Marc Frappier, Henri Habrias
Publication Name
Software Specification Methods: an Overview Using a Case Study
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2000
Type
Textbook
Number of Pages
282 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
480g

Additional Product Features

Series Title
Formal Approaches to Computing and Information Technology (Facit)
Editor
Marc Frappier, Henri Habrias
Country/Region of Manufacture
United Kingdom

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.33 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $15.00 New
---- Used
A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)
No ratings or reviews yet.
AU $45.09 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.74
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.65
Bill Perkins Die With Zero (Paperback)
AU $29.77
Trending at AU $32.71
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $77.06
NEW Learn to Earn By Peter Lynch Paperback Free Shipping
AU $30.65
Trending at AU $52.68
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.25
Trending at AU $45.65

Shop by category

Software Specification Methods: An Overview Using a Case Study by Marc Frappier, Henri Habrias (Paperback, 2000)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)

Save on Adult Learning & University

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A

Netter Atlas of Human Anatomy: Classic Regional Approach

Bill Perkins Die With Zero (Paperback)

Havard's Nursing Guide to Drugs

NEW Learn to Earn By Peter Lynch Paperback Free Shipping

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

You may also like

Henry James Paperbacks Books

Henry James School Textbooks & Study Guides

Non-Fiction Methodism Paperback Fiction & Books

Henry James Paperback Fiction & Books

Study Guide Paperback School Textbooks & Study Guides

Paperback School Textbooks & Study Guides 2000-2009 Publication Year