Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers
Author: Martin Wirsing, Alexander Knapp, Simonetta Balsam
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-21179-2
DOI: 10.1007/b96009

Table of Contents:

• Architecture Specific Models: Software Design on Abstract Platforms
• Tight Structuring for Precise UML-Based Requirement Specifications
• Integrating Performance Modeling in the Software Development Process
• The Inevitable Pain of Software Development: Why There Is No Silver Bullet
• Toward Component-Oriented Formal Software Development: An Algebraic Approach
• Higher Order Applicative XML Documents
• A New Paradigm for Requirements Specification and Analysis of System-of-Systems
• Towards Ontology Driven Software Design
• A Model Based Development Approach for Distributed Embedded Systems
• Pervasive Challenges for Software Components
• Model Generation for Legacy Systems
• Automatic Failures-Free Connector Synthesis: An Example
• Module Dependences in Software Design
• Towards Fully Automatic Execution Monitoring
• Automation of Software System Development Using Natural Language Processing and Two-Level Grammar
• A General Resource Framework for Real-Time Systems
• Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems
• A Computational Model for Complex Systems of Embedded Systems
• Software Evolution as the Key to Productivity
• Model-Checking Complex Software – A Memory Perspective

Includes bibliographical references and index