Formal Methods for Electronic Government

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.