[Title page iii]

The following topics are dealt with: software engineering; concurrent program; software evolution; change propagation analysis; model-driven code generation; specification based testing; supporting multi-path UI development with vertical refinement; evidence-based paradigm; critic authoring templates for specifying domain-specific visual language tool; service oriented architecture; integrated data mapping; software meta-tool; semantic impact and faults in source code changes; architecture level change impact analysis methods; Web systems evolution; Web services; comprehensive feature-oriented traceability model; software product line development; component-based software system; inter-agent data flow analysis; abstract state machines; formal semantics based translator generation; multithreaded programs; event-driven system-level language; software project organization structures; software development cost estimation; WAD workflow system:data-centric workflow system; qualitative software process simulation modeling; quantitative software process simulation modeling and UML.