 |
Seminar's Agenda PDF version for printing (50 KB)
09:15 Arrival
09:30 Welcome,
Michael Rodeh, Director of the Haifa Labs, VP, Storage Development Europe, STG
09:45 Keynote: HyperFlow: An Integrated Visual Query and Dataflow Language for End-user Information Analysis,
Ron Pinter, Technion - Israel Institute of Technology
(Presentation)
10:45 Compile-time Verification of Properties of Heap Intensive Programs,
Mooly Sagiv, Tel Aviv University, Israel
(Presentation)
11:15 Break and demonstration session
11:45 Business Processes: Connecting the Design-time to the Run-time,
Joshua Fox, Director and Principal Software Architect, Mercury Interactive
(Presentation)
12:15 Safety Checks and Semantic Understanding via Program Analysis Techniques,
Nurit Dor, Inbal Ronen, and Sara Porat, IBM Haifa Research Lab
(Presentation)
|
|
|
|
12:45 JTL - The Java Tools Language,
Tal Cohen, Joseph (Yossi) Gil, and Itay Maman, Technion - Israel Institute of Technology
(Presentation)
13:15 Lunch and demonstration session
14:15 Keynote: Model-driven and Service-oriented Development using Eclipse, J2EE, and Web Services,
Kyle Brown, Senior Technical Staff Member, IBM Software Services for WebSphere
(Presentation)
15:15 Coffee Break
15:30 Rhapsody: A Pragmatic Approach to Model-driven Development,
Eran Gery, VP Development, I-Logix Israel
(Presentation)
16:00 The COMPASS Assessment and Migration Framework,
Avi Yaeli, Netta Aizenbud, Jonathan Bnayahu, Nurit Dor, and Sara Porat, IBM Haifa Research Lab
(Presentation)
16:30 Concluding Remarks,
Gabi Zodik, Senior Manager, Software and Services Department, IBM Haifa Research Lab
|
|
