TY  - BOOK
AU  - Partsch,Helmut A.
TI  - Specification and transformation of programs: a formal approach to software development 
T2  - Texts and monographs in computer science 
SN  - 3540525890
U1  - 005.11 23
PY  - 1990///
CY  - Berlin
PB  - Springer-Verlag
KW  -  Computer science.
KW  -  Software engineering
KW  -  Data structures (Computer science).
N1  - Includes bibliographical references (p. [456]-474) and index; 1. Introduction--
2. Requirements engineering--
3. Formal problem specification--
4. Basic transformation techniques--
5. From descriptive specifications to operational ones--
6. Modification of applicative programs--
7. Transformation of procedural programs--
8. Transformation of data structures--
9. Complete examples--
References--
Index
N2  - An introductory textbook on formal specification and transformational programming as an approach to software development
ER  -