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

• 2012
• 
  Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff:
  MDE Basics with a DSL Focus. SFM 2012: 21-57
• 
  Steffen Becker:
  Model Transformations in Non-functional Analysis. SFM 2012: 263-289
• 
  Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer:
  An Introduction to Model Versioning. SFM 2012: 336-398
• 
  Jordi Cabot, Martin Gogolla:
  Object Constraint Language (OCL): A Definitive Guide. SFM 2012: 58-90
• 
  Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
  Abstractions for Validation in Action. SFM 2012: 192-218
• 
  Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani:
  Software Performance Antipatterns: Modeling and Analysis. SFM 2012: 290-335
• 
  Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt:
  Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM 2012: 137-191
• 
  Dorina C. Petriu, Mohammad Alhaj, Rasha Tawhid:
  Software Performance Modeling. SFM 2012: 219-262
• 
  Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio:
  Model Transformations. SFM 2012: 91-136
• 
  Bran Selic:
  The Less Well Known UML - A Short User Guide. SFM 2012: 1-20
• 
  Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer, Lars Hamann:
  Formal Specification and Testing of Model Transformations. SFM 2012: 399-437
• 
  Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio:
  Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Lecture Notes in Computer Science 7320, Springer 2012, ISBN 978-3-642-30981-6 [contents]