牛的细微差别
发表于 2025-3-27 00:12:52
Introduction,f Petri Nets, Hoare Logic and Backus-Naur Form, a semi-formal approach is proposed to construct formal software evolution process models and the corresponding descriptions to effectively support software evolution. The approach is expected to be adopted by software managers, software engineers and s
旧病复发
发表于 2025-3-27 02:56:54
Overview of Software Processes and Software Evolution,gies, technologies, tools and management. Firstly, the basic concepts related to software processes are discussed. In addition, an overview of the research progress in the areas of software process modelling and descriptions, software process modelling languages and description languages, software p
夹克怕包裹
发表于 2025-3-27 05:33:50
Related Work,sciplinary area both of software process and software evolution is firstly presented. In addition, the work related to this book, including concurrency in the software life cycle, Petri Nets, data dependence analysis and formal functional decomposition, is also discussed. The related work mentioned
Diatribe
发表于 2025-3-27 13:05:55
http://reply.papertrans.cn/16/1549/154848/154848_34.png
制定法律
发表于 2025-3-27 17:31:29
http://reply.papertrans.cn/16/1549/154848/154848_35.png
Painstaking
发表于 2025-3-27 18:23:06
http://reply.papertrans.cn/16/1549/154848/154848_36.png
誓言
发表于 2025-3-27 23:02:09
Designing Processes and Activities,. In this chapter, based on EPMM and EPDL, the approaches to modelling software evolution processes at these two levels are proposed. The concepts of the process package and the basic block are presented. The modelling procedures are top-down refinement and stepwise refinement; they produce software
爱得痛了
发表于 2025-3-28 06:08:47
Designing Tasks,on processes at the task level). The kernel objective of designing a task is functional decomposition. The function of a task is defined by both a precondition and a postcondition, which are first order predicate formulae. They define a function which transfers inputs into outputs. Although a task i
卡死偷电
发表于 2025-3-28 09:35:32
Efficiency Improvement of the Software Evolution Processes,is an effective way to shorten the evolution time and to speed up the evolution. In this chapter, an approach, which resembles a transplant operation on the human body, is proposed to dig down into an inefficient process segment from its process model, then to improve its efficiency and finally to p
Angioplasty
发表于 2025-3-28 11:20:45
http://reply.papertrans.cn/16/1549/154848/154848_40.png