Radical Innovations of Software and Systems Engineering in the Future

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

  • Martin Wirsing
  • Alexander Knapp
  • Simonetta Balsamo

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

Table of contents

  1. Front Matter
  2. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Pages 1-15
  3. Egidio Astesiano, Gianna Reggio
    Pages 16-34
  4. Simonetta Balsamo, Marta Simeoni
    Pages 35-49
  5. Michel Bidoit, Donald Sannella, Andrzej Tarlecki
    Pages 75-90
  6. Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Fernández Sánchez
    Pages 91-107
  7. Paolo Ciancarini, Valentina Presutti
    Pages 122-136
  8. Frédéric Gilliers, Fabrice Kordon, Dan Regep
    Pages 137-151
  9. Thomas Gschwind, Mehdi Jazayeri, Johann Oberleitner
    Pages 152-166
  10. Hardi Hungar, Tiziana Margaria, Bernhard Steffen
    Pages 167-183
  11. Paola Inverardi, Massimo Tivoli
    Pages 184-197
  12. Daniel Jackson
    Pages 198-203
  13. Clinton Jeffery, Mikhail Auguston, Scott Underwood
    Pages 204-218
  14. Insup Lee, Anna Philippou, Oleg Sokolsky
    Pages 234-248
  15. Luqi, Ying Qiao, Lin Zhang
    Pages 261-273
  16. Oscar Nierstrasz
    Pages 274-282

About these proceedings

Introduction

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.

Keywords

Processing Requirements Engineering Unified Modeling Language (UML) component-oriented software devel design embedded systems modeling productivity software development software engineering system development systems analysis systems design systems engineering systems modeling

Editors and affiliations

  • Martin Wirsing
    • 1
  • Alexander Knapp
    • 2
  • Simonetta Balsamo
    • 3
  1. 1.Institute of Computer ScienceLMU MunichMunichGermany
  2. 2.Institut für InformatikLudwig-Maximilians-Universität München 
  3. 3.Dipartimento di InformaticaUniversità Ca’ Foscari di VeneziaVenezia MestreItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b96009
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21179-2
  • Online ISBN 978-3-540-24626-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace