#marketplace, .navbar, .container, .container-fluid, #media, #category, #ewards, #careers, .blueHeroSearchContainer, #photoHeroBanner, #etextbooks-page-2015, .slider-arrow, #books-page-2015, #my-account-wrapper-2015 {display:none;} .noscriptmsg p, .noscriptmsg h1 {color: #000;} body {background-color: #ccc !important; font-size: 14px; }

We're sorry, but eCampus.com doesn't work properly without JavaScript.

Either your device does not support JavaScript or you do not have JavaScript enabled.

How to enable JavaScript in your browser.

Need help? Call 1-855-252-4222

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Software Specification Methods

by Editor: Henri Habrias (University of Nantes, France); Editor: Marc Frappier (University of Sherbrooke, Canada)

ISBN13: 9780470394656
ISBN10: 047039465X
Format: eBook
Copyright: 2010-01-01
Publisher: Wiley-ISTE

Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
1. Software Specification Methods > ISBN13: 9780470394656

List Price: $149.95

We're Sorry.
No Options Available at This Time.

Summary

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

Preface
State-Based Approaches
Z
SAZ
B
From UML Diagrams to B Specifications
UML+Z: Augmenting UML with Z, N. Amalio
ASM, E. Börger
TLA+
Event-Based Approaches
Action Systems
Event B
VHDL
Estelle
SDL
(E)-Lotos
EB3
Other Formal Approaches
Casl
Coq
Petri Nets
Petri Nets with Objects
Comparison Glossary
A Comparison of the Specification Methods
Glossary
Glossary
Index
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rent More, Save More! Use code: ECRENTAL

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Software Specification Methods

Summary

Table of Contents

Supplemental Materials

Rewards Program