Technological foundations of electronic governance

Davies, Jim, Janowski, Tomasz, Ojo, Adegboyega and Shukla, Aadya, "Technological foundations of electronic governance" 1st International Conference on Theory and Practice of Electronic Governance, Macau, 2007.

Document type:
Conference Publication

  • Sub-type Conference paper
    Author Davies, Jim
    Janowski, Tomasz
    Ojo, Adegboyega
    Shukla, Aadya
    Title Technological foundations of electronic governance
    Publication Date 2007
    Place of Publication Macau
    Publisher ACM Press
    Pages 6
    Title of Event 1st International Conference on Theory and Practice of Electronic Governance
    Date of Event 2007
    Place of Event Macau
    Language eng

    This paper explores the relevance and opportunities for the application of mature Formal Techniques - techniques based on mathematical theories and supported by industry-ready tools and methods - to build technical solutions for Electronic Governance. The paper proceeds in four steps: (1) establishes the basic need for Formal Techniques in Electronic Governance, (2) identifies the challenges peculiar to Electronic Governance development, (3) presents the salient features and various application scenarios for Formal Techniques in general, and (4) carries out a mapping between the challenges to Electronic Governance and various application scenarios of Formal Techniques as part of solutions to such challenges. In the second part, the paper presents an overview of the tutorial and workshop on Formal Engineering Methods for Electronic Governance. The tutorial follows the fourstep program, as above, and the workshop includes the presentations of four papers that exemplify various elements of the mapping, particularly: the use of formal, precise modeling techniques; the importance of security risk assessment; modeldriven development of software systems; and the provision of semantic frameworks to coordinate development within and across major programs and initiatives. In the last part, the paper discusses how Formal Techniques can contribute to establishing a solid foundation for Electronic Governance.

    Copyright Holder ACM Press
    Copyright Year 2007
    Copyright type All rights reserved
    ISBN 9781595938220
    DOI 10.1145/1328057.1328063
  • Versions
    Version Filter Type
  • Citation counts
    Scopus Citation Count Cited 0 times in Scopus Article
    Google Scholar Search Google Scholar
    Access Statistics: 607 Abstract Views  -  Detailed Statistics
    Created: Thu, 25 Jun 2015, 10:39:55 JST