Communicating sequential processes
Communicating sequential processes
Reconciling privacy policies and regulations: ontological semantics perspective
Proceedings of the 2007 conference on Human interface: Part II
Behavioural specifications from class models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Electronic voting: an all-purpose platform
EGOV'05 Proceedings of the 4th international conference on Electronic Government
Designing quality business processes for E-government digital services
EGOV'10 Proceedings of the 9th IFIP WG 8.5 international conference on Electronic government
Livelock and deadlock detection for PA inter-organizational business processes
EGOVIS'12/EDEM'12 Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance
| Hi-index | 0.00 |
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.