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

• 2016
• 
  Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing:
  Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1: 180-200 (2016)
• 
  Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
  Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016)
• 
  Boban Celebic, Ruth Breu, Michael Felderer:
  Traceability Types for Mastering Change in Collaborative Software Quality Management. LNCS Trans. Found. Mastering Chang. 1: 242-256 (2016)
• 
  Michael Felderer:
  Issues on Software Quality Models for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 225-241 (2016)
• 
  Klaus Havelund, Rahul Kumar:
  Verified Change. LNCS Trans. Found. Mastering Chang. 1: 71-89 (2016)
• 
  Matthias M. Hölzl, Thomas Gabor:
  Continuous Collaboration for Changing Environments. LNCS Trans. Found. Mastering Chang. 1: 201-224 (2016)
• 
  Axel Legay, Louis-Marie Traonouez:
  Statistical Model Checking with Change Detection. LNCS Trans. Found. Mastering Chang. 1: 157-179 (2016)
• 
  Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey:
  Good Change and Bad Change: An Analysis Perspective on Software Evolution. LNCS Trans. Found. Mastering Chang. 1: 90-112 (2016)
• 
  Tiziana Margaria:
  Knowledge Management for Inclusive System Evolution. LNCS Trans. Found. Mastering Chang. 1: 7-21 (2016)
• 
  Arend Rensink:
  Model Patterns - The Quest for the Right Level of Abstraction. LNCS Trans. Found. Mastering Chang. 1: 47-70 (2016)
• 
  Bernhard Steffen:
  Introduction to the First Issue of FoMaC. LNCS Trans. Found. Mastering Chang. 1: 1-6 (2016)
• 
  Bernhard Steffen, Stefan Naujokat:
  Archimedean Points: The Essence for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 22-46 (2016)
• 
  Stavros Tripakis:
  Compositional Model-Based System Design and Other Foundations for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 113-129 (2016)
• 
  Bernhard Steffen:
  Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science 9960, Springer 2016, ISBN 978-3-319-46507-4 [contents]