DocumentCode
273243
Title
Design by calculation and proof
Author
Hoare, C.A.R.
Author_Institution
Comput. Lab., Oxford Univ., UK
fYear
1988
fDate
11-15 Apr 1988
Firstpage
87
Lastpage
93
Abstract
Expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. The philosophy is illustrated by a familiar example, the design of a hardware circuit for addition of natural numbers in binary representation
Keywords
design engineering; engineering computing; programming theory; calculations; engineering design; hardware design; proofs;
fLanguage
English
Publisher
iet
Conference_Titel
Design and Application of Parallel Digital Processors, 1988., International Specialist Seminar on the
Conference_Location
Lisbon
Print_ISBN
0-85296-366-1
Type
conf
Filename
10367
Link To Document