Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / Edition 1

by Nicolas Guelfi

Overview

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.

Product Details

ISBN-13:	9783540258124
Publisher:	Springer Berlin Heidelberg
Publication date:	08/05/2005
Series:	Lecture Notes in Computer Science , #3475
Edition description:	2005
Pages:	145
Product dimensions:	6.10(w) x 9.25(h) x 0.01(d)

Table of Contents

Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report.- 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 Handling: 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 SystemC Process Behavior by the UML Method State Machines.- My Favorite Editor Anywhere.- Invited Paper.- Combining System Development and System Test in a Model-Centric Approach.