Les cours de génie logiciel de David Notkin ( U of Washington)

http://www.cs.washington.edu/education/courses/csep503/01wi/lectures/

Nota : les transparents sans les commentaires (les commentaires oraux sont accessibles) sont difficilement utilisables par un débutant (mais je peux me tromper).