• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 25 matches

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