Volume 187,
July 2007
Proceedings of the 11th Refinement Workshop (REFINE 2006)
- 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
Last update Wed Feb 15 05:31:37 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
