Skip to main content
SpringerLink
Log in

Rapid Integration of Software Engineering Techniques

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

  • Conference proceedings
  • © 2005

Access provided by Autonomous University of Puebla

Download book PDF

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.

Buy print copy

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

Keywords

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
      Download chapter PDF

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

      • Anthony Savidis
      Pages 11-22
      Download chapter PDF

    3. Towards a Methodology for Component-Driven Design

      • Colin Atkinson, Oliver Hummel
      Pages 23-33
      Download chapter PDF

    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
      Download chapter PDF

    5. A Symbolic Model Checker for tccp Programs

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

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

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

    7. An Exception Monitoring System for Java

      • Heejung Ohe, Byeong-Mo Chang
      Pages 71-81
      Download chapter PDF

    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
      Download chapter PDF

    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
      Download chapter PDF

    10. A MOF-Based Metamodel for SA/RT

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

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

      • Elvinia Riccobene, Patrizia Scandurra
      Pages 112-121
      Download chapter PDF

    12. My Favorite Editor Anywhere

      • Hayco de Jong, Taeke Kooiker
      Pages 122-131
      Download chapter PDF

  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
      Download chapter PDF

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Rapid Integration of Software Engineering Techniques

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