Skip to main content
SpringerLink
Log in
Book cover

Specification and Transformation of Programs

A Formal Approach to Software Development

  • Textbook
  • © 1990

Overview

Authors:
  1. Helmut A. Partsch

    1. Department of Computer Science, Faculty for Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen, The Netherlands

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Springer Texts in Electrical Engineering (STELE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Introduction

    • Helmut A. Partsch
    Pages 1-18

  3. Requirements Engineering

    • Helmut A. Partsch
    Pages 19-55

  4. Formal Problem Specification

    • Helmut A. Partsch
    Pages 56-148

  5. Basic Transformation Techniques

    • Helmut A. Partsch
    Pages 149-188

  6. From Descriptive Specifications to Operational Ones

    • Helmut A. Partsch
    Pages 189-262

  7. Modification of Applicative Programs

    • Helmut A. Partsch
    Pages 263-325

  8. Transformation of Procedural Programs

    • Helmut A. Partsch
    Pages 326-348

  9. Transformation of Data Structures

    • Helmut A. Partsch
    Pages 349-403

  10. Complete Examples

    • Helmut A. Partsch
    Pages 404-455

  11. Back Matter

    Pages 456-497
    Download chapter PDF
Back to top

Keywords

About this book

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.

Authors and Affiliations

  • Department of Computer Science, Faculty for Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen, The Netherlands

    Helmut A. Partsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation