DocumentCode
894279
Title
Refinement methods and refinement calculi
Author
Litteck, Hans J. ; Wallis, Peter J L
Author_Institution
Sch. of Math. Sci., Bath Univ., UK
Volume
7
Issue
3
fYear
1992
fDate
5/1/1992 12:00:00 AM
Firstpage
219
Lastpage
229
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
144804
Link To Document