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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Liu, S. (2004). Transformation from Designs to Programs. In: Formal Engineering for Industrial Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07287-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-662-07287-5_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05827-1
Online ISBN: 978-3-662-07287-5
eBook Packages: Springer Book Archive