Software Specification Methods: An Overview Using a Case Study - Hardcover

Hardcover

ISBN 10: 1905209347 ISBN 13: 9781905209347

Publisher: Wiley-ISTE, 2006

Synopsis

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.

About this title

Synopsis:

This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. Most specification courses tend to focus on 1 or 2 key techniques and have a theoretical bias. "Software Specification Methods" 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. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS. Essential reading for all industrial and commercial practitioners, this book will help to expand their knowledge of software specification methods.

About the Author:

Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada

About this edition

• Publisher: Wiley-ISTE
• Publication date: 2006
• ISBN 10: 1905209347
• ISBN 13: 9781905209347
• Binding: Hardcover
• Edition number: 1
• Number of pages: 418
• Editor: Habrias Henri, Frappier Marc