Downloads


Contact

Center for Electronic Governance
at UNU-IIST


Visit:Casa Silva Mendes,
Est.do Engenheiro Trigo N.4
Macao S.A.R. China
Mail:P.O. Box 3058
Tel:+853 28712930
Fax:+853 28712940
Email:icegov@iist.unu.edu
URL:www.icegov.org


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


123.3KB

Videos:

Tutorial Part 1 (172.3MB)

Tutorial Part 2 (134.8MB)

Workshop (371.5MB)