Electronic Notes in Theoretical Computer Science, Volume 187

Volume 187, July 2007

• Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
  Preface. 1
  
• H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim:
  Modelchecking Correctness of Refactorings - Some Experiments. 3-17
  
• Leo Freitas, Jim Woodcock:
  FDR Explorer. 19-34
  
• John Derrick, Eerke A. Boiten:
  Relational Concurrent Refinement with Internal Operations. 35-53
  
• Lindsay Groves, Robert Colvin:
  Derivation of a Scalable Lock-Free Stack Algorithm. 55-74
  
• Graeme Smith, Kirsten Winter:
  Simulation Machines for Checking Action System Refinements. 75-90
  
• Tomi Westerlund, Juha Plosila:
  Time Aware System Refinement. 91-106
  
• Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
  A Denotational Semantics for Circus. 107-123
  
• Bernhard K. Aichernig, Jifeng He:
  Refinement and Test Case Generation in UTP. 125-143
  
• Xiaojian Liu, Zhiming Liu, Liang Zhao:
  Object-Oriented Structure Refinement - A Graph Transformational Approach. 145-159
  
• K. S. Cheung, K. O. Chow:
  A Petri Net Based Method for Refining Object Oriented System Specifications. 161-172
  
• David Hemer:
  Semi-Automated Component-Based Development of Formally Verified Software. 173-188