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
March 28, 2025 | 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
English
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 English
Cover of: Software Specification Methods
Software Specification Methods
2013, Wiley & Sons, Incorporated, John
in English
Cover of: Software Specification Methods
Software Specification Methods: An Overview Using a Case Study
2012, Springer London, Limited
in English
Cover of: Software Specification Methods
Software Specification Methods
2010, Wiley & Sons, Incorporated, John
in English
Cover of: Software Specification Methods
Software Specification Methods
2010, Wiley & Sons, Incorporated, John
in English
Cover of: Software Specification Methods
Software Specification Methods
2010, Wiley & Sons, Incorporated, John
in English
Cover of: Software Specification Methods
Software Specification Methods: an Overview Using a Case Study
2006, ISTE
electronic resource : in English
Cover of: Software Specification Methods
Software Specification Methods
2000, Island Press
in English

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

Internet Archive item record
Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 17, 2024 Edited by ImportBot import existing book
July 7, 2019 Created by MARC Bot Imported from Internet Archive item record