Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch.
Material type:
TextSeries: Texts and monographs in computer sciencePublication details: Berlin : Springer-Verlag, c1990.Description: xiii, 493 p. : ill. ; 25 cmISBN: - 3540525890
- 005.11 23 P275
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 005.11 P275 (Browse shelf(Opens below)) | Available | C26388 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.11 C877 Object-oriented programming | 005.11 J25 Advances in evolutionary computing for system design | 005.11 K74 Object-oriented environments | 005.11 P275 Specification and transformation of programs : | 005.11 R165 Textbook of computer programming with industrial & engineering applications | 005.113 Ab141 Structured programming in PL/1 and PL/C | 005.113 Ag261 Programming with structured flowcharts |
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.
An introductory textbook on formal specification and transformational programming as an approach to software development.
There are no comments on this title.
