软件演化过程建模

图书标准信息

• 作者 李彤 著
• 出版社 清华大学出版社
• 出版时间 2008-08
• 版次 1
• ISBN 9787302175377
• 定价 68.00元
• 装帧 精装
• 开本 16开
• 纸张 胶版纸
• 页数 213页
• 字数 320千字

【内容简介】

软件演化是近年来软件工程领域正逐步受到重视的研究方向，并将得到越来越多的关注。《AnApproachtoModellingSoftwareEvolutionProcesses（软件演化过程建模）》从软件演化管理的角度，较为系统地讨论了软件演化过程的相关问题，包括软件演化过程元模型、软件演化过程描述语言、软件演化过程框架、软件演化过程建模方法、软件演化过程改进等。《AnApproachtoModellingSoftwareEvolutionProcesses（软件演化过程建模）》还给出了一个软件演化过程的支撑工具，并提供了多个案例研究。
《AnApproachtoModellingSoftwareEvolutionProcesses（软件演化过程建模）》可以作为计算机专业研究生和高年级本科生的教材和教学参考书，也可供从事软件工程的科技人员使用和参考。

【目录】

Prefaceix
ListofFiguresandTables
xiii
1Introduction
.1Motivation
1.2Contributions
1.3ResearchMethods
1.4SuccessCriteria
1.5ValidationMethods
1.6Outline
References
2OverviewofSoftwareProcessesandSoftwareEvolution8
2.1Introduction
2.2SoftwareProcesses
2.2.1ConceptsofSoftwareProcess
2.2.2SoftwareProcessModellingandDescriptions
2.2.3SoftwareProcessModellingandDescriptionLanguages
2.2.4SoftwareProcessImprovementandCMM
2.2.5SoftwareProcessReuse
2.2.6Process-CentredSoftwareEngineeringEnvironments
2.3SoftwareEvolution
2.3.1ConceptsofSoftwareEvolution
2.3.2SoftwareReengineering
2.3.3SoftwareEvolution
2.4Summary
References
3RelatedWork
3.1Introduction
3.2SoftwareEvolutionProcess
3.3ConcurrencyintheSoftwareLifeCycle
3.4PetriNets
3.5DependenceAnalysis
3.6FormalFunctionalDecomposition
3.7Summary
References
4SoftwareEvolutionProcessMeta-ModelEPMM
4.1Introduction
4.2PropertiesofSoftwareEvolutionProcesses
4.3IterationinSoftwareEvolutionProcesses
4.4ConcurrencyinSoftwareEvolutionProcesses
4.4.1VersionConcurrency
4.4.2ProcessConcurrency
4.4.3Sub-ProcessConcurrency
4.4.4PhaseConcurrency
4.4.5ActivityConcurrency
4.4.6TaskConcurrency
4.5StaticComponentDefinitionsofEPMM
4.5.1Task
4.5.2Activity
4.5.3SoftwareProcess
4.5.4Example：PrototypeEvolutionProcessModel
4.5.5GlobalModel
4.6DynamicComponentDefinitionsofEPMM
4.7SupportsforSoftwareEvolutionProcesses
4.8Summary
References
5SoftwareEvolutionProcessDescriptionLanguageEPDL
5.1Introduction
5.2SurveyofEPDL
5.2.1DesignGoals
5.2.2Characteristics
5.2.3ProgramStructure
5.3Task
5.4Activity
5.5SoftwareProcess
5.6GlobalModel
5.7EPDLProgram
5.8Example
5.9Summary
References
6FrameworkofSoftwareEvolutionProcesses
6.1Introduction
6.2FrameworkofSoftwareEvolutionProcesses
6.3StepsforModellingSoftwareEvolutionProcesses
6.4DesigningGlobalModels
6.5EvolutionProcessDescriptions
6.6Summary
References
7DesigningProcessesandActivities
7.1Introduction
7.2DesigningProcesses
7.2.1BasicBlocks
7.2.2SoftwareProcessPackage
7.2.3ProcedureforModellingProcesses
7.3DesigningActivities
7.4ReuseofSoftwareEvolutionProcesses
7.4.1ReusebyInheritance
7.4.2ReuseofBasicBlocks
7.4.3ReuseofProcessPackages
7.5Summary
References
8DesigningTasks
8.1Introduction
8.2ProcedureofDesigningTasks
8.3StructuresofFunctionalDecomposition
8.4DecompositionRules
8.4.1SequenceDecomposition
8.4.2SelectionDecomposition
8.4.3RepetitionDecomposition
8.5StructureoftheKnowledgeBase
8.5.1TheCaseBase
8.5.2TheSegmentBase
8.5.3TheRuleBase
8.6Decomposition
8.6.1TheDecompositionTree
8.6.2MatchBetweenTwo2-Assertions
8.6.3TheDecompositionProcess
8.6.4SupportsbyModellers
8.7Summary
References
9EfficiencyImprovementoftheSoftwareEvolutionProcesses
9.1Introduction
9.2ProcedureofEfficiencyImprovement
9.3DependenceAnalysisBetweenEntities
9.3.1ConstructingaDependenceGraph
9.3.2LocalisingDependences
9.4ReconstructingProcessSegments
9.4.1PreprocessinganADG
9.4.2TransformationRules
9.4.3TransformationAlgorithm
9.4.4Examples
9.5CapturingConcurrencywithinanActivity
9.6AnalysingDependencesBetweenPartitionBlocks
9.7ExtendingConcurrency
9.8ReconstructingSoftwareProcesses
9.9Summary
References
10SupportEnvironmentEPT
10.1Introduction
10.2ArchitectureofEPT
10.3FileDepository
10.3.1DataStructuresofEPDLObjectCodes
10.3.2OtherDataStructures
10.4ProcessServer
10.4.1ModellingManager
10.4.2EPDLCompiler
10.4.3RuntimeManager
10.5UserInterfaceandMessageServer
10.6Summary
References
11CaseStudies
11.1Introduction
11.2FirstCaseStudy：TheWaterfallModel
11.3SecondCaseStudy：ThreeSoftwareProcessesInvolvedinEvolution
11.4ThirdCaseStudy：AnEvolutionProcessofanInformationSecuritySystem
11.4.1Background
11.4.2TheProcessofModelling
11.4.3EPDLProgram
11.4.4WhiteBoxApproach
11.4.5BlackBoxApproach
11.4.6EfficiencyImprovement
11.5FourthCaseStudy：TheMaintenanceProcessofISO/IEC12207
11.5.1Background
11.5.2EPDLProgram
11.5.3Activity：ProcessImplementation
11.5.4Activity：ProblemandModificationAnalysis
11.5.5Activity：ModificationImplementation
11.5.6Activity：MaintenanceReview/Acceptance
11.5.7Activity：Migration
11.5.8Activity：SoftwareRetirement
11.6Summary
References
12Conclusions
12.1SuccessCriteriaRevisited
12.2Evaluations
12.2.1ComparisonwithOsterweilsApproach
12.2.2ComparisonwithLehmansApproach
12.2.3Evaluations
12.3Summary
12.4FutureWork
12.4.1Limitations
12.4.2DirectionsforFutureWork
References
Index