عنوان

Specification of Software Systems

(Number (ISBN

1475729200

(Number (ISBN

9781475729207

Number

b554077

Title Proper

Specification of Software Systems

General Material Designation

[Book]

First Statement of Responsibility

by V.S. Alagar, K. Periyasamy.

Place of Publication, Distribution, etc.

New York, NY

Name of Publisher, Distributor, etc.

Springer New York

Date of Publication, Distribution, etc.

1998

Specific Material Designation and Extent of Item

(xx, 422 pages)

Series Title

Graduate texts in computer science.

Text of Note

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.

Text of Note

This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.

Computer science.

Logic design.

Software engineering.

Class number

Book number

by V.S. Alagar, K. Periyasamy.

K Periyasamy

V S Alagar

Electronic name

[Book]

Y