Systematic program development

DOI10.1109/32.4619zbMATH Open0632.68014OpenAlexW2132527717MaRDI QIDQ3769945FDOQ3769945

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

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

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)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructing a theory of a data structure as an aid to program development
• Title not available (Why is that?)
• Combining top-down and bottom-up techniques in program derivation
• Program development with control abstractions.
• A New Programming Technique Derived from Dijkstra’s Methodology
• Title not available (Why is that?)
• Title not available (Why is that?)

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)