There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-52589-9

ISBN (Electronic): 978-3-642-61512-2

Publication date (Print): 1990

DOI: 10.1007/978-3-642-61512-2

SO-VID: 0d4f6f01-d95f-428d-9a7a-ac8c9f0ef411

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 8

Testability transformation
Authors: M. Harman, Lin Hu, R Hierons …
OPAL: Design and implementation of an algebraic programming language
Authors: Klaus Didrich, Andreas Fett, Carola Gerke …
System Modeling and Transformational Design Refinement in ForSyDe
Authors: A Jantsch, I Sander

See all cited by

Specification and Transformation of Programs

Read this book at