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...
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
Kitakyushu‚ Japan
2008
|