Refinement methods and refinement calculi
Hans J. Litteck, Peter J. L. Wallis · Software Engineering Journal · 1992
A number of modern approaches to refinement are discussed and compared, and their broad classification into refinement methods and refinement calculi is explained. The refinement methods concerned are all based on the model-based specification languages VDM and Z, whereas the refinement calculi are all developments of Dijkstra's programming calculus [1]. We conclude with a generalised comparison of the refinement methods and the refinement calculi.