Transformation from Designs to Programs
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.
KeywordsOutput Port Target Class Instance Variable Transformation Strategy Class Student
Unable to display preview. Download preview PDF.