Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Radical Innovations of Software and Systems Engineering in the Future

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

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)

Conference series link(s): RISSEF: International Workshop on Radical Innovations of Software and Systems Engineering in the Future

Conference proceedings info: RISSEF 2002.

Sections

Buy it now

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

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

Table of contents (24 papers)

  1. Front Matter

    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

  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

  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

  17. A General Resource Framework for Real-Time Systems

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

  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

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation