Skip to main content
SpringerLink
Log in

Rapid Integration of Software Engineering Techniques

Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

  • Conference proceedings
  • © 2006

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

  2. Anthony Savidis

    1. Department of Computer Science, University of Crete, Greece

    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 3943)

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

Included in the following conference series:

Conference proceedings info: RISE 2005.

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 (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Doing More with Contracts: Towards Automatic Tests and Proofs

    • Bertrand Meyer
    Pages 1-1

  3. Using Stepwise Feature Introduction in Practice: An Experience Report

    • Ralph-Johan Back, Johannes Eriksson, Luka Milovanov
    Pages 2-17

  4. Rapid System Development Via Product Line Architecture Implementation

    • Mauro Caporuscio, Henry Muccini, Patrizio Pelliccione, Ezio Di Nisio
    Pages 18-33

  5. User Centred Rapid Application Development

    • Edward Lank, Ken Withee, Lisa Schile, Tom Parker
    Pages 34-49

  6. Software Testing with Evolutionary Strategies

    • Enrique Alba, J. Francisco Chicano
    Pages 50-65

  7. A Technique to Represent Product Line Core Assets in MDA/PIM for Automation

    • Hyun Gi Min, Soo Dong Kim
    Pages 66-80

  8. Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain

    • Massimo Felici
    Pages 81-96

  9. Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs

    • J. J. Vinju
    Pages 97-112

  10. Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming

    • Anthony Savidis
    Pages 113-128

  11. Context-Aware Service Composition in Pervasive Computing Environments

    • Sonia Ben Mokhtar, Damien Fournier, Nikolaos Georgantas, Valérie Issarny
    Pages 129-144

  12. Can Aspects Implement Contracts?

    • Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer
    Pages 145-157

  13. Aspects-Classes Integration Testing Strategy: An Incremental Approach

    • Philippe Massicotte, Linda Badri, Mourad Badri
    Pages 158-173

  14. Prototyping Domain Specific Languages with COOPN

    • Luis Pedro, Levi Lucio, Didier Buchs
    Pages 174-189

  15. An Improved Case-Based Approach to LTL Model Checking

    • Fei Pu, Wenhui Zhang, Shaochun Wang
    Pages 190-202

  16. Synthesized UML, a Practical Approach to Map UML to VHDL

    • Medard Rieder, Rico Steiner, Cathy Berthouzoz, Francois Corthay, Thomas Sterren
    Pages 203-217

  17. Towards Service-Based Business Process Modeling, Prototyping and Integration

    • Ang Chen, Didier Buchs
    Pages 218-233

  18. Formal Development of Reactive Fault Tolerant Systems

    • Linas Laibinis, Elena Troubitsyna
    Pages 234-249

  19. Network Structure and Traffic Modeling and Simulation with CO-OPN

    • David Hurzeler
    Pages 250-265

  20. Balancing Agility and Discipline with XPrince

    • Jerzy Nawrocki, Lukasz Olek, Michal Jasinski, Bartosz PaliÅ›wiat, Bartosz Walter, BÅ‚ażej Pietrzak et al.
    Pages 266-277
Back to top

Other volumes

  1. Rapid Integration of Software Engineering Techniques

Keywords

About this book

RISE 2005 (http://rise2005.ics.forth.gr/) was the second annual inter-national workshop of the ERCIM (European Research Consortium for Informatics and Mathematics - http://www.ercim.org/) Working Group on Rapid Integration of Software Engineering techniques (RISE - http://rise.uni.lu/). RISE is an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches being part of a methodological framework, which apply to the development of new or evolving applications and systems. RISE provides an opportunity to present and discuss the latest research results and ideas in the rapid and effective integration of software engineering techniques. Target application domains of interest to RISE include: • Web-based software systems • Mobile communication systems • High-availability or mission-critical systems • Resilient business and grid applications • Ambient intelligence environments • Embedded systems and applications • User interface development • Development environments • Electronic entertainment • Enterprise computing and applications In particular, RISE 2005 focused on an open and inclusive set of key software engineering domains, which formed the focal point of the workshop, including, but not limited to: • Software and system architectures • Software reuse • Software testing • Software model checking • Model-driven design and testing techniques • Model transformation • Requirements engineering • Lightweight or practice-oriented formal methods • Software processes and software metrics • Automated software engineering • Design patterns • Design by contract • Defensive programming

Editors and Affiliations

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

    Nicolas Guelfi

  • Department of Computer Science, University of Crete, Greece

    Anthony Savidis

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation