Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
The Science of Programming
Composite Structure Design
A Discipline of Programming
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Hi-index | 0.00 |
Structured design has been widely used in the software industry with good results. On the other hand, program development hand-in-hand with program-correctness proof techniques has shown promising signs for future software development. This paper attempts to bridge the gap between structured design and program development with proofs. Three basic constructs used in structure charts have been modified to incorporate guarded commands. Software design can be proved informally using the modified structure charts. With this technique, the benefits of both structured design and program correctness proofs can be applied to the development of large programs.