Electronic Notes in Theoretical Computer Science, Volume 187

Volume 187, July 2007

Proceedings of the 11th Refinement Workshop (REFINE 2006)

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