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

书籍目录

Integration of Software Engineering Techniques Through the Use of Architecture,Process,and People Management:An Experience ReportSupporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming LanguageTowards a Methodology for Component-Driven DesignAutomatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service VerificationA Symbolic Model Checker for tccp ProgramsA Methodology and a Framework for model-based TestingAn Exception Monitoring System for JavaDistributed Exception Handing;Ideas,Lessons and Issues with Recent Exception Handling SystemsA Model Based Approach to Design Applications for Network ProcessorA MOF-Based Metamodel for SA/RTModelling System CProcess Behavior by the UML Method State MachinesMy Favorite Editor AnywhereInvited Paper  Combining System Development and System Test in a Model-Centric ApproachAuthor Index

作者简介

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.

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