ECE 450, Spring 2001
Reading List
There is no official textbook for this course. We recommend the
following book:
-
[1] M. Huth, M. Ryan, Logic and Computer Science: Modeling and
Reasoning about Systems, Cambridge University Press, 1999.
Additional readings will come from a number of research articles and books,
and will be assigned in class.
-
[2] Eric Hehner, A Practical Theory of Programming,
Springer-Verlag, 1993.
-
[3] J. Wing, "A Specifier's Introduction to Formal Methods",
IEEE Computer,
23(9):8-23, September 1990.
-
[4] A. Hall, "Seven Myths of Formal Methods", IEEE Software, 23(9):11-19,
September 1990.
-
[5] 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)
-
[6] NuSMV
1.1 User Manual.
-
[7] M. Shaw, D. Garland, Software Architecture: Perspectives on an
Emerging Discipline , Prentice Hall Publishing, 1996.
-
[8] E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements
of Reusable Object-Oriented Software, Addison-Wesley, 1995.
Back
to 450 homepage.
Last modified on December 14, 2000