Systematic program development

DOI10.1109/32.4619MaRDI QIDQ3769945zbMATH OpenOpenAlexFDO

Authors R. Geoff Dromey

Publication date 1988

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.4619

zbMATH Keywords

preconditioninvariantsformal specificationspostconditionconstructive program proofsgoal-oriented programmingWirth- Dijkstra top-down refinement method

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3960970
• scientific article; zbMATH DE number 1107134
• scientific article; zbMATH DE number 193753
• Formal models of stepwise refinements of programs
• scientific article; zbMATH DE number 3934387

Cited in

(9)

• scientific article; zbMATH DE number 4022610 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• Constructing a theory of a data structure as an aid to program development
• scientific article; zbMATH DE number 1855614 (Why is no real title available?)
• Combining top-down and bottom-up techniques in program derivation
• Program development with control abstractions.
• A New Programming Technique Derived from Dijkstra’s Methodology
• scientific article; zbMATH DE number 3862413 (Why is no real title available?)
• scientific article; zbMATH DE number 3960970 (Why is no real title available?)

This page was built for publication: Systematic program development

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