An edition of Software Specification Methods (2000)

Software Specification Methods

an Overview Using a Case Study

by

Cover of: Software Specification Methods by Henri Habrias, Henri Habrias
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
September 18, 2021 | History
Edit
An edition of Software Specification Methods (2000)

Software Specification Methods

an Overview Using a Case Study

by

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 one or two key techniques and have a theoretical bias; however, 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. T.

Publish Date
Publisher
ISTE
Language
/languages/eng
Pages
444

Check nearby libraries

Buy this book

Subjects

Formal methods (Computer science), Computer software, System design
Edition Availability
Cover of: Software Specification Methods
Software Specification Methods
2013, Wiley & Sons, Incorporated, John
in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods
2013, Wiley & Sons, Incorporated, John
in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods: An Overview Using a Case Study
2012, Springer London, Limited
in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods
2010, Wiley & Sons, Incorporated, John
in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods
2010, Wiley & Sons, Incorporated, John
in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods
2010, Wiley & Sons, Incorporated, John
in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods: an Overview Using a Case Study
2006, ISTE
electronic resource : in /languages/eng
Cover of: Software Specification Methods
Software Specification Methods
2000, Island Press
in /languages/eng

Add another edition?

Book Details

Edition Notes

Description based on print version record.

Published in
London

Classifications

Dewey Decimal Class
004/.01/51
Library of Congress
QA76.9.F67 S64 2006eb, QA76.9.F67S64 2006

The Physical Object

Format
[electronic resource] :
Pagination
1 online resource (444 p.)
Number of pages
444

Edition Identifiers

Open Library
OL27088209M
ISBN 10
1847045847
ISBN 13
9781847045843
OCLC/WorldCat
475977060

Work Identifiers

Work ID
OL19902803W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
September 18, 2021 Edited by ImportBot import existing book
September 17, 2021 Edited by ImportBot import existing book
July 7, 2019 Created by MARC Bot import new book