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

出版时间：2005-9  出版社：北京燕山出版社  作者：Cerioli, Maura  页数：371  

内容概要

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.

书籍目录

Invited Contributions　Esterel v7: From Verified Formal Specification to Efficient Industrial Designs　Checking Memory Safety with BlastWeb Services　Analyzing Web Service Based Business Processes　Automatic Conformance Testing of Web ServicesGraph 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 GrammarsComponents　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 ClusteringProduct Lines　Managing Variability Using Heterogeneous Feature Variation Patterns　Color-Blind Specifications for Transformations of Reactive Synchronous ProgramsTheory　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 SolvingCode 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 UMLAutomatic Proofs and ProversAuthor Index