WIFT Tutorials
We have an outstanding set of tutorials lined up for WIFT. The tutorials
have been carefully
selected to reflect specification techniques that have been used on
industrial applications. All
tutorials are half-day and will be offered on October 21. There are
6 tutorials, with three offered in parallel in the morning and three in
the afternoon. We look forward to your participation in the tutorials and
the rest of the WIFT.
Tutorial Chair
Perry Alexander, University of Cincinnati (Perry.Alexander@uc.edu)
Tentative Schedule
Click here for
an online registration form that can be printed and mailed/faxed to
IEEE.
Parallel Morning Sessions (8 a.m. - 12:00 noon)
``Z: An Introduction''
-
K. Periyasamy (University of Manitoba, Canada)
-
Registration Reference: T1
``Verification & Validation''
-
S. Easterbrook (West Virginia University/NASA V&V Facility)
-
Registration Reference: T2
``Model Checking''
-
G. Holzmann (Bell Labs, USA)
-
Registration Reference: T3
Parallel Afternoon Sessions (1:00-5:00 p.m.)
``Object-Z''
-
K. Periyasamy (University of Manitoba, Canada)
-
Registration Reference: T4
``An Introduction to Computer, network, and WWW Security''
-
R. Kemmerer (U of California at Santa Barbara)
-
Registration Reference: T5
``SCR (Software Cost Reduction)''
-
C. Heitmeyer (Naval Research Labs, USA)
-
Registration Reference: T6
Last modified 9/28/98