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