SIGSOFT
2002 Tutorials
Tuesday, November 19
All tutorials will be held on Tuesday, November 19. Tutorials are each
one-half day in length.
Morning (8:30 - 12:00)
[T1]
Viewpoint Analysis and Requirements Engineering
Bashar Nuseibeh, The Open University, UK and Steve Easterbrook,
University of Toronto
[T2]
Micromodels of Software: Modelling and Analysis with Alloy
Daniel Jackson, MIT
[T3]
Software Engineering Education:
Integrating Software Engineering into
the Undergraduate Curriculum
Thomas Horton, University of Virginia and W. Michael McCracken, Georgia
Institute of Technology
» This tutorial
is part of the SIGSOFT 2002 Educator's
Grant Program. This tutorial is open to the general public but
first priority will be given to those funded through this Program.
Afternoon (1:30 - 5:00)
[T4]
Software Model Checking
Matthew Dwyer, Kansas State University
[T5]
Internet Security (Cancelled)
Richard A. Kemmerer, University of California, Santa Barbara
[T6]
Software Engineering Education:
New Concepts in Software Engineering
Education
Thomas Horton, University of Virginia; Michael Lutz, Rochester Institute
of Technology; W. Michael McCracken, Georgia Institute of Technology;
Ann Sobel, Miami University, Oxford, Ohio; and Laurie Williams, North
Carolina State University
» This tutorial
is part of the SIGSOFT 2002 Educator's
Grant Program. This tutorial is open to the general public but
first priority will be given to those funded through this Program.