Logo - springer
Slogan - springer

Computer Science - Software Engineering | Rapid Integration of Software Engineering Techniques - First International Workshop, RISE 2004,

Rapid Integration of Software Engineering Techniques

First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers

Guelfi, Nicolas (Ed.)

2005, X, 145 p. Also available online.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 

ISBN 978-3-540-32039-5

digitally watermarked, no DRM

The eBook version of this title will be available soon


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$99.00

(net) price for USA

ISBN 978-3-540-25812-4

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • About this book

RISE 2004 was an international forum for researchers and practitioners int- ested in integrated and practical software engineering approaches that are part of a methodological framework and which apply to both new and evolving app- cations, technologies and systems. The ERCIM (European Research Consortium forInformaticsandMathematics)RISEworkinggroupselectedapplicationareas such as the Web, mobility, high availability approaches, embedded approaches and user interfaces in speci?c industry sectors comprising ?nance, telecom- nications, transportation (avionics, the automotive industry) and e-government. Considered research issues in these areas pertain to the following software en- neering domains: – software/system architectures – reuse – testing – model transformation/model-driven engineering – requirements engineering – lightweight formal methods – ASE tools All papers submitted to this workshop were reviewed by at least two m- bers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected for these proceedings 12 papers amongst 28 submitted, and an invited paper. The organization of such a workshop represents an important amount of work. We would like to acknowledge all the Program Committee members, all the additional referees,all the Organization Committee members, the University of Luxembourg, Faculty of Science, Technology and Communication administ- tive, scienti?c and technical sta?, and the Henri Tudor Public Research Center.

Content Level » Research

Keywords » Java - Unified Modeling Language (UML) - architecture - ase tools - component-based systems - formal methods - model driven software engineering - modeling - object technology - requirements engineering - software architectures - software engineering - software reuse - software testing - uml

Related subjects » Software Engineering - Theoretical Computer Science

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.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering.