Program
|
10/12/2007 |
|
|
11/12/2007 |
|
|
12/12/2007 |
|
|
13/12/2007 |
Downloads
- second-call-for-papers.txt 19.55 kB
- conference-info.pdf 2.09 MB
- registration.pdf 34.81 kB
- call-for-participation.txt 22.95 kB
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
- Tutorial: 10 December 2007, 10:20 - 12:50
- Workshop: 13 December 2007, 10:20 - 12:50
Organizers
|
|
Prof. Jim Davies, Oxford University, United Kingdom |
|
|
Dr. Tomasz Janowski, UNU-IIST-EGOV, Macao |
Description
This event aims to contribute to theoretical underpinnings for Electronic Government. The tutorial session will teach the foundations of formal specification and verification techniques and their applications in developing domain models and theories in Electronic Government. Such formal models and domain theories provide clarity and consistency in describing important concepts, problems and solutions related to e-Government – particularly those amenable to computing support. The workshop session will feature presentations of invited papers on formal methods with applications to electronic governance and related disciplines.
Audience
- Software Engineering Researchers
- Software Engineers with interest in public sector applications
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 |
Biography
Jim Davies
Prof. Jim Davies is Professor of Software Engineering, and the Director of the Software Engineering Programme at the University of Oxford. He leads a group researching into model- and semantics-driven approaches to software development, with a particular interest in medical research informatics. Prior to joining Oxford University, Prof. Davies was a Lecturer in Computer Science, University of Reading (1993-1995). He holds a BA in Mathematics, MSc in Computation and DPhil Computation (UK BCS/CPHC Distinguished Dissertation Prize) all from the University of Oxford
Tomasz Janowski
Tomasz Janowski is the founder and head of the Center for Electronic Governance at United Nations University International Institute for Software Technology in Macao (UNU-IIST-EGOV) where he is also a Senior Research Fellow. He has authored and co-authored numerous publications in Computer Science, Software Engineering and Electronic Governance.
He has also served as a Program Committee (PC) member and PC Chair at many international conferences, and has led a number of research, development and capacity-building projects in the area of Electronic Governance. In particular, he initiated the International Conference on Theory and Practice of Electronic Governance (ICEGOV), led the e-Macao Program to build a foundation for Electronic Government in Macao, and started the UNeGov.net initiative to building a global Community of Practice for Electronic Governance. As part of UNeGov.net, Tomasz Janowski co-organized numerous schools and workshop on Electronic Governance around the world. His research interests include foundations and frameworks for sustainable Electronic Governance, tools and applications of formal techniques, and rigorous development of enterprise systems, particularly systems for the public sector. Tomasz Janowski holds a PhD in Computer Science from the University of Warwick, England, and an MSc in Mathematics from the University of Gdansk, Poland.
Presentation
|
Videos: |
|
|
|
|
|
|
|
