| 
|
QuoteRef: baueFL_1976
topics >
all references >
ThesaHelp:
references a-b
Topic:
program proving is infeasible
Topic:
program proof via assertions
Topic:
constructing proof and program together
Topic:
stepwise refinement
Topic:
structured programming
Topic:
transformation of programs
Reference
Bauer, F.L., "Programming as an evolutionary process", Proceedings International Conference on Software Engineering, IEEE, pp. 223-235, 1976. Google
230 ;;Quote: it is hard to find 'the' invariant when a program is wrong
230 ;;Quote: proving program correctness depends on knowing the invariants satisfied by the program; given a complicated program may be difficult to find
231 ;;Quote: must develop a program and its correctness proof together; better to derive a correct program than to have a direct correctness proof
231 ;;Quote: programming is easy to understand if it is done in steps that preserve and represent the problem's structure
231 ;;Quote: program transformations should occur automatically after activation by the programmer
ThesaHelp: references a-b (396 items)
Topic: program proving is infeasible (46 items)
Topic: program proof via assertions (61 items)
Topic: constructing proof and program together (22 items)
Topic: stepwise refinement (25 items)
Topic: structured programming (27 items)
Topic: transformation of programs (27 items)