Transformation from Designs to Programs

  • Shaoying Liu
Chapter

Abstract

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.

Keywords

Sugar 

Preview

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