A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Analise das melhores práticas em business process management: estudo de casos em organizações hospitalares de Natal/RN

O gerenciamento dos processos organizacionais vem sendo estudado pela ciência administrativa como forma de romper com o paradigma da estrutura organizacional funcional através da Gestão por Processos. O Business Process Management ( BPM alinhado às estratégias organizacionais e suportado cada vez mais pela Tecnologia da Informação (TI), proporciona clareza nas diversas pontas do processo colaborando para sua melhoria contínua com o objetivo de gerar valor agregado ao cliente. As organizações de saúde estão entre as empresas prestadoras de serviço pouco estudadas em relação ao gerenciamento por processos. Assim, este estudo analisou por meio de um estudo empírico de natureza qualitativa, como estão sendo conduzidos os processos organizacionais hospitalares à luz das melhores práticas em BPM. A pesquisa foi realizada através do estudo de casos múltiplos realizados em duas organizações hospitalares na cidade de Natal/RN. A literatura de referência apresentou diversos fatores para um desempenho otimizado em BPM, tratados nesta pesquisa como as melhores práticas em BPM. A partir da revisão da literatura foi elaborada uma síntese das melhores práticas de BPM que serviu de base para elaboração do modelo da pesquisa utilizado para coleta e análise dos dados. Este modelo indicou onze categorias que foram utilizadas para elaboração do roteiro de estrevistas semi-estruturadas, através da técnica de análise de conteúdo, com categorização de grade fechada. As categorias foram agrupadas em duas dimensões: Elementos relacionados à gestão ( governança ; liderança , alinhamento estratégico , cultura e conhecimento ) e elementos relacionados aos processos ( desenho , responsável , executores , tecnologia da informação e indicadores ), e ainda foi identificada uma terceira categoria: escritório de processos . Para seleção dos sujeitos desta pesquisa foi adotada a estratégia em cadeia ou bola de neve . Foi possível identificar que todas as categorias apontadas no modelo de pesquisa emergem entre os fatores buscados pelas organizações hospitalares para o gerenciamento por processos com destaque para categorias: cultura ; conhecimento ; desenho ; tecnologia da informação e indicadores . Em complemento às categorias de análise, foram identificadas dificuldades relacionadas à comunicação e integração dos diversos elos do processo. Além disso, constatou-se que nos hospitais investigados há um desvio do conceito de BPM no que diz respeito a seu objetivo final: agregar valor ao cliente. A pesquisa concluiu que o gerenciamento por processos nas organizações hospitalares investigadas encontra-se em fase inicial ou em desenvolvimento, sendo necessário superar as barreiras da comunicação e edificar uma cultura organizacional orientada às necessidades dos clientes para aplicação das melhores práticas de BPM, desta forma pesquisas futuras sobre este tema em outras organizações hospitalares, podem facilitar um estudo comparativo e ampliar o conhecimento no assunto

Eutrofização e capacidade de carga de fósforo de seis reservatórios a bacia do Rio Seridó, região semi-árida do Estado do RN

The eutrofization is a natural process of accumulation of nutrients in aquatic´s body that it has been accelerated for the human´s actives, mainly the related with the activities of camp, industrial and the inadequate disposition of the domestic sewage. The enrichment of the aquatic´s body with nutrients, mainly the nitrogen and the phosphorus, and the consequent proliferation of algae and Cyanobacteria can commit the quality of the water for the public provisioning, for the fish farming and for other ends. The problem becomes more critical when there is a shortage of water naturally as in the semi-arid area of the Brazilian northeast. Before that problem this work had as objective evaluates the trophic state of six reservoirs of the basin of River Seridó of Rio Grande of Norte and also estimate the capacity of load of match of the reservoir and risk probabilities based on the established limits by the resolution Conama 357/05. The results demonstrate that the six reservoirs are eutrofization, with concentration of total phosphorus and cloro a in the water upster to 50 e 12 μg l-1. The results show that space homogeneity exists in the state trophic of the reservoirs, but a significant variation interanual in function of the increase of the concentrations of nutrients and decrease of the transparency of the water with the reduction of the body of water accumulated in the reservoirs.The results of the simulation risk estocastic show that the reservoirs could receive annually from 72 to 216 Kg of P, assuming a risk of 10% of increasing in more than 30 μg l-1 the annual medium concentrations of total match in the water of these reservoirs. This load could be high in until 360 kg of P a year in case the managers assume a risk of 10% of increasing in more than 50 μg l-1 the annual medium concentrations of total phosphorus in the waters of these reservoirs

Efeitos de manipulações ascendentes e descendentes sobre a comunidade fitoplanctônica em um reservatório eutrófico no semi-árido brasileiro

Top-down (grazing) and bottom-up (nutrient, light) controls are important in freshwater ecosystems regulation. Relative importance of these factors could change in space and time, but in tropical lakes bottom-up regulation has to been appointed as more influent. Present study aimed to test the hypothesis that phytoplankton growths rate in Armando Ribeiro reservoir, a huge eutrophic reservoir in semi-arid region of Rio Grande do Norte state, is more limited by nutrient available then zooplankton grazing pressure. Bioassay was conduced monthly from September (2008) to August (2009) manipulating two levels of nutrients (with/without addition) and two level of grazers (with/without removal). Experimental design was factorial 2X2 with four treatments (X5), (i) control with water and zooplankton from natural spot ( C ), (ii) with nutrient addition ( +NP ), (iii) with zooplankton remove ( -Z ) and (iv) with zooplankton remove and nutrient addition ( -Z+NP ). For bioassay confection transparent plastic bottles (500ml) was incubate for 4 or 5 days in two different depths, Secchi`s depth (high luminosity) and 3 times Secchi`s depth (low luminosity). Water samples were collected from each bottle in begins and after incubates period for chlorophyll a concentration analysis and zoopalnktonic organisms density. Phytoplankton growths rates were calculated. Bifactorial ANOVA was performance to test if had a significant effect (p<0,005) of nutrient addition and grazers remove as well a significant interaction between factors on phytoplankton growths rates. Effect magnitude was calculated the relative importance of each process. Results show that phytoplankton growth was in generally stimulated by nutrient addition, as while zooplankton remove rarely stimulated phytoplankton growth. Some significant interactions happening between nutrient additions and grazers remove on phytoplankton growth. In conclusion this study suggests that in studied reservoir phytoplankton growth is more controlled by ascendent factors than descendent

Relações de poder, fragmentação e gestão do território no semi-árido nordestinho: um outro olhar sobre o Cariri paraibano

This study aims to analize the Cariri Paraibano territory, as a product of relations of power that were being established along its historic process of territory formation. In this process, the fragmentation and the territory management are fundamental elements to socioterritorial reality comprehension. The theoretical-conceptual basis is based on notions of territory, region, power and territory management, which are articulated to the opinions and empiric confirmations origined from interviews made with several social actions. They also were made photographical records and researches on books, newspapers and magazines, as well on other information sources related to the object of studying. Obtained data confirm the pressuposement on which the relations of dominations and the used methods by the power s owners in the region created a little fruitful political practice and little adequate to the process of active participation of the local population on the territory management, even being on disagreement with the new political-institutional mechanisms, which take to political-administrative more democratic and participative in the country

Políticas públicas para o turismo e desenvolvimento local: reflexões a partir dos "caminhos de fé" no semi-árido potiguar

This study analyzes the event of the Feast of Our Lady of Grace, located in the municipality of Florania / RN as a tourism product, inserted in a process of transformation of a sacred place, in principle determined by religious motives, in a destination "tourist-religious". We seek to understand to what extent state intervention, with policies aimed at boosting the tourism sector as well as the interactions among key actors in the space, are able to modify and streamline the city of Florania, particularly Feast of Our Lady of Grace. The methodology also includes the review of the literature using the deductive method the application of questionnaires to the pilgrims, tourists and pilgrims totaling 150 questionnaires. Along with the economic agents of the municipality, 36 questionnaires were administered according to the model adopted by REDESIST. Complement this research interviews with key Officials of the Municipal Government and the Church. Despite the recognition by the actors of the importance of tourism to the economy of the city of Florania, encouraging the development of the sector is still lagging, some worked and policies / programs listed actually pass by the "Paths of Faith" of Florania. Concerning the Feast of Our Lady of Grace, the bottlenecks reported by researchers and economic agents are very partially affected by the policies / programs and when this occurs, the effort seems to be only reactive, resulting from the pressures experienced by the municipal government (mayor)

Secretory process of salivary glands of female Amblyomma cajennense (Acari: Ixodidae) ticks fed on resistant rabbits

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Projeto e Operação em Escala Semi-Industrial de um Equipamento para Tratamento de Águas Produzidas na Indústria do Petróleo Utilizando Nova Tecnologia: misturador-decantador à inversão de fases - MDIF

The aim of this work is to use a new technology in the treatment of produced wastewaters from oil industry. An unit for treat produced waters called UTMDIF, was designed, installed and operated in an industrial plant for treatment of effluents from oil industry. This unit operates by means of the method of separation of phase inversion and can become a promising alternative to solve the problem of oil/water separation. This method constitutes the basis of the working of a new design of mixersettler of vertical configuration which occupies small surface area. The last characteristic becomes specially important when there is limitation on the lay-out of the plant, for example, over maritime platforms to explore oil. This equipment in a semi-industrial scale treats produced wastewaters contaminated with oil at low concentrations (ranging from 30 to 150 mg/L) and throughputs of 320 m3/d (47,4 m3 m-2 h-1). Good results were obtained in oil/water separation which leads to the necessary specification to discharge those wastewaters. Besides, the non dependence of the efficiency of separation in spite of the salinity of the medium becomes the equipment an attractive new technology to treat wastewaters containing oil at low concentrations

Extração semi-automática de rodovia baseada em um par estéreo de imagens aéreas e em otimização por programação dinâmica no espaço-objeto

This article proposes a method for 3D road extraction from a stereopair of aerial images. The dynamic programming (DP) algorithm is used to carry out the optimization process in the object-space, instead of usually doing it in the image-space such as the DP traditional methodologies. This means that road centerlines are directly traced in the object-space, implying that a mathematical relationship is necessary to connect road points in object and image-space. This allows the integration of radiometric information from images into the associate mathematical road model. As the approach depends on an initial approximation of each road, it is necessary a few seed points to coarsely describe the road. Usually, the proposed method allows good results to be obtained, but large anomalies along the road can disturb its performance. Therefore, the method can be used for practical application, although it is expected some kind of local manual edition of the extracted road centerline.

A Comparison of Deep Drawing and Ironing of Metal Alloy Strip Produced conventionally and Non-conventionally via Semi Solid Material Processing

A semi solid thin strip continuous casting process was used to obtain 50%wt Pb/50%wtSn strip by single and twin roll processing at speed of 15 m/min. A 50%wt Pb/50%wtSn plate ingot was also cast for rolling conventionally into strips of 1.4 mm thickness and 45 mm width for comparison with those achieved non-conventionally. This hypoeutectic alloy has a solidification interval and fusion temperature of approximately 31 degrees C and 215 degrees C respectively. The casting alloy temperature was around 280 degrees C as measured by a type K immersion thermocouple prior to pouring into a tundish designed to maintain a constant melt flow on the cooling slope during semi solid material production. A nozzle with a weir ensures that the semi solid material is dragged smoothly by the lower roll, producing strip with minimum contamination of slag/oxide. The temperatures of the cooling slope and the lower roll were also monitored using K type thermocouples. The coiled semi solid strip, which has a thickness of 1.5 mm and 45 mm width, was rolled conventionally in order to obtain 1.2 mm thick strip. The coiled thixorolled strip had a thickness of 1.2 mm and achieved practically the same width as the conventional strips. Blanks of 40 mm diameter were cut from the strips in a mechanical press, ready for deep drawing and ironing for mechanical characterization. All the strips achieved from non-conventional processing had the same mechanical performance as those achieved conventionally. The limiting drawing ratio (LDR) achieved was approximately 2.0 for all strips. Microscopy examination was made in order to observe phase segregation during processing.

Analysis of Semi-solid Processing for Metal Matrix Composite Synthesis Using Factorial Design

The main goal in this work is to conduct a quantitative analysis of the mechanical stir casting process for obtaining particulate metal matrix composites. A combined route of stirring at semi-solid state followed by stirring at liquid state is proposed. A fractional factorial design was developed to investigate the influence and interactions of factors as: time, rotation, initial fraction and particle size, on the incorporated fraction. The best incorporations were obtained with all factors at high levels, as well as that very long stirring periods have no strong influence being particle size and rotation the most important factors on the incorporated fraction. Particle wetting occurs during stirring at semisolid state, highlighting the importance of the interactions between particles and the alloy globularized phase. The role of the alloying element Mg as a wettability-promoting agent is discussed. The shear forces resulting from the stirring system is emphasized and understood as the effect of rotation itself added to the propeller blade geometry.

Evaluation of strip rolling directly from the semi-solid state

defect metal alloy strip when thixorolling directly from the semi-solid state. To facilitate the study lead/tin alloys were chosen for their relatively low operating temperature. The objective is to extrapolate these findings to the higher temperature aluminium, alloys. Three alloys (70%Pb30%Sn, 60%Pb-40%Sn, 50%Pb-50%wtSn) were used particularly to study the influence of the solidification interval. The equipment consists of a two roll mill arranged as an upper and lower roller, where both rollers are driven at a controlled speed. The lower roller is fed with semi solid alloy through a ceramic nozzle attached to the lower end of a cooling slope. Several types of nozzle and their position at the roller were tested. This produced different solidifications and consequently different finished strip. The alloys were first cast and then poured onto the cooling slope through a tundish in order to create a continuous laminar flow of slurry and uniformity of metal strip quality. The pouring was tested at different positions along the slope. The cooling slope was coated with colloidal graphite to promote a smooth slurry flow and avoid the problem of adherence and premature solidification. The metallic slurry not only cools along the slope but is also initially super-cooled to a mush by the lower roller whilst at room temperatures, thus enabling thixorolling. It was also found that the nozzle position could be adjusted to enable the upper roller to also contribute to the solidification of the metallic slurry. However the rollers and the cooling slope naturally heat up. Temperature distribution in these zones was analysed by means of three thermocouples positioned along the cooling slope and a fourth in the base of the semi solid pool within the nozzle. The objective being to design an optimum pouring and cooling system. The formed strip was cooled down to room temperature with a shower of water. Microstructures of the thixorolling process were analysed. The differences in solidification conditions resulted in differing qualities of finished strip and corresponding defect types, all of which are a serious quality issue for the rolled product.

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Sustentabilidade ambiental do cultivo intensivo de Tilápias (Oreochromis niloticus) em tanques-rede e a capacidade de suporte de quatro reservatórios em uma região semi-árida tropical

Intensive production of tilápias, in cages or net tanks, has been proposed as an alternative to increase fish production, that would generate income and offer animal protein in different tropical and subtropical countries. However, this system of production enriches the aquatic environment with nutrients, principally nitrogen and phosphor derived from the dejections of the metabolism of food and eventual food surpluses consumed by the fishes; the alimentation of the fishes in this production modality is dependent on fish food. The emission of these nutritions in levels above the limit that the system is capable metabolize can provoke a phenomenon called eutrofization, putting in risk the quality of water for public and for fish production activities. In this context the work had as a goal to evaluate the trófico state of the four reservoirs for intensive production of tilapias in net-tanks, in other words, he maximum fish production that the reservoirs are able to hold, keeping the desired quantity of nutrient concentrations in water for public use. The results of the four ecosystems in the Boqueirão de Parelhas reservoir showed that it s possible to have an intensive production of tilapias in net tanks, in this environment the annual average concentration of phosphor, was below the considered critical limits to deflagrate the process of eutrofization in semi-arid regions. The carrying capacity of the Boqueirão de Parelhas reservoir depends on the conversion of the feeding facts and phosphor content in the food but it should vary between 100 and 300 tons per year over a variation in the conversion feeding factor of 1,7 to 2,0:1 and a variation in the P in the food of 0,7 to 0,9%

Healing process of incisor teeth of diabetic rats replanted after storage in milk

Several local factors that influence the healing process of replanted teeth have been investigated. However, it remains unclear how systemic alterations, such as diabetes mellitus, affect the prognosis of these cases. The purpose of this study was to evaluate the healing process of incisors of non-controlled diabetic rats replanted after storage in bovine long shelf-life (UHT) whole milk. Thirty-two rats were randomly assigned to receive an endovenous injection of either citrate buffer solution (group I - control; n = 16) or streptozotocin dissolved in citrate buffer solution to induce diabetes (group II; n = 16). After confirmation of the diabetic status by analysis of the glycemic levels, the maxillary right incisor of each animal was extracted and immersed in milk for 60 min. The root canals of teeth were then instrumented, and were filled with a calcium hydroxide-based dressing and replanted into their sockets. All animals received systemic antibiotic and were killed by anesthetic overdose 10 and 60 days after replantation. The specimens containing the replanted teeth were removed, fixed, decalcified, and embedded in paraffin. Semi-serial 6-mu m-thick sections were obtained and stained with hematoxylin and eosin for histologic and histometric analyses. The results showed that the connective tissue adjacent to the root surface was less organized in the diabetic animals than in the control animals in both periods; the root dentin was less severely affected by root resorption in the diabetic rats; there were no significant differences between the control and diabetic groups regarding the occurrence of replacement resorption and inflammatory resorption.