9. RISSEF 2002: Venice, Italy

@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
  
• Egidio Astesiano, Gianna Reggio:
  Tight Structuring for Precise UML-Based Requirement Specifications. 16-34
  
• Simonetta Balsamo, Marta Simeoni:
  Integrating Performance Modeling in the Software Development Process. 35-49
  
• Daniel M. Berry:
  The Inevitable Pain of Software Development: Why There Is No Silver Bullet. 50-74
  
• Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
  Toward Component-Oriented Formal Software Development: An Algebraic Approach. 75-90
  
• Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández:
  Higher Order Applicative XML Documents. 91-107
  
• Dale S. Caffall, James Bret Michael:
  A New Paradigm for Requirements Specification and Analysis of System-of-Systems. 108-121
  
• Paolo Ciancarini, Valentina Presutti:
  Towards Ontology Driven Software Design. 122-136
  
• Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep:
  A Model Based Development Approach for Distributed Embedded Systems. 137-151
  
• Thomas Gschwind, Mehdi Jazayeri, Johann Oberleitner:
  Pervasive Challenges for Software Components. 152-166
  
• Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
  Model Generation for Legacy Systems. 167-183
  
• Paola Inverardi, Massimo Tivoli:
  Automatic Failures-Free Connector Synthesis: An Example. 184-197
  
• Daniel Jackson:
  Module Dependences in Software Design. 198-203
  
• Clinton Jeffery, Mikhail Auguston, Scott Underwood:
  Towards Fully Automatic Execution Monitoring. 204-218
  
• Beum-Seuk Lee, Barrett R. Bryant:
  Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. 219-233
  
• Insup Lee, Anna Philippou, Oleg Sokolsky:
  A General Resource Framework for Real-Time Systems. 234-248
  
• Bruce Lewis:
  Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems. 249-260
  
• Luqi, Ying Qiao, Lin Zhang:
  A Computational Model for Complex Systems of Embedded Systems. 261-273
  
• Oscar Nierstrasz:
  Software Evolution as the Key to Productivity. 274-282
  
• Murali Rangarajan, Darren D. Cofer:
  Model-Checking Complex Software - A Memory Perspective. 283-296
  
• Bernhard Rumpe:
  Agile Modeling with the UML. 297-309
  
• Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner:
  Predictable Component Architectures Using Dependent Finite State Machines. 310-324
  
• Axel van Lamsweerde, Emmanuel Letier:
  From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering. 325-340
  
• Martin Wirsing, Alexander Knapp:
  View Consistency in Software Development. 341-357
  

Last update Fri May 25 08:34:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page