Title :
Refinement methods and refinement calculi
Author :
Litteck, Hans J. ; Wallis, Peter J L
Author_Institution :
Sch. of Math. Sci., Bath Univ., UK
fDate :
5/1/1992 12:00:00 AM
Abstract :
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 the Dijkstra programming calculus. A generalised comparison of the refinement methods and the refinement calculi is also given
Keywords :
formal specification; programming theory; Dijkstra programming calculus; VDM; Z; model-based specification languages; refinement calculi; refinement methods;
Journal_Title :
Software Engineering Journal
