Immunotherapy
发表于 2025-3-23 12:28:13
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
发表于 2025-3-23 16:56:34
http://reply.papertrans.cn/88/8738/873771/873771_12.png
山羊
发表于 2025-3-23 21:24:51
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
发表于 2025-3-23 23:42:09
http://reply.papertrans.cn/88/8738/873771/873771_14.png
弯弯曲曲
发表于 2025-3-24 05:32:54
Transformation of Procedural Programs,ptimizing transformations’, is extensively treated in standard textbooks on compiler construction and also in or , 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.
总
发表于 2025-3-24 07:31:55
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
混合
发表于 2025-3-24 12:57:33
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
发表于 2025-3-24 14:57:53
http://reply.papertrans.cn/88/8738/873771/873771_18.png
curriculum
发表于 2025-3-24 21:27:01
http://reply.papertrans.cn/88/8738/873771/873771_19.png
jarring
发表于 2025-3-25 01:16:43
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