Fundamental Approaches to Software Engineering软件工程研究的基本方法

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 sub series 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 Paper
Physical Programming: Beyond Mere Logic(Invited Talk)
Metamodelling
Metamodelling and Conformance Checking with PVS
The Metamodelling Language Calculus: Foundation Semantics for UXL
Distributed Components
Compositional Checking of Communication among Observers
Combinging Independent Specifications
Proving Deadlock Freedom in Component-Based Programming
UML
A Real-Time Execution Semantics for Uml Activity Diagrams
A CSP View on UML-RT Structure Diagrams
Strengthening UML Collaboration Diagrams by State Transformations
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
On Use Cases and Their Relationships in the Unified Modelling-Language
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
Towards Development of Secure Systems Using UMLsec
Testing
Grammar Testing
Debugging via Run-Time Type Checking
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
Demonstration of an Automated Integrated Testing Environment for CTI Systems
Formal Methods
Case Studies
Author Index