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

by Wirsing, Martin; Knapp, Alexander; Simonetta, Balsamo; Rissef 200 (2002 Venice, Italy); Balsamo, Simonetta

• ISBN13: 9783540211792
• ISBN10: 3540211799
• Format: Paperback
• Copyright: 2004-04-28
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The authors evaluate all major paradigms and conceptual issues in software and systems design and analysis, especially regarding their potential for modifications to cope with future needs.

Table of Contents

Architecture specific models : software design on abstract platforms (the P2P case)	p. 1
Tight structuring for precise UML-based requirement specifications	p. 16
Integrating performance modeling in the software development process	p. 35
The inevitable pain of software development : why there is no silver bullet	p. 50
Toward component-oriented formal software development : an algebraic approach	p. 75
Higher order applicative XML documents	p. 91
A new paradigm for requirements specification and analysis of system-of-systems	p. 108
Towards ontology driven software design	p. 122
A model based development approach for distributed embedded systems	p. 137
Pervasive challenges for software components	p. 152
Model generation for legacy systems	p. 167
Automatic failures-free connector synthesis : an example	p. 184
Module dependences in software design	p. 198
Towards fully automatic execution monitoring	p. 204
Automation of software system development using natural language processing and two-level grammar	p. 219
A general resource framework for real-time systems	p. 234
Architecture based model driven software and system development for real-time embedded systems	p. 249
A Computational model for complex systems of embedded systems	p. 261
Software evolution as the key to productivity	p. 274
Model-checking complex software - a memory perspective	p. 283
Agile modeling with the UML	p. 297
Predictable component architectures using dependent finite state machines	p. 310
From object orientation to goal orientation : a paradigm shift for requirements engineering	p. 325
View consistency in software development	p. 341
Author Index	p. 359
Table of Contents provided by Blackwell. All Rights Reserved.