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

• 2007
• 
  Paul Baker, Clive Jervis:
  Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. SDL Forum 2007: 86-100
• 
  Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
  Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
• 
  Guillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener:
  Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry. SDL Forum 2007: 242-257
• 
  Ingmar Fliege, Reinhard Gotzhein:
  Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. SDL Forum 2007: 150-165
• 
  Abdelouahed Gherbi, Ferhat Khendek:
  Consistency of UML/SPT Models. SDL Forum 2007: 203-224
• 
  Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn:
  Specifying Input Port Bounds in SDL. SDL Forum 2007: 101-116
• 
  Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
  Formal Verification of Use Case Maps with Real Time Extensions. SDL Forum 2007: 225-241
• 
  Jason Kealey, Daniel Amyot:
  Enhanced Use Case Map Traversal Semantics. SDL Forum 2007: 133-149
• 
  Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin:
  SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems. SDL Forum 2007: 272-288
• 
  Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann:
  Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum 2007: 166-185
• 
  Javier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola:
  Using TTCN for Radio Conformance Test Systems. SDL Forum 2007: 69-85
• 
  Andreas Prinz, Markus Scheidgen, Merete Skjelten Tveit:
  A Model-Based Standard for SDL. SDL Forum 2007: 1-18
• 
  Manuel Rodríguez, José María Parra:
  Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator. SDL Forum 2007: 186-202
• 
  Krzysztof Sacha:
  Translatable Finite State Time Machine. SDL Forum 2007: 117-132
• 
  Eric Verhulst, Gjalt G. de Jong:
  OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling. SDL Forum 2007: 258-271
• 
  Thomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul H. Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook:
  Experiences in Deploying Model-Driven Engineering. SDL Forum 2007: 35-53
• 
  Edith Werner, Jens Grabowski, Helmut Neukirchen, Nils Röttger, Stephan Waack, Benjamin Zeiss:
  TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets. SDL Forum 2007: 54-68
• 
  Emmanuel Gaudin, Elie Najm, Rick Reed:
  SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings. Lecture Notes in Computer Science 4745, Springer 2007, ISBN 978-3-540-74983-7 [contents]