| 
|
QuoteRef: meerL_1978
topics >
all references >
ThesaHelp:
references m-o
Topic:
stepwise refinement
Group:
program proving
Topic:
safety critical systems
Reference
Meertens, L., "Program text and program structure", pp. 271-281, in Hibbard, P.G., Schuman, S.A. (ed.), Constructing Quality Software, Amsterdam, North-Holland, 1978. Google
275 ;;Quote: if refine a step by substituting the body, then lose derivation information; better to retain each refinement as a function
277 ;;Quote: several programming systems assist stepwise refinement by textual replacement
516 ;;Quote: a programmer on hearing that a dam had broke spent two days trying to verify his program; it wasn't his dam that failed, but he found many errors
ThesaHelp: references m-o (268 items)
Topic: stepwise refinement (25 items)
Group: program proving (10 topics, 310 quotes)
Topic: safety critical systems (32 items)