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

by Martin Wirsing (editor)

Architecture Specific 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 Why There Is No Silver Bullet.- Toward Component-Oriented Formal Software 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 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.- Agile Modeling with the UML.- Predictable Component Architectures Using Dependent Finite State Machines.- From Object Orientation to Goal A Paradigm Shift for Requirements Engineering.- View Consistency in Software Development.

368 pages, Paperback

Published March 12, 2014