Abstract

Abstract
Geographical information is of strategic importance, when comes to land use management decision-making and GIS are essential resources for the production of land use management instruments, commonly known as plans (e.g. master plans). To build them, local authorities require multi-disciplinary teams with different competences and responsibilities. Many of these teams are external to the municipality and in the position of sub-contractors. With so many actors involved, the result is often a complex mesh of incoherent spatial data. Overcoming this problem often leads to huge overheads for the public administration. This paper addresses a possible technical solution for this issue, based on international standards (e.g. OpenGIS) and profiting from the current state of technological development.

Abstract

Abstract
Geo-referenced data is usually acquired and then stored into an existing GIS. With the advent of Mobile Computing Devices (aka PDAs), the integration task can be avoided. We extended a PDA GIS visualization system (Mordomo) in order to allow the update of metadata. In this way the task of updating geo-referenced data can be done on-site. In order for the system to cope with different applications and file formats, we provide a transformation from/to GML, based upon the proposed OGC standard.

Abstract
It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.

Abstract
SINUP consists of a geographical information system whose purpose is to store, in a coherent manner, data resulting from key activities of Oporto local authority, allowing to better structure the knowledge about the urban reality. In the possession of such knowledge, and with the revision of Oporto's Municipal Master Plan taking place soon, the municipality is making an effort to develop an electronic citizen service that will allow a large number of citizens to consult it, and more important, participate in its public discussion prior to approval thus creating a major instrument of e-democracy in Oporto's municipality.