軟件工程技術(shù)的快速整合/會議文集Rapid Integration of Software Engineering Techniques

內(nèi)容概要

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.

書籍目錄

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

圖書封面

評論、評分、閱讀與下載

---

    軟件工程技術(shù)的快速整合/會議文集Rapid Integration of Software Engineering Techniques PDF格式下載

---