Coverart for item
The Resource Specification of Software Systems, by V.S. Alagar, K. Periyasamy

Specification of Software Systems, by V.S. Alagar, K. Periyasamy

Label
Specification of Software Systems
Title
Specification of Software Systems
Statement of responsibility
by V.S. Alagar, K. Periyasamy
Creator
Contributor
Subject
Language
eng
Summary
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
Member of
http://library.link/vocab/creatorName
Alagar, V. S
Dewey number
005.1
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Periyasamy, K
Series statement
Graduate Texts in Computer Science,
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Logic design
Label
Specification of Software Systems, by V.S. Alagar, K. Periyasamy
Instantiates
Publication
Antecedent source
file reproduced from original
Color
mixed
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
Control code
ocn851840438
Dimensions
unknown
Extent
1 online resource (xx, 422 pages)
File format
unknown
Form of item
online
Isbn
9781475729207
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)851840438
Label
Specification of Software Systems, by V.S. Alagar, K. Periyasamy
Publication
Antecedent source
file reproduced from original
Color
mixed
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
Control code
ocn851840438
Dimensions
unknown
Extent
1 online resource (xx, 422 pages)
File format
unknown
Form of item
online
Isbn
9781475729207
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)851840438

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...