Titlebook: Specification and Transformation of Programs; A Formal Approach to Helmut A. Partsch Textbook 1990 Springer-Verlag Berlin Heidelberg 1990 A

Immunotherapy

Textbook 1990e solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new.

TAIN

山羊

Requirements Engineering,ort account on the state of the art in traditional requirements engineering, mainly in order to contrast it (in Chap. 3) with our approach where a precise statement of the user’s wishes in terms of a formal language is aimed at.

Baffle

弯弯曲曲

Transformation of Procedural Programs,ptimizing transformations’, is extensively treated in standard textbooks on compiler construction and also in [Bauer, Wössner 82] or [Illsley 88], our treatment here will be a little sketchy and by no means comprehensive. Still, it suffices to give at least a rough impression of what these rules are about.

总

Introduction,titled this text “specification and transformation of programs — a formal approach to software development” rather than just “software engineering” in order to emphasize from the very beginning that we will only be concerned with some of the technological problems of software engineering and disrega

混合

Requirements Engineering, a more precise, though still little detailed specification of the problem to be solved. Moreover, we also aimed at a . as the result of the requirements engineering phase. For the present chapter, however, in order to establish the relation to traditional software engineering, we will start with a

micturition

curriculum

jarring

Modification of Applicative Programs,ealt with so far, can often be further manipulated. In particular, modifications can be carried out that aim at increasing efficiency by speeding up the performance of certain computations, avoiding duplicated evaluations of expressions, and so on. Most of these manipulations could also be done late