Rapid Integration of Software Engineering Techniques(软件工程技术的快速整合/会议文集)

This book constitutes the thoroughly refereed postproceedings of the First International Workshop on Rapid Integration of Software Engineering Techniques, RISE 2004, held in Luxembourg-Kirchberg, Luxembourg in November 2004.
The 12 revised full papers presented together with an invited paper went through two rounds of reviewing and improvement and were selected from 28 initial submissions. Among the topics addressed are software architecture, software process, component-driven design, dynamic service verification, model checking, model-based testing, exception handling, metamodeling, UML, state machines, and model-centric development.

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.）.

Integration of Software Engineering Techniques Through the Use of Architecture,Process,and People Management:An Experience Report
Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language
Towards a Methodology for Component-Driven Design
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification
A Symbolic Model Checker for tccp Programs
A Methodology and a Framework for model-based Testing
An Exception Monitoring System for Java
Distributed Exception Handing;Ideas,Lessons and Issues with Recent Exception Handling Systems
A Model Based Approach to Design Applications for Network Processor
A MOF-Based Metamodel for SA/RT
Modelling System CProcess Behavior by the UML Method State Machines
My Favorite Editor Anywhere
Invited Paper
Combining System Development and System Test in a Model-Centric Approach
Author Index