Program development by inductive stepwise refinement
作者:
R. Geoff Dromey,
期刊:
Software: Practice and Experience
(WILEY Available online 1985)
卷期:
Volume 15,
issue 1
页码: 1-28
ISSN:0038-0644
年代: 1985
DOI:10.1002/spe.4380150102
出版商: John Wiley&Sons, Ltd.
关键词: Program development;Inductive stepwise refinement;Structure clashes;Induction;Orienting mechanism;Post‐condition;Syntax diagrams;Programming methodology
数据来源: WILEY
摘要:
AbstractA constructive method of program development is presented. It seeks to unify two important ideas about program development. Namely that programming is a goal‐oriented activity and that there should be a correspondence between data and program structures. The latter concept is seen to be extensible beyond the data processing context in which it was originally proposed. Induction provides the vehicle for program development by stepwise refinement, with the final program being constructed by application of a sequence of progressively more powerful generalizations. The design process employed guarantees the correctness of the final program provided that each of the refinement steps have been correctly taken. The method is illustrated by a number of sample
点击下载:
PDF
(1331KB)
返 回