Formal Approaches to Computing and Information Technology (FACIT)

Software Specification Methods

An Overview Using a Case Study

Editors: Frappier, Marc, Habrias, Henri (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-1-4471-0701-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.99
price for USA in USD
  • ISBN 978-1-85233-353-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Objectives of this Book This book is an introduction to a set of software specification methods. Its tar­ geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro­ gressively introduced when they are needed. To illustrate the specification pro­ cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them.

Table of contents (15 chapters)

Table of contents (15 chapters)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-1-4471-0701-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.99
price for USA in USD
  • ISBN 978-1-85233-353-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Specification Methods
Book Subtitle
An Overview Using a Case Study
Editors
  • Marc Frappier
  • Henri Habrias
Series Title
Formal Approaches to Computing and Information Technology (FACIT)
Copyright
2001
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-0701-9
DOI
10.1007/978-1-4471-0701-9
Softcover ISBN
978-1-85233-353-9
Edition Number
1
Number of Pages
XXIV, 282
Number of Illustrations
7 b/w illustrations
Topics