Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 200 | RISSEF 2002 (2002 : Venice, Italy), Wirsing, M. (Martin), Knapp, Alexander, 1971-, Balsamo, Simonetta
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 200
Author: RISSEF 2002 (2002 : Venice, Italy), Wirsing, M. (Martin), Knapp, Alexander, 1971-, Balsamo, Simonetta
Added by: sketch
Added Date: 2015-12-29
Publication Date: 2004
Language: eng
Subjects: Software engineering, Systems engineering
Publishers: Berlin ; New York : Springer-Verlag
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540211799
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 198.71 MB
PDF Size: 3.79 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 621
Views: 671
Total Files: 18
Media Type: texts
Description
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