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

副标题：无

作者：Nicolas

分类号：

ISBN：9783540258124

收录收藏 (0) 评论纠错

微信扫一扫,移动浏览光盘

简介

简介

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

已确认勘误

页码	勘误内容	提交人	修订印次

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

名称
类型
大小

用户反馈

FAQ

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

已确认勘误

第次印刷 筛选

第次印刷