|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Program Overview
Schedule
of the Keynote Lectures: 1.
Prof. Leszek Maciaszek ( 2.
Prof. Tom Gilb (independent consultant, 3.
Prof. Peri Loucopoulos (UMIST, 4.
Prof. Kalle Lyytinen ( 5.
Prof. Jim Coplien ( 6.
Schedule of the Tutorials: a. Prof. Juan Carlos - Model
Checking and Theorem Proving-Based Verification of EIS b. Prof. Tom Gilb - Competitive
Engineering: A totally metrics-based system-development method c. Prof. Balbir Barn - From
Components to Web Based Services -
PDF Version (suggestion: search for your paper number in the PDF file, using CTRL-F)
Copyright © INSTICC |