Monographs in Computer Science

Specification and Transformation of Programs

A Formal Approach to Software Development

Authors: Partsch, Helmut A.

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-642-61512-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $79.99
price for USA
  • ISBN 978-3-540-52356-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $99.00
price for USA
  • ISBN 978-3-540-52589-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

"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.

Table of contents (9 chapters)

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-642-61512-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $79.99
price for USA
  • ISBN 978-3-540-52356-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $99.00
price for USA
  • ISBN 978-3-540-52589-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Specification and Transformation of Programs
Book Subtitle
A Formal Approach to Software Development
Authors
Series Title
Monographs in Computer Science
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-61512-2
DOI
10.1007/978-3-642-61512-2
Hardcover ISBN
978-3-540-52356-7
Softcover ISBN
978-3-540-52589-9
Series ISSN
0172-603X
Edition Number
1
Number of Pages
XIII, 493
Topics