Specification of software systems /
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. Reade...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
New York ; London :
Springer,
c1998.
|
| Series: | Graduate texts in computer science.
|
| Subjects: |
| LEADER | 01931nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | c000385888 | ||
| 003 | CARM | ||
| 005 | 00000000000000.0 | ||
| 008 | 990510s1998 enka 001 0 eng | ||
| 010 | |a 98016912 | ||
| 015 | |a GB99-36726 | ||
| 019 | 1 | |a 13785450 |z 24009110 |5 LACONCORD2021 | |
| 020 | |a 0387984305 : |c No price | ||
| 035 | |a (OCoLC)38853942 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c DLC |d Uk |d TOC | ||
| 050 | 0 | 0 | |a QA76.758 |b .A42 1998 |
| 082 | 0 | 4 | |a 005.1 |2 21 |
| 100 | 1 | |a Alagar, Vangalur S., |d 1940- | |
| 245 | 1 | 0 | |a Specification of software systems / |c V.S. Alagar, K. Periyasamy. |
| 260 | |a New York ; |a London : |b Springer, |c c1998. | ||
| 300 | |a xx, 422 p. : |b ill. ; |c 24 cm. | ||
| 490 | 0 | |a Graduate texts in computer science. | |
| 505 | 0 | |a 1. The Role of Specification -- 2. Specification Activities -- 3. Specification Qualities -- 4. Abstraction -- 5. Formal Systems -- 6. Logic -- 7. Set Theory and Relations -- 8. Algebraic Specification -- 9. Vienna Development Method -- 10. The Z Notation -- 11. Larch. | |
| 520 | |a 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. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computer software |x Specifications. | |
| 700 | 1 | |a Periyasamy, K. | |
| 852 | 8 | |b CARM |h A3:AI07E0 |i C12540 |p 0476411 |f BK | |
| 999 | f | f | |i df1eaca2-b5ee-5dd0-87a1-8d1273cdffd8 |s 1eb2266b-dedc-57de-b333-c98974490604 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C12540 |f A3:AI07E0 |h Other scheme |i book |m 0476411 |