Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch.

By:

Partsch, Helmut A

Material type: Text

TextSeries: Texts and monographs in computer sciencePublication details: Berlin : Springer-Verlag, c1990.Description: xiii, 493 p. : ill. ; 25 cmISBN:

3540525890

Subject(s):

DDC classification:

005.11 23 P275

Contents:

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.

Summary: An introductory textbook on formal specification and transformational programming as an approach to software development.

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
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

Total holds: 0

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.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)