Title
Formal Engineering Methods for Electronic Governance
Date / Time
13 December 2007, 10:20 - 12:50
Venue
Lecture Theatre 1
Organizers
Prof. Jim Davies, Oxford University, UK
Dr. Tomasz Janowski, UNU-IIST-EGOV, Macao
Schedule
|
Time |
Paper - Authors - Id - Slide (Size) |
|
10:20 -10:25 |
Introduction - Jim Davies |
|
10:25 -10:45 |
Technological Foundations of Electronic Governance-Jim Davies and Tomasz Janowski, Adegboyega Ojo and Aadya Shukla - Slide (117KB) |
|
10:45 -11:05 |
Automatic Generation of E-Government Forms from Semantic Descriptions - Bernd Stadlhofer and Peter Salhofer - 42 - Slide (328 KB) |
|
11:05 - 11:25 |
Formal Support for e-Government System Design with Transparency Consideration - Xiaoyi Chen, Weiqiang Kong and Kokichi Futatsugi - 116 - Slide (250 KB) |
|
11:25 - 11:45 |
Semantic Frameworks for e-Government - Aadya Shukla, Jim Davies, Steve Harris and Charles Crichton - 118 - Slide (1.35 MB) |
|
11:45 -12:05 |
Formal Threat Descriptions for Enhancing Governmental Risk Assessment - Andreas Ekelhart, Stefan Fenz and Edgar Weippl -185 - Slide (834 KB) |
|
12:05 -12:25 |
Programmable Messaging for Electronic Government - Elsa Estevez and Tomasz Janowski - Slide (633 KB) |
|
12:25 -12:50 |
Discussions |
Presentation
|
Videos: |
|
|
|
|
|
|
|
