Program development by inductive stepwise refinement

DOI10.1002/SPE.4380150102MaRDI QIDQ3339257zbMATH OpenOpenAlexFDO

Authors R. Geoff Dromey

Publication date 1985

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://ro.uow.edu.au/compsciwp/78

zbMATH Keywords

inductive stepwise refinementprogram developmentprogramming methodologystructure clashes

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Program development by inductive stepwise refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3339257)