9. RISSEF 2002:
Venice,
Italy
Martin Wirsing, Alexander Knapp, Simonetta Balsamo (Eds.):
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers.
Lecture Notes in Computer Science 2941 Springer 2004, ISBN 3-540-21179-9 BibTeX
@proceedings{DBLP:conf/rissef/2002,
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {Radical Innovations of Software and Systems Engineering in the
Future, 9th International Workshop, RISSEF 2002, Venice, Italy,
October 7-11, 2002, Revised Papers},
booktitle = {RISSEF},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2941},
year = {2004},
isbn = {3-540-21179-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).
1-15
Electronic Edition (link) BibTeX
- Egidio Astesiano, Gianna Reggio:
Tight Structuring for Precise UML-Based Requirement Specifications.
16-34
Electronic Edition (link) BibTeX
- Simonetta Balsamo, Marta Simeoni:
Integrating Performance Modeling in the Software Development Process.
35-49
Electronic Edition (link) BibTeX
- Daniel M. Berry:
The Inevitable Pain of Software Development: Why There Is No Silver Bullet.
50-74
Electronic Edition (link) BibTeX
- Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
Toward Component-Oriented Formal Software Development: An Algebraic Approach.
75-90
Electronic Edition (link) BibTeX
- Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández:
Higher Order Applicative XML Documents.
91-107
Electronic Edition (link) BibTeX
- Dale S. Caffall, James B. Michael:
A New Paradigm for Requirements Specification and Analysis of System-of-Systems.
108-121
Electronic Edition (link) BibTeX
- Paolo Ciancarini, Valentina Presutti:
Towards Ontology Driven Software Design.
122-136
Electronic Edition (link) BibTeX
- Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep:
A Model Based Development Approach for Distributed Embedded Systems.
137-151
Electronic Edition (link) BibTeX
- Thomas Gschwind, Mehdi Jazayeri, Johann Oberleitner:
Pervasive Challenges for Software Components.
152-166
Electronic Edition (link) BibTeX
- Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Model Generation for Legacy Systems.
167-183
Electronic Edition (link) BibTeX
- Paola Inverardi, Massimo Tivoli:
Automatic Failures-Free Connector Synthesis: An Example.
184-197
Electronic Edition (link) BibTeX
- Daniel Jackson:
Module Dependences in Software Design.
198-203
Electronic Edition (link) BibTeX
- Clinton Jeffery, Mikhail Auguston, Scott Underwood:
Towards Fully Automatic Execution Monitoring.
204-218
Electronic Edition (link) BibTeX
- Beum-Seuk Lee, Barrett R. Bryant:
Automation of Software System Development Using Natural Language Processing and Two-Level Grammar.
219-233
Electronic Edition (link) BibTeX
- Insup Lee, Anna Philippou, Oleg Sokolsky:
A General Resource Framework for Real-Time Systems.
234-248
Electronic Edition (link) BibTeX
- Bruce Lewis:
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems.
249-260
Electronic Edition (link) BibTeX
- Luqi, Ying Qiao, Lin Zhang:
A Computational Model for Complex Systems of Embedded Systems.
261-273
Electronic Edition (link) BibTeX
- Oscar Nierstrasz:
Software Evolution as the Key to Productivity.
274-282
Electronic Edition (link) BibTeX
- Murali Rangarajan, Darren D. Cofer:
Model-Checking Complex Software - A Memory Perspective.
283-296
Electronic Edition (link) BibTeX
- Bernhard Rumpe:
Agile Modeling with the UML.
297-309
Electronic Edition (link) BibTeX
- Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner:
Predictable Component Architectures Using Dependent Finite State Machines.
310-324
Electronic Edition (link) BibTeX
- Axel van Lamsweerde, Emmanuel Letier:
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.
325-340
Electronic Edition (link) BibTeX
- Martin Wirsing, Alexander Knapp:
View Consistency in Software Development.
341-357
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:35:55 2009
by Michael Ley (ley@uni-trier.de)