Skip to main content
SpringerLink
Log in
Book cover

Rapid Integration of Software Engineering Techniques

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Nicolas Guelfi

    1. Laboratory for Advanced Software Systems, University of Luxembourg, Luxembourg-Kirchberg, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3475)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RISE 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report

    1. Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report

      • Christopher Nelson, Jung Soo Kim
      Pages 1-10

    2. Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language

      • Anthony Savidis
      Pages 11-22

    3. Towards a Methodology for Component-Driven Design

      • Colin Atkinson, Oliver Hummel
      Pages 23-33

    4. Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification

      • Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen
      Pages 34-44

    5. A Symbolic Model Checker for tccp Programs

      • M. Alpuente, M. Falaschi, A. Villanueva
      Pages 45-56

    6. A Methodology and a Framework for Model-Based Testing

      • Levi Lucio, Luis Pedro, Didier Buchs
      Pages 57-70

    7. An Exception Monitoring System for Java

      • Heejung Ohe, Byeong-Mo Chang
      Pages 71-81

    8. Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems

      • Aurélien Campéas, Christophe Dony, Christelle Urtado, Sylvain Vauttier
      Pages 82-92

    9. A Model Based Approach to Design Applications for Network Processor

      • S. Afsharian, A. Bertolino, G. De Angelis, P. Iovanna, R. Mirandola
      Pages 93-101

    10. A MOF-Based Metamodel for SA/RT

      • Joakim Isaksson, Johan Lilius, Dragos Truscan
      Pages 102-111

    11. Modelling SystemC Process Behavior by the UML Method State Machines

      • Elvinia Riccobene, Patrizia Scandurra
      Pages 112-121

    12. My Favorite Editor Anywhere

      • Hayco de Jong, Taeke Kooiker
      Pages 122-131

  3. Invited Paper

    1. Combining System Development and System Test in a Model-Centric Approach

      • M. Born, I. Schieferdecker, O. Kath, C. Hirai
      Pages 132-143

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Rapid Integration of Software Engineering Techniques

Keywords

Editors and Affiliations

  • Laboratory for Advanced Software Systems, University of Luxembourg, Luxembourg-Kirchberg, Luxembourg

    Nicolas Guelfi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation