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

• 1994
• 
  Matthias Anlauff, Stefan Jähnichen, Martin Simons:
  An experimental support system for formal mathematical reasoning. FME 1994: 421-440
• 
  Ralph-Johan Back, Kaisa Sere:
  From Action Systems to Modular Systems. FME 1994: 1-25
• 
  Roberto Souto Maior de Barros:
  Deriving Relational Database Programs from Formal Specifications. FME 1994: 703-723
• 
  Jonathan P. Bowen, Michael G. Hinchey:
  Seven More Myths of Formal Methods. FME 1994: 105-117
• 
  Omar Cherkaoui:
  Specification and Analysis of a Security Management System. FME 1994: 66-82
• 
  Tim Clement:
  Comparing Approaches to Data Reification. FME 1994: 118-133
• 
  Rodger Collinson:
  A Critical Look at Functional Specifications. FME 1994: 381-400
• 
  Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira:
  From MooZ to Eiffel - A Rigorous Approach to System Development. FME 1994: 306-325
• 
  Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard:
  Combining the Design of Industrial Systems with Effective Verification Techniques. FME 1994: 639-658
• 
  Babak Dehbonei, Fernando Mejia:
  Formal Methods in the Railways Signalling Industry. FME 1994: 26-34
• 
  David J. Duke, Michael D. Harrison:
  A Theory of Presentations. FME 1994: 271-290
• 
  Morten Elvang-Gøransson, Robert E. Fields:
  An Extended VDM Refinement Relation. FME 1994: 175-189
• 
  François Erasmy, Emil Sekerinski:
  Stepwise Refinement of Control Software - A Case Study Using RAISE. FME 1994: 547-566
• 
  Andy Evans:
  Specifying & Verifying Concurrent Systems Using Z. FME 1994: 366-380
• 
  P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson:
  Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. FME 1994: 681-702
• 
  Colin J. Fidge:
  Adding Real Time to Formal Program Development. FME 1994: 618-638
• 
  John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen:
  Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44
• 
  Jesper Gørtz:
  Specifying Safety and Progress Properties with RSL. FME 1994: 567-581
• 
  Joshua D. Guttman, Dale M. Johnson:
  Three Applications of Formal Methods at MITRE. FME 1994: 55-65
• 
  Kirsten Mark Hansen:
  Validation of a Railway Interlocking Model. FME 1994: 582-601
• 
  Daniel Jackson:
  Abstract Model Checking of Infinite Specifications. FME 1994: 519-531
• 
  John A. Keane, Jin Sa, Brian Warboys:
  Applying a Concurrent Formal Framework to Process Modelling. FME 1994: 291-305
• 
  Trevor King:
  Formalising British Rail's Signalling Rules. FME 1994: 45-54
• 
  Peter Gorm Larsen:
  Evaluation of Underdetermined Explicit Definitions. FME 1994: 233-250
• 
  Yves Ledru:
  Proof-Based Development of Specifications with KIDS/VDM. FME 1994: 214-232
• 
  Peter A. Lindsay:
  On transferring VDM verification techniques to Z. FME 1994: 190-213
• 
  Ursula Martin, Muffy Thomas:
  Verification Techniques for LOTOS. FME 1994: 83-92
• 
  Ian Maung, John Howse, Richard J. Mitchell:
  Towards a Formalization of Programming-by-Difference. FME 1994: 134-153
• 
  Tom Mens, Kim Mens, Patrick Steyaert:
  OPUS: a Formal Approach to Object-Orientation. FME 1994: 326-345
• 
  Peter D. Mosses, Martin A. Musicante:
  An Action Semantics for ML Concurrency Primitives. FME 1994: 461-479

skipping 12 more matches