Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Re by Nicolas GuelfiRapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Re by Nicolas Guelfi

Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004…

byNicolas Guelfi

Paperback | May 18, 2005

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Rapid Integration of Software Engineering Techniques: First International Workshop, RISE 2004…Format:PaperbackDimensions:145 pages, 23.5 × 15.5 × 0.01 inPublished:May 18, 2005Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540258124

ISBN - 13:9783540258124

Look for similar items by category:

Reviews

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.