Program derivation: development of programs from...

Main
Computers - Programming
Program derivation: development of...

Program derivation: development of programs from specifications

Name: Program derivation: development of programs from specifications
ISBN: 9780201416244

Geoff Dromey, or:, R. G. Dromey

0 / 0

0 comments

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

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.

カテゴリー:

Computers - Programming

年:

1989

出版社:

Addison-Wesley

言語:

english

ページ:

648

ISBN 10:

0201416247