Work

Formal Methods for Electronic Government

Year: 2008

Type: conference-paper

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. 1

Source: Oxford University Research Archive (ORA) (University of Oxford)

Authors: Jim Davies, Jeremy Gibbons

Language: English

Topic: E-Government and Public Services

Subfield: Political Science and International Relations

Field: Social Sciences

Domain: Social Sciences

Open Access status: green

OpenAlex ID: W7056730804

FWCI:

Cites:

Cited by:

Related to: 10