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

• 2013
• 
  Shaoying Liu:
  Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7787, Springer 2013, ISBN 978-3-642-39276-4 [contents]
• 2012
• 
  Mo Li, Shaoying Liu:
  Design and Implementation of a Tool for Specifying Specification in SOFL. SOFL 2012: 44-55
• 
  Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima:
  Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL 2012: 1-11
• 
  Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis:
  Applying SOFL to a Generic Insulin Pump Software Design. SOFL 2012: 116-132
• 
  Weikai Miao, Shaoying Liu:
  A Formal Specification-Based Integration Testing Approach. SOFL 2012: 26-43
• 
  Fumiko Nagoya, Tetsuo Kitagawa:
  An Application of SOFL for Rapid Prototyping. SOFL 2012: 104-115
• 
  Cong Tian, Shaoying Liu, Zhenhua Duan:
  Abstract Model Checking with SOFL Hierarchy. SOFL 2012: 71-86
• 
  Yisheng Wang, Haopeng Chen:
  Extension on Transactional Remote Services in SOFL. SOFL 2012: 133-147
• 
  Xi Wang, Shaoying Liu:
  Development of a Supporting Tool for Formalizing Software Requirements. SOFL 2012: 56-70
• 
  Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang:
  Model Checking C Programs with MSVL. SOFL 2012: 87-103
• 
  Weihang Zhang, Shaoying Liu:
  Supporting Tool for Automatic Specification-Based Test Case Generation. SOFL 2012: 12-25