This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
In the public sector (particularly in the UK in light of recent reforms i.e. the Local Government Act 2000, etc.) a greater degree of accountability and public involvement or inte...
Patrick G. Watson, Penny Duquenoy, Margaret Brenna...
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
The Semantic Web is intended for knowledge sharing among agents as well as humans. To achieve this goal, Ontologies, which express knowledge in a certain vitality as well as in a ...
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...