Formal Methods for Electronic Government
Jim Davies and Jeremy Gibbons
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.