BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

Análise da relação causal entre imagem de destinos, qualidade, satisfação e fidelidade: um estudo de acordo com a percepção do turista nacional no destino turístico Natal

This dissertation aims to analyze the causal relationship between the quality of tourist services, satisfaction with the attributes and globally, fidelity and image of tourist destinations. Therefore, it was conducted an exploratory, descriptive research with quantitative analytical approach. Data collection was performed by a questionnaire addressed to tourists at the Augusto Severo International Airport and Bus station of Natal, the main points of entry and exit of tourists. The composition was simple random sampling by reaching the final number of 400 tourists interviewed. Among the main results, is an assessment of the quality of the components of the destination. It was noted that nine are the dimensions of perceived quality of tourism products and services of ―Sun and Sand‖ segment, that is, Beaches and Facilities, Public Equipment, Catering Services, Transportation, Hotel Equipment, Hotel Services, Entertainment & Attractions, Access to the Hotel and Hospitality. Moreover, it was concluded that the Preview Tourism Destination Image has little direct influence in the Consumer Satisfaction, and only indirectly in the Post-Purchase Behavior. While the Complex Tourism Destination Image exerts strong and direct influence on both factors, in the Customer Satisfaction Process and Loyalty, the dimensions of quality also claimed to be strongly influences both factors

Análise caracterização da dinâmica da Foz do Rio Apodi, região de Areia Branca/RN, com base na cartografia temática multitemporal de produtos de sensores remotos

The study area islocated in the northern cost of Rio Grande do Norte State, preciselyin a west zone of Apodi-Mossoró River, inclunding Tibau City, Grossos City and part of Mossoró City. Geologicaly, this area is composed by rokcs of Potiguar basin, represented by Cretaceous, Tertiary and Quaternary sediments. This area is characterizer by the intense action of cosatal processes (eolic and costal tranports, generalized erosion, alteration in the sediments balance and coast modification), reponsable for it´s morfological instability, also the antropic interference, where the iol industry is located, next Mossoró City, and also the salt exploration industry and the tendency of expantion of shrimp cultivation. This report had as objective the multitemporalgeoenvorimentalmonitoring of the region by recognizingin the field and analizingimages of orbital sensors of diferents years of last four decades. This analisys was achieved by Digital Images Procesing (DIP) thecnics, com subsidized, in a GIS, the preparion of Thematic Maps of natural resources (Geology, Geomorphology and Use & Ocupatios of Earth) and the Envorimental Sensivity to Oil Spilling, main objective os this project. Such technics constitute important tools of envoriment monitoring and maneging, indicating tendencies of antropic of natural growing, making possible the apropiated planning of development of the region, where the steps can be indicated minimized possibles envorimental impacts caused by antropics interferencies on the region, mainly those related to industrial activities, and oil industry above all. Researchs of this nature are very important to the analisys and ordered manegements of use and ocupation of coastal places

Monitoramento geoambiental do estuário do Rio Paraíba do Norte - PB por meio da cartografia temática digital e de produtos de sensoriamento remoto

The North Paraíba River Estuary, located in the eastern portion of the Paraíba State, Northeast Brazil, on coordinates 34º50 00 -34º57 30 S and 6º55 00 -7º7 30 W, constitutes a fluvio-marine plain formed by the North Paraíba River and its tributaries Sanhauá, Paroeira, Mandacaru, Tiriri, Tambiá, Ribeira and Guia. This estuary comprises an area of about 260 km2. Increasing human demands on the estuary area and inadequate environment managing have generated conflicts. The present work main purpose is to evaluate the geodynamic evolution of the North Paraíba River Estuary in the period from 1969 to 2001, using digital image processing techniques, thematic digital cartography and multitemporal data integration, combined to geological-geophysical field surveys. The SUDENE cartographic database, converted to digital format were, used to obtain occupation and topographic maps from 1969 and to generate a Digital Elevation Model (DEM). Digital Landsat 7 ETM+ and Spot HRVIR-PAN satellite images interpretation allowed the environmental characterization of the estuary. The most important digital processing results were achieved color composites RGB 5-4-3, 5-3-1, 5-2-NDWI and band ratio 7/4-5/3-4/2, 5/7-3/1-5/4). In addition the fusion image technique RGBI was used by the inclusion of the Spot HRVRI and Landsat 7 ETM+ panchromatic band on I layer with RGB triplets 5-4-3, 5-3-1 and 5/7-3/1-5/4. The DEM and digital images integration allowed the identification of seven geomorphological units: coastal tableland, flowing tray, tide plain, fluvial terrace, submerged dune, beach plain and beach). Both Side Scan Sonar and Echosound were used to analyse underwater surface and bedforms of the estuarine channel, sand predominance (fine to very fine) and 2D dune features 5 m wide and 0.5 m height. This investigation characterized the estuary as an environment dominated by regimen of average flow. The channel depth varies between 1 m and 11 m, being this last quota reached in the area of Porto de Cabedelo. The chanel estuary is relatively shallow, with erosion evidences mainly on its superior portion, attested by sand banks exposed during the low tide. Multitemporal digital maps from 1969 and 2001 integration were obtained through geoprocessing techniques, resulting the geodynamic evolution of the estuary based on landuse, DEM geomorphology and bathymetric maps

Modelagem e desenvolvimento de um banco de dados geográficos : aplicação à elaboração de mapas de sensibilidade ambiental ao derramamento de óleo na área costeira entre galinhos e São Bento do Norte-RN

The area between Galinhos and São Bento do Norte beaches, 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 due to the Guamaré Petroliferous Pole nearby, the greater terrestrial oil producing in Brazil. Before all these characteristics had been organized MAMBMARE and MARPETRO projects with the main objective to execute the geo-environmental monitoring of coastal areas on the northern portion of RN. There is a bulky amount of database from the study area such as geologic and geophysical multitemporal data, hydrodynamic measurements, remote sensing multitemporal images, thematic maps, among others; it is of extreme importance to elaborate a Geographic Database (GD), one of the main components of a Geographic Information System (GIS), to store this amount of information, allowing the access to researchers and users. The first part of this work consisted to elaborate a GD to store the data of the area between Galinhos and São Bento do Norte cities. The main goal was to use the potentiality of the GIS as a tool to support decisions in the environmental monitoring of this region, a valuable target for oil exploration, salt companies and shrimp farms. The collected data was stored as a virtual library to assist men decisions from the results presented as digital thematic maps, tables and reports, useful as source of data in the preventive planning and as guidelines to the future research themes both on regional and local context. The second stage of this work consisted on elaborate the Oil-Spill Environmental Sensitivity Maps. These maps based on the Environmental Sensitivity Index Maps to Oil Spill developed by the Ministry of Environment are cartographic products that supply full information to the decision making, contingency planning and assessment in case of an oil spilling incident in any area. They represent the sensitivity of the areas related to oil spilling, through basic data such as geology, geomorphology, oceanographic, social-economic and biology. Some parameters, as hydrodynamic data, sampling data, coastal type, declivity of the beach face, types of resources in risk (biologic, economic, human or cultural) and the land use of the area are some of the essential information used on the environmental sensitivity maps elaboration. Thus using the available data were possible to develop sensitivity maps of the study area on different dates (June/2000 and December/2000) and to perceive that there was a difference on the sensitivity index generated. The area on December presented more sensible to the oil than the June one because hydrodynamic data (wave and tide energy) allowed a faster natural cleaning on June. The use of the GIS on sensitivity maps showed to be a powerful tool, since it was possible to manipulate geographic data with correctness and to elaborate more accurate maps with a higher level of detail to the study area. This presented an medium index (3 to 4) to the long shore and a high index (10) to the mangrove areas highly vulnerable to oil spill

Cartografia temporal e análise geoambiental da dinâmica da foz do Rio Piranhas-Açu, regiao de Macau-RN, com base em imagens Landast 5-MT

This work embraces the application of Landsat 5-TM digital images, comprising August 2 1989 and September 22 1998, for temporal mapping and geoenvironmental analysis of the dynamic of Piranhas-Açu river mouth, situated in the Macau (RN) region. After treatment using several digital processing techniques (e.g. colour composition in RGB, ratio of bands, principal component analysis, index methods, among others), it was possible to generate several image products and multitemporal maps of the coastal morphodynamics of the studied area. Using the image products it was possible the identification and characterization of the principal elements of interest (vegetation, soil, geology and water) in the surface of the studied area, associating the spectral characteristics of these elements to that presented by the image products resulting of the digital processing. Thus, it was possible to define different types of soils: Amd, AQd6, SK1 and LVe4; vegetation grouping: open arboreal-shrubby caatinga, closed arborealshrubby caatinga, closed arboreal caatinga, mangrove vegetation, dune vegetation and areas predominately constituted by juremas; geological units: quaternary units beach sediments, sand banks, dune flats, barrier island, mobile dunes, fixed dunes, alluvium, tidal and inundation flats, and sandy facies of the Potengi Formation; tertiary-quaternary units Barreiras Formation grouped to the clayey facies of the Potengi Formation, Macau Formation grouped to the sediments of the Tibau Formation; Cretaceous units Jandaíra Formation; moreover it was to identify the sea/land limit, shallow submersed areas and suspended sediments. The multitemporal maps of the coastal morphodynamics allowed the identification and a semi-quantitative evoluation of regions which were submitted to erosive and constructive processes in the last decade. This semi-quantitative evoluation in association with an geoenvironmental characterization of the studied area are important data to the elaboration of actions that may minimize the possible/probable impacts caused by the implantation of the Polo Gas/Sal and to the monitoring of areas explorated by the petroleum and salt industries