Radical Innovations of Software and Systems Engineering in the Future

1. Model-Checking Complex Software – A Memory Perspective

   • Murali Rangarajan, Darren Cofer

   Pages 283-296

2. Agile Modeling with the UML

   • Bernhard Rumpe

   Pages 297-309

3. Predictable Component Architectures Using Dependent Finite State Machines

   • Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner

   Pages 310-324

4. From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering

   • Axel van Lamsweerde, Emmanuel Letier

   Pages 325-340

5. View Consistency in Software Development

   • Martin Wirsing, Alexander Knapp

   Pages 341-357

6. Back Matter

   PDF

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.

• 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

• 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

Policies and ethics