Skip to main content
SpringerLink
Log in
Book cover

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Martin Wirsing

    1. Institute of Computer Science, LMU Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Knapp

    1. Institut für Informatik, Ludwig-Maximilians-Universität München,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Simonetta Balsamo

    1. Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Venezia Mestre, Italy

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

Included in the following conference series:

Conference proceedings info: RISSEF 2002.

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

  1. Front Matter

    Download chapter PDF

  2. Architecture Specific Models: Software Design on Abstract Platforms

    • Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Pages 1-15

  3. Tight Structuring for Precise UML-Based Requirement Specifications

    • Egidio Astesiano, Gianna Reggio
    Pages 16-34

  4. Integrating Performance Modeling in the Software Development Process

    • Simonetta Balsamo, Marta Simeoni
    Pages 35-49

  5. The Inevitable Pain of Software Development: Why There Is No Silver Bullet

    • Daniel M. Berry
    Pages 50-74

  6. Toward Component-Oriented Formal Software Development: An Algebraic Approach

    • Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Pages 75-90

  7. Higher Order Applicative XML Documents

    • Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Fernández Sánchez
    Pages 91-107

  8. A New Paradigm for Requirements Specification and Analysis of System-of-Systems

    • Dale S. Caffall, James B. Michael
    Pages 108-121

  9. Towards Ontology Driven Software Design

    • Paolo Ciancarini, Valentina Presutti
    Pages 122-136

  10. A Model Based Development Approach for Distributed Embedded Systems

    • Frédéric Gilliers, Fabrice Kordon, Dan Regep
    Pages 137-151

  11. Pervasive Challenges for Software Components

    • Thomas Gschwind, Mehdi Jazayeri, Johann Oberleitner
    Pages 152-166

  12. Model Generation for Legacy Systems

    • Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Pages 167-183

  13. Automatic Failures-Free Connector Synthesis: An Example

    • Paola Inverardi, Massimo Tivoli
    Pages 184-197

  14. Module Dependences in Software Design

    • Daniel Jackson
    Pages 198-203

  15. Towards Fully Automatic Execution Monitoring

    • Clinton Jeffery, Mikhail Auguston, Scott Underwood
    Pages 204-218

  16. Automation of Software System Development Using Natural Language Processing and Two-Level Grammar

    • Beum-Seuk Lee, Barrett R. Bryant
    Pages 219-233

  17. A General Resource Framework for Real-Time Systems

    • Insup Lee, Anna Philippou, Oleg Sokolsky
    Pages 234-248

  18. Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems

    • Bruce Lewis
    Pages 249-260

  19. A Computational Model for Complex Systems of Embedded Systems

    • Luqi, Ying Qiao, Lin Zhang
    Pages 261-273

  20. Software Evolution as the Key to Productivity

    • Oscar Nierstrasz
    Pages 274-282
Back to top

Other volumes

  1. Radical Innovations of Software and Systems Engineering in the Future

Keywords

About this book

This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: – there is no proof and no evidence that software productivity has increased with the new methods; – UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; – support for mobile distributed system development is missing; – formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.

Editors and Affiliations

  • Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

  • Institut für Informatik, Ludwig-Maximilians-Universität München,  

    Alexander Knapp

  • Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Venezia Mestre, Italy

    Simonetta Balsamo

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation