Program derivation: development of programs from specifications
Geoff Dromey, or:, R. G. Dromey
The author advocates the view that programming is essentially a branch of mathematics and that the teaching of programming should from the very beginning deal with the derivation of programs from their specifications in a way that guarantees their correctness, that is, their consistency with specifications.
Dromey has developed a strategy under which one first writes a program that works for a very limited subset of the input domain, then refines it in stages to work for ever larger input sets.
Dromey has developed a strategy under which one first writes a program that works for a very limited subset of the input domain, then refines it in stages to work for ever larger input sets.
Catégories:
Année:
1989
Editeur::
Addison-Wesley
Langue:
english
Pages:
648
ISBN 10:
0201416247
ISBN 13:
9780201416244
Collection:
International Computer Science Series
Fichier:
DJVU, 4.66 MB
IPFS:
,
english, 1989