Fundamental Approaches to Software Engineering 软件工程基础方法/会议录

This book constitutes the refereed proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, FASE 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.
The 25 revised full papers presented together with an invited paper were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on Web services, graph grammars and graph transformations, components, product lines, theory, code understanding and validation, UML, and automatic proofs and provers.

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

Invited Contributions
　Esterel v7: From Verified Formal Specification to Efficient Industrial Designs
　Checking Memory Safety with Blast
Web Services
　Analyzing Web Service Based Business Processes
　Automatic Conformance Testing of Web Services
Graph Grammars and Graph Transformations
　Termination Criteria for Model Transformation
　Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
　Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Components
　Improving the Build Architecture of Legacy C/C++ Software Systems
　Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
　Augmenting UML Models for Composition Conflict Analysis
　A Tool to Automate Component Clustering
Product Lines
　Managing Variability Using Heterogeneous Feature Variation Patterns
　Color-Blind Specifications for Transformations of Reactive Synchronous Programs
Theory
　On the Correspondence Between Conformance Testing and Regular Inference
　Observational Purity and Encapsulation
　Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving
Code Understanding and Validation
　A Framework for Counterexample Generation and Exploration
　Using Annotations to Check Structural Properties of Classes
　Improving System Understanding via Interactive, Tailorable, Source Code Analysis
……
The UML
Automatic Proofs and Provers
Author Index