Specification of software systems
By: V.S. Alagar, K. Periyasamy.
Contributors: Periyasamy, K.
Series: Graduate texts in computer science; Graduate texts in computer science (Springer-Verlag New York Inc.)
Publisher: Springer
Published: 1998
Place of publication: New York
Language: eng
Number of pages: 422
Subjects: Software engineering; Computer software -- Specifications
Description: This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The book can also be used as a text for a one-semester course on formal methods at the senior undergraduate level. 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.
Notes: Includes bibliographical references and index.