DESIGN THEORY AND COMPUTER SCIENCE
In computer science1 one of the earliest discussions of what we now call program correctness (an important aspect of computer systems design) is a relatively little known paper by Alan Turing published in 1949. Soon after, Maurice Wilkes's invention (circa 1951) of microprogramming must surely count as an important event in the methodology of computer design. In hardware logic design (or what is also called 'gate level' design) one of the debates of the late 1950s (as has been traced by Glen Langdon (1974) in his historical study of the discipline) was on a methodological issue. The so called 'Eastern School' favored the use of block diagrams in designing logic circuits while the 'Western School' advocated the use of boolean algebra. This is, in fact, a classic instance of the ever recurring debate between what might be called the 'naturalistic' and 'formalistic' schools of design
Related BooksYou May Also Like
View All
0 Comments