Skip to main content

Formal Methods for Electronic Government

Jim Davies and Jeremy Gibbons

Abstract

Electronic government is a challenging domain for software engineering, with complex requirements involving agility,transparency, accuracy, and accessibility. The techniques of semantic frameworks—metadata-based, model-driven development—may help to address these challenges. Data semantics and model transformations are prime application areas for formal methods, and so electronic government is an exciting new domain for education and training in formal methods.

Address
Kitakyushu‚ Japan
Book Title
Workshop on Formal Methods Education and Training at ICFEM
Month
October
Year
2008