ECE 450, Spring 2001
There is no official textbook for this course. We recommend the
Additional readings will come from a number of research articles and books,
and will be assigned in class.
 M. Huth, M. Ryan, Logic and Computer Science: Modeling and
Reasoning about Systems, Cambridge University Press, 1999.
 Eric Hehner, A Practical Theory of Programming,
 J. Wing, "A Specifier's Introduction to Formal Methods",
23(9):8-23, September 1990.
 A. Hall, "Seven Myths of Formal Methods", IEEE Software, 23(9):11-19,
 Edmund Clarke and Jeannette Wing, "Formal Methods: State of the Art
and Future Directions", ACM Computing Surveys, December 1996 (can be downloaded
from Jeannette's Web page: http://www.cs.cmu.edu/~wing)
1.1 User Manual.
 M. Shaw, D. Garland, Software Architecture: Perspectives on an
Emerging Discipline , Prentice Hall Publishing, 1996.
 E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements
of Reusable Object-Oriented Software, Addison-Wesley, 1995.
to 450 homepage.
Last modified on December 14, 2000