Specification And Transformation Of Programs: A Formal Approach To Software Development

Specification and transformation of programs is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

• | By (Author): Helmut A. Partsch
• | Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• | Publication Date: Jul 05, 1990
• | Country of Publication: Germany
• | Number of Pages: 493 pages
• | Language: Not Available
• | Binding: Hardback
• | ISBN-10: 3540523561
• | ISBN-13: 9783540523567