Part I: Methodology

Program Development by Specification and Transformation

Volume 680 of the series Lecture Notes in Computer Science pp 99-127



  • Junbo LiuAffiliated withUniversität Breman
  • , Bernd Krieg-BrücknerAffiliated withUniversität Breman

* Final gross prices may vary according to local VAT.

Get Access


This chapter contains a Reference Manual for the Transformations that are presently available in the System, intended for the program developer. The individual transformations are described in a tutorial style using a semi-formal notation, with some examples. The catalogue will become more complete over time.