BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Sistemas computacionais espaço-temporais para toma de decisão em questões ambientais relacionadas à indústria de petróleo e gás

The area between São Bento do Norte and Macau cities, located in the northern coast of the Rio Grande do Norte State is submitted to intense and constant processes of littoral and aeolian transport, causing erosion, alterations in the sediments balance and modifications in the shoreline. Beyond these natural factors, the human interference is huge in the surroundings, composed by sensitive places, due to the existence of the Guamaré Petroliferous Pole, RN, the greater terrestrial oil producing in Brazil, besides the activities of the salt companies and shrimp farms. This socioeconomic-environmental context justifies the elaboration of strategies of environmental monitoring of that coastal area. In the environmental monitoring of coastal strips, submitted to human impacts, the use of multi-sources and multitemporal data integrated through a Spatio- Temporal Database that allows the multiuser friendly access. The objective was to use the potential of the computational systems as important tools the managers of environmental monitoring. The stored data in the form of a virtual library aid in making decisions from the related results and presented in different formats. This procedure enlarges the use of the data in the preventive attendance, in the planning of future actions and in the definition of new lines of researches on the area, in a multiscale approach. Another activity of this Thesis consisted on the development of a computational system to automate the process to elaborate Oil-Spill Environmental Sensitivity Maps, based on the temporal variations that some coastal ecosystems present in the sensibility to the oil. The maps generated in this way, based on the methodology proposed by the Ministério do Meio Ambiente, supply more updated information about the behavior of the ecosystem, as a support to the operations in case of oil spill. Some parameters, such as the hydrodynamic data, the declivity of the beach face, types of resources in risk (environmental, economical, human or cultural) and use and occupation of the area are some of the essential basic information in the elaboration of the sensitivity maps, which suffer temporal alterations.In this way, the two computational systems developed are considered support systems to the decision, because they provide operational subsidies to the environmental monitoring of the coastal areas, considering the transformations in the behavior of coastal elements resulting from temporal changes related the human and/or natural interference of the environment

Sistema integrado para tomada de decisão espacial em situações de derramamento de óleo no litoral norte do Estado do RN

The northern coast of Rio Grande do Norte State (RN) shows areas of Potiguar basin with high activity in petroleum industry. With the goal of avoiding and reducing the accident risks with oil it is necessary to understand the natural vulnerability, mapping natural resources and monitoring the oil spill. The use of computational tools for environmental monitoring makes possible better analyses and decisions in political management of environmental preservation. This work shows a methodology for monitoring of environment impacts, with purpose of avoiding and preserving the sensible areas in oil contact. That methodology consists in developing and embedding an integrated computational system. Such system is composed by a Spatial Decision Support System (SDSS). The SDSS shows a computational infrastructure composed by Web System of Geo-Environmental and Geographic Information - SWIGG , the System of Environmental Sensibility Maps for Oil Spill AutoMSA , and the Basic System of Environmental Hydrodynamic ( SisBAHIA a System of Modeling and Numerical Simulating SMNS). In a scenario of oil spill occurred coastwise of Rio Grande do Norte State s northern coast, the integration of such systems will give support to decision agents for managing of environmental impacts. Such support is supplied through a system of supporting to spatial decisions