Computer Science and Engineering Department Seminar
CS655 Independent Study Presentation

Friday March 21st 2008, 11-11:30
Place: JBH359
Presenter: Jane Curnutt
Topic: Diagramming Logic through the Ages: From Lully to the New Millennium
- the Truth will Make You Free

Advisor: Dr. Botting

Abstract

In Watts Humphrey's book, A Discipline for Software Engineering, he points
out in chapter 10 that  one of the requirements for design quality is "A 
logical picture of the program itself"(p.316). He also advocates the use of
state diagrams. Formal methods provide us with techniques to do both of 
these, and to use for program verification. Logic diagrams are one aspect 
of formal methods.

In this presentation we will look at developments in diagramming logic from
a historical perspective, beginning in the middle ages with Ramon Lully. We
will touch on Venn diagrams, Carroll diagrams, flowcharts, digital logic, 
state diagrams, UML, and analytic tableau