Specification of software systems

Author(s)

• Alagar, Vangalur S.
• Periyasamy, K.

Bibliographic Information

Specification of software systems

V.S. Alagar and K. Periyasamy

（Graduate texts in computer science）

Springer, c1998

Note

Includes bibliographical references and index

Description and Table of Contents

Description

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Table of Contents

The Role of Specifications.- Specification Activities.- Specification Qualities.- Abstraction.- Formal Systems.- Logic.- Set Theory and Relations.- Algebraic Specifications.- Vienna Development Method.- The Z Notation.- Larch.

by "Nielsen BookData"

Details

• NCID: BA38192666
• ISBN:
  • 0387984305
• LCCN: 98016912
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York ; Tokyo
• Pages/Volumes: xx, 422 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.758
  • DC21 : 005.1
• Subject Headings:
  • LCSH : Software engineering
  • LCSH : Computer software -- Specifications
• Parent Bibliography ID:
  • BA23711271