Escafandristas do tempo: narrativas de vida e regeneração da memória em São Rafael-RN

In the late 1970s, the semi-arid region of Rio Grande do Norte was the setting of Projeto Baixo-Açu whose highlight was the building of the dam Eng. Armando Ribeiro Gonçalves, designed to collect 2.4 billion cubic meters of water. Presumably, such an initiative would bring economic and social development for thousands of potiguares who suffered the hardships of drought. However, the dam would reach several cities in the region, reaching to cover one of them: São Rafael. As a result, the early years of the 1980s, nearby, a new town was built by DNOCS. This thesis aims to discuss how the population of São Rafael recalls this fact and reconstructs its history by speaking, writing and computing, after three decades. Based on the prospect moriniana method as a strategy, visits were made to the city of São Rafael and open interviews (individual and collective) with two groups of subjects: one composed of those who lived in their ancient homeland, and another, with young people who were born in the new city. Besides the reports of these subjects, they were observed the visual narratives presented by images, mostly photographic, available on a profile created for the city in the orkut social network. As sources for this study, they were also considered the dialogues between rafaelenses accessing the above profile. Having as a central observation by Edgar Morin about what does not regenerate, degenerates . This study is the central argument that the idea of orkut has performed, today, a dual and interdependent role: being a tool that promotes a collective intelligence through cooperation, exchange of ideas and reconstitution of visual and written narratives. Far from a frozen conception in a historical perspective, it has defended the thesis that orkut has regenerated, repaired, reproduced, restored, reorganized and renewed the memory and history of a city that has succumbed to the immensity of the waters of a dam for almost thirty years

Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification