• 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 21 matches

• 2012
• 
  Iulian Ober, Ileana Ober:
  SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Lecture Notes in Computer Science 7083, Springer 2012, ISBN 978-3-642-25263-1 [contents]
• 2011
• 
  Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier:
  AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. SDL Forum 2011: 262-275
• 
  Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert:
  Verifiable Coverage Criteria for Automated Testing. SDL Forum 2011: 79-89
• 
  Dennis Christmann, Philipp Becker, Reinhard Gotzhein:
  Priority Scheduling in SDL. SDL Forum 2011: 202-217
• 
  Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
  Separation of Concerns with Transactional Regions. SDL Forum 2011: 168-185
• 
  Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón Martínez:
  Session Initiation as a Service. SDL Forum 2011: 122-137
• 
  Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang:
  Standardizing Variability - Challenges and Solutions. SDL Forum 2011: 233-246
• 
  Jameleddine Hassine, Abdelouahed Gherbi:
  Exploring Early Availability Requirements Using Use Case Maps. SDL Forum 2011: 54-68
• 
  Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk:
  A Model-Driven Framework for Component-Based Development. SDL Forum 2011: 154-167
• 
  Alexander Kraas:
  A Model-Based Formalization of the Textual Notation for SDL-UML. SDL Forum 2011: 218-232
• 
  Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
  Real-Time Signaling in SDL. SDL Forum 2011: 186-201
• 
  Mohamed Mussa, Ferhat Khendek:
  Towards a Model Based Approach for Integration Testing. SDL Forum 2011: 106-121
• 
  Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato:
  Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing. SDL Forum 2011: 69-78
• 
  Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel:
  MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing. SDL Forum 2011: 247-261
• 
  Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras:
  TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. SDL Forum 2011: 26-37
• 
  Dorina C. Petriu:
  Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk). SDL Forum 2011: 1
• 
  Rick Reed:
  SDL-2010: Background, Rationale, and Survey. SDL Forum 2011: 4-25
• 
  Thierry Le Sergent:
  SCADE: A Comprehensive Framework for Critical System and Software Engineering. SDL Forum 2011: 2-3
• 
  Selo Sulistyo, Andreas Prinz:
  PMG-Pro: A Model-Driven Development Method of Service-Based Applications. SDL Forum 2011: 138-153
• 
  Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
  Synthesizing Software Models: Generating Train Station Models Automatically. SDL Forum 2011: 38-53
• 
  Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erös, Gábor Kovács, Tibor Csöndes:
  A New Approach in Model-Based Testing: Designing Test Models in TTCN-3. SDL Forum 2011: 90-105