Map
Index
Random
Help
th

QuoteRef: baueFL_1976

topics > all references > ThesaHelp: references a-b



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

Quotations
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


Related Topics up

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)

Collected barberCB 1980
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.