Transformation from Designs to Programs

  • Shaoying Liu


Transformation from design specifications to programs is an activity of constructing programs in a programming language that satisfy the specifications in a specification language; it does not take only the semantics of both specifications and programs into account, as the refinement approach usually emphasizes, but also considers the syntactical change from one language to another.


Output Port Target Class Instance Variable Transformation Strategy Class Student 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Shaoying Liu
    • 1
  1. 1.Department of Computer ScienceHosei UniversityTokyoJapan

Personalised recommendations