Formal Methods for Electronic Government

Electronic government is a challenging domain for software engineering, with complex requirements involving agility,transparency, accuracy, and accessibility. The techniques of <em>semantic frameworks</em>—metadata-based, model-driven development—may help to address these challenges. Dat...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Davies, J, Gibbons, J
Fformat: Conference item
Cyhoeddwyd: Kitakyushu‚ Japan 2008