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

• 1998
• 
  Robert Allen, Rémi Douence, David Garlan:
  Specifying and Analyzing Dynamic Software Architectures. FASE 1998: 21-37
• 
  Kent L. Beck:
  Extreme Programming: A Humanistic Discipline of Software Development. FASE 1998: 1-6
• 
  Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider:
  RELVIEW - A System for Calculating With Relations and Relational Programming. FASE 1998: 318-321
• 
  Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
  Observational Proofs with Critical Contexts. FASE 1998: 38-53
• 
  Steven Bradley, William Henderson, David Kendall, Adrian Robson:
  Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70
• 
  Robert Büssow, Robert Geisler, Marcus Klar:
  Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. FASE 1998: 71-87
• 
  Eric Dubois:
  ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering. FASE 1998: 322-325
• 
  Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
  Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. FASE 1998: 88-106
• 
  Martin Große-Rhode:
  Algebra Transformation Systems and their Composition. FASE 1998: 107-122
• 
  Ali Hamie, John Howse, Stuart Kent:
  Navigation Expresion in Object-Oriented Modelling. FASE 1998: 123-137
• 
  Reiko Heckel:
  Compositional Verification of Reactive Systems Specified by Graph Transformation. FASE 1998: 138-153
• 
  Cliff B. Jones:
  Some Mistakes I Have and What I Have Learned from Them. FASE 1998: 7-20
• 
  Stefan Kahrs, Donald Sannella:
  Reflections on the Design of a Specification language. FASE 1998: 154-170
• 
  Ulrike Lechner:
  Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. FASE 1998: 171-187
• 
  Tiziana Margaria, Bernhard Steffen:
  Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. FASE 1998: 188-204
• 
  Alexandre Mota, Augusto Sampaio:
  Model-Checking CSP-Z. FASE 1998: 205-220
• 
  Hanne Riis Nielson, Torben Amtoft, Flemming Nielson:
  Behaviour Analysis and Safety Conditions: A Case Study in CML. FASE 1998: 255-269
• 
  Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
  Rule-Based Refinement of High-Level Nets Preserving Safety Properties. FASE 1998: 221-238
• 
  Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed:
  Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. FASE 1998: 239-254
• 
  Anders Sandholm, Michael I. Schwartzbach:
  Distributed Safety Controllers for Web Services. FASE 1998: 270-284
• 
  Peter Scholz:
  A Refinement Calculus for Statecharts. FASE 1998: 285-301
• 
  Bettina Sucrow:
  Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. FASE 1998: 302-317
• 
  Josef Tapken:
  MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. FASE 1998: 326-329
• 
  Egidio Astesiano:
  Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1382, Springer 1998, ISBN 3-540-64303-6 [contents]