Titlebook: An Approach to Modelling Software Evolution Processes; Tong Li Book 2009 Springer-Verlag Berlin Heidelberg 2009 Process Description Langua

牛的細(xì)微差別

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

舊病復(fù)發(fā)

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

夾克怕包裹

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

制定法律

Painstaking

誓言

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

愛得痛了

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

卡死偷電

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