Home » PDF & EBook » Book » Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
New Added
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
Original Title
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 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 PerspectiveIncludes bibliographical references and index
