Tolerância a falhas é um dos aspectos mais importantes a serem considerados no desenvolvimento de aplicações, especialmente com a participação cada vez maior de sistemas computacionais em áreas vitais da atividade humana. Dentro deste cenário, um dos fatores a serem considerados na persecução deste objetivo é o gerenciamento de atomicidade. Esta propriedade, por sua vez, apresenta duas vertentes principais: o controle de concorrência e a recuperação de estados. Considerando-se a tolerância a falhas e, particularmente, a atomicidade como requisitos com alto grau de recorrência em aplicações, verifica-se a importância de sua reutilização de forma simples e transparente e do estudo de meios de prover tal capacidade. O presente trabalho procurou pesquisar e aplicar meios de produzir soluções reutilizáveis para implementação de programas tolerantes a falhas, mais especificamente de técnicas de controle de atomicidade, utilizando vários paradigmas computacionais. Neste intuito, foram pesquisados mecanismos de introdução de atomicidade em aplicações e suas respectivas demandas, para então extrair critérios de análise dos paradigmas a serem utilizados na implementações das soluções. Buscou-se suporte nestes paradigmas às demandas previamente pesquisadas nos mecanismos de gerenciamento de atomicidade e procurou-se chegar a soluções reutilizáveis mantendo simplicidade de uso, possibilidade de alteração dinâmica, transparência, adaptabilidade e velocidade de desenvolvimento. Devido à existência de uma grande diversidade de situações que requerem diferentes implementações de atomicidade, alguns cenários típicos foram selecionados para aplicação e avaliação das técnicas aqui sugeridas, procurando abranger o maior número possível de possibilidades. Desta maneira, este trabalho comparou situações opostas quanto à concorrência pelos dados, implementando cenários onde ocorrem tanto acesso cooperativo quanto competitivo aos dados. Dentro de cada um dos cenários estudados, buscaram-se situações propícias ao emprego das características dos paradigmas e analisou-se o resultado de sua aplicação quanto aos critérios definidos anteriormente. Várias soluções foram analisadas e comparadas. Além dos mecanismos de gerenciamento de atomicidade, também foram estudados vários paradigmas que pudessem ser empregados na implementação de soluções com alto grau de reutilização e adaptabilidade. As análises e sugestões posteriores às implementações serviram como substrato para conclusões e sugestões sobre a melhor maneira de empregar tais soluções nos cenários atômicos estudados. Com isso, foi possível relacionar características e capacidades de cada paradigma com a melhor situação de demanda de atomicidade na qual os mesmos são aplicáveis, moldando uma linha de soluções que favoreçam sua reutilização. Um dos objetivos mais importantes do trabalho foi, entretanto, observar o funcionamento conjunto destes paradigmas, estudando como os mesmos podem atuar de forma simbiótica e de que forma os conceitos de um paradigma podem complementar os de outro.

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos tecnológicos e gerenciais do processo de desenvolvimento de software. Software tornou-se a base de sustentação de inúmeras organizações dos mais diversos ramos de atuação espalhados pelo planeta, consistindo de um elemento estratégico na diferenciação de produtos e serviços atuais. Atualmente, o software está embutido em sistemas relacionados a infindável lista de diferentes ciências e tecnologias. A Tecnologia de Processo de Software surgiu em meados da década de 1980 e representou um importante passo em direção à melhoria da qualidade de software através de mecanismos que proporcionam o gerenciamento automatizado do desenvolvimento de software. Diversas teorias, conceitos, formalismos, metodologias e ferramentas surgiram nesse contexto, enfatizando a descrição formal do modelo de processo de software, para que possa ser automatizado por um ambiente integrado de desenvolvimento de software. Os modelos de processos de software descrevem o conhecimento de uma organização e, portanto, modelos que descrevem experiências bem sucedidas devem ser continuamente disseminados para reutilização em diferentes projetos. Apesar da importância desse tópico, atualmente apenas uma pequena porção do conhecimento produzido durante o desenvolvimento de software é mantido para ser reutilizado em novos projetos. Embora, à primeira vista, o desafio de descrever modelos reutilizáveis para processos de software pareça ser equivalente ao problema tratado pela tradicional área de reutilização de produtos software, isso é apenas parcialmente verdade, visto que os processos envolvem elementos relacionados com aspectos sociais, organizacionais, tecnológicos e ambientais. A crescente complexidade da atual modelagem de processos vem influenciando a investigação de tecnologias de reutilização que sejam viáveis nesse campo específico. A investigação conduzida nesse trabalho culminou na especificação de um meta-modelo que tem como objetivo principal aumentar o nível de automação fornecido na reutilização de processos, apoiando a modelagem de processos abstratos que possam ser reutilizados em diferentes contextos. O meta-modelo proposto por esse trabalho - denominado APSEE-Reuse - fornece uma série de construtores sintáticos que permitem que os diferentes aspectos desse contexto sejam descritos segundo múltiplas perspectivas, complementares entre si, contribuindo para diminuir a complexidade do modelo geral. A solução proposta destaca-se por fornecer um formalismo para modelagem de processos, o qual é integrado à uma infraestrutura de automação de processos de software, permitindo que a reutilização esteja intimamente relacionada com as outras etapas do ciclo de vida de processos. Os diferentes componentes envolvidos na definição do modelo APSEE-Reuse proposto foram especificados algebricamente, constituindo uma base semântica de alto 15 nível de abstração que deu origem a um conjunto de protótipos implementados no ambiente PROSOFT-Java. O texto ainda discute os experimentos realizados com o meta-modelo proposto na especificação de diferentes estudos de casos desenvolvidos a partir de exemplos retirados na literatura especializada, e de processos que fornecem soluções em contextos e necessidades específicas de projetos desenvolvidos no PPGC-UFRGS. Finalmente, são apresentadas considerações acerca dos trabalhos relacionados, os elementos críticos que influenciam a aplicabilidade do modelo e as atividades adicionais vislumbradas a partir do trabalho proposto.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia de Produção / Made available in DSpace on 2012-10-23T06:49:25Z (GMT). No. of bitstreams: 1 243322.pdf: 1663665 bytes, checksum: 02dbf1ef11321e424c72e17b292ef173 (MD5) / A indústria de software vem, ao longo dos anos, evidenciando esforços, no sentido de acompanhar as mudanças no mercado devido à acirrada competitividade, decorrentes de uma demanda constante e crescente por produtos de alta qualidade. A permanência num mercado altamente dinâmico e exigente impulsiona as organizações na busca de tecnologias, técnicas e metodologias que possam apoiar suas atividades com o intuito de construir produtos de alta qualidade, dentro de orçamentos e cronogramas reais, com custos razoáveis sem, contudo, extrapolar os prazos de entrega nem comprometer a produtividade e a qualidade de seus produtos e processos. A preocupação com a qualidade tem levado as organizações a adotarem distintas abordagens que, se levadas a efeito de maneira sistemática podem contribuir grandemente para a solução dos problemas enfrentados pelas organizações de desenvolvimento de software. O objetivo principal deste trabalho é a proposição de uma abordagem que compreende a utilização combinada (integrada) de reuso sistemático, teste e inspeção de software, no contexto de fábrica de software, visando à melhoria da qualidade. A metodologia proposta é validada, aplicando o modelo UML Components utilizando-se como suporte computacional a ferramenta X-Packager, a qual descreve e empacota os assets gerados ao longo do processo de desenvolvimento. Pode-se destacar como contribuições deste trabalho, a sistematização da aplicação de atividades combinadas que levam à qualidade; um melhor entendimento dos conceitos e abordagens relacionados a tais atividades; um melhor entendimento dos modelos de qualidade de produto e de processo e das diversas abordagens de fábrica de software, que embora não sejam recentes, são extremamente atuais e têm merecido a atenção de profissionais, pesquisadores e empresas que atuam nesta área.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-21T03:28:56Z (GMT). No. of bitstreams: 1 204481.pdf: 3499253 bytes, checksum: 74608a3927dc34e3dd3fc453a5c957d3 (MD5)

[pt] A indústria de blindagens, seja ela com finalidade civil ou militar, utiliza em seu processo produtivo diversos materiais de interesse científico. A busca por produtos cada vez mais leves e com melhor desempenho balístico tem sido tema de estudos há vários anos. No entanto, pouco se tem observado em relação à questão da preservação ambiental, seja no próprio ciclo de vida do material ou de simples condutas responsáveis por parte dos fabricantes e consumidores. Sendo assim, o objetivo desse trabalho foi avaliar a possibilidade de reutilização e/ou reciclagem do policarbonato utilizado em blindagens automotivas e arquitetônicas, observando se foram preservadas as características indispensáveis para sua finalidade original, como transmitância, resistência à tração e resistência ao impacto. Foram utilizadas amostras de policarbonato submetidas a diferentes técnicas de separação do conjunto balístico original, a fim de observar a influência da técnica de separação sobre as propriedades ópticas e mecânicas do policarbonato. Também foi avaliado o comportamento do policarbonato após repetidos ciclos de autoclavagem, já que esta técnica tem sido muito utilizada em serviços de recuperação de vidros blindados delaminados. Para avaliar os efeitos das técnicas de separação de autoclavagem, utilizaram-se as técnicas de microscopia eletrônica de varredura, ensaio de tração, análise dinâmico-mecânica e espectroscopia no ultravioleta e no visível. Os resultados demonstraram entre os principais fatores que degradam o policarbonato podemos destacar a exposição prolongada ao ultravioleta, exposição a solventes como álcool isopropílico e acetona. / [en] The shield industry, for civil or military purposes, use in its process of production, many different materials of scientific interest. The research for lighter and better ballistic-performance products have been studied for many years. However, not much have been observed in relation to the environmental protection issue, whether it is in the own material life spam or simply, the responsible behavior by manufacturers and consumers. Therefore, the goal of this work was to measure the possibilities in reuse and/or recycling of polycarbonate used in shielding for cars and architectonics, observing if the essential characteristics were preserved to its original intent, like transmittance, tensile strength and impact resistance. Polycarbonate samples were submitted to different separation techniques from the original ballistic set, in order to observe the influence of the separation technique over the optical and mechanical properties of polycarbonate. It was also measured the polycarbonate s behavior after several autoclaving cycles, since this technique has been very much used in the recovery of delaminated shields. In order to measure the autoclaving separation techniques, it was used surveillance of electronic microscopic techniques, tensile essay, mechanical- dynamic analysis and visual ultra violet radiation spectroscopy. The results have shown that among the main factors that degrade the polycarbonate it is able to highlight the long-term exposition to ultra violet radiation, exposition to isopropylic alcohol and acetone solvents.

A Engenharia de Software vem, ao longo das últimas décadas, merecendo cada vez mais atenção da comunidade cientifica. A capacidade de construir software com qualidade, dentro dos prazos e orçamentos, atendendo a demanda do mercado, um dos objetivos almejados pelas pesquisas nesta área. Dentro deste contexto, os Métodos Formais e a Reutilização de Software tem sido utilizados para aumentar a qualidade e a produtividade de Software. Os métodos formais possibilitam o desenvolvimento e a verificação de software através de uma notação matemática rigorosa. Este rigor matemático permite que aspectos de consistência, completeza e exatidão possam ser avaliados sistematicamente. Para serem consistentes, fatos declarados em uma especificação não devem ser contraditos em outro lugar. A consistência é garantida matematicamente, provando que fatos iniciais podem ser formalmente traçados (usando-se regras de inferência). A reutilização de software a uma técnica de aproveitamento de informações produzidas durante desenvolvimentos de software anteriores, com o objetivo de reduzir o esforço necessário para o desenvolvimento de um novo sistema. 0 pressuposto básico da reutilização é produzir sistemas de maior qualidade e confiabilidade de forma mais produtiva. Assim, a produtividade é aumentada a medida que soluções de problemas anteriores podem ser aproveitadas para resolver novos problemas. Existe uma tendência de explorar a reutilização nas fases iniciais do desenvolvimento de software. Esta tendência se justifica pela grande importância dada a estas fases. Entretanto, os produtos das fases iniciais são fortemente relacionados com o domínio da aplicação, fazendo com que a reutilização de especificações, de modelos de requisitos ou estratégias de projeto só possa ser realizada com sucesso entre aplicações da mesma família, ou seja, aplicações que compartilhem requisitos e restrições. A noção de domínio é, pois, fundamental a reutilização nas fases iniciais. Um trabalho importante nesta área é o de Maiden, que pesquisou a analogia como um paradigma para reutilização de especificações de requisitos, e identificou 22 domínios abstratos representados por um conjunto de predicados. Este trabalho esta inserido no projeto PROSOFT, que a um ambiente de desenvolvimento de software construído no Grupo de Sistemas de Informação do CPGCC/UFRGS sob a coordenação do Prof. Dr. Daltro Jose Nunes e tem como objetivo apoiar o engenheiro de software desde a analise de requisitos ate a implementação do programa utilizando métodos formais. Ambientes de desenvolvimento de software que se propõem a ajudar o engenheiro de software não podem desprezar o potencial da reutilização, visto que esta técnica oferece condição de se produzir software com mais qualidade de forma mais produtiva Na atual fase de desenvolvimento do PROSOFT, não existe um modelo de reutilização. Se um usuário desejar construir um novo sistema, o ambiente não apresenta suporte para auxiliá-lo na localização e recuperação de especificações de requisitos já implementadas que poderiam ser adaptadas a uma nova solução. Portanto este trabalho tem como objetivo apresentar e especificar formalmente uma ferramenta de reutilização de requisitos para o ambiente PROSOFT. O modelo de reutilização de requisitos desenvolvido por Maiden, "reutilização de especificá-lo de requisitos por analogia" , foi utilizado como referência. / During the last decades Software Engeneering has caught the attention of the scientific community. The ability to develop Software with quality, in the time and cost estimated according to the marketing, is one of the desired goals in this research area. In this context, Formal Methods and Software Reuse have been used to improve Software's quality. Formal Methods enables the software development and verification through a rigorous mathematical notation. This mathematical rigidity allows the systematic assessment of aspects like consistency, completion and correction. The consistency is mathematicaly guaranteed, proving that initial facts are formaly traced (using inference rules). Software Reuse is a technique for making good use of the information produced in previous developments, with the purpose of reducing the efforts to develop new sytems . The basic goal in reusing is to produce systems with higher quality and robustness in a more efficient fashion. There is a tendency to explore the reuse in the initial phases of software development. This is justified by the great importance given to these phases. Nevertheless, the products of the initial phases are strongly related to the application domain, causing the specifications, requirements model or projects strategies reuse succeed only with applications of the same class, that is, applications sharing requirements and restrictions. The notion of domain is fundamental for reusability of software in the initial phases. An important work in this area is Maiden's doctoral thesis, which presents the research of the analogy as a paradigm of requirements specifications reusability , and the identification of 22 abstract domains represented by a predicate set. This work is part of the PROSOFT project, a software development environment built by the CPGCC/UFRGS Information Systems Group, with the purpose of supporting the software engineer, from the requirements analysis to the program implementation using formal methods. Software development environments that propose to help the software engineer cannot ignore the potential for reuse, as this technique offers conditions to produce higher quality software in a more productive way. In the PROSOFT's current development, there is no reuse model. If the user wants to build a new system, the environment does not have any support to help him/her in the identification and recovery of requirements specifications that could be adjusted to the new solution. Hence this work has the purpose of presenting and formaly specifying a requirement reuse tool for the PROSOFT environment. Maiden's requirement reuse model "Analogical Requirement Specification Reuse" was used as reference.

O reúso de efluentes de esgotos domésticos na irrigação de culturas representa uma alternativa adequada na gestão dos recursos hídricos devido ao fornecimento de nutrientes e água em quantidades suficientes para o desenvolvimento das culturas, porém, também pode introduz impactos negativos ao solo, em parte, potencializados pela irrigação contínua ao longo do tempo. O maior efeito está relacionado com o aumento da salinidade e sodicidade. Uma alternativa para mitigar este impacto, é o uso de espécies vegetais extratoras e acumuladoras de sais que estão presentes no solo. Neste trabalho avaliaram-se as alterações nas propriedades químicas de um planossolo (disposto em 36 vasos, 18 isolados da chuva e dos ventos e 18 expostos a eventos climáticos) irrigado durante dois meses (junho-julho) com efluente de esgoto tratado por um reator UASB + lagoa de polimento. Posteriormente, avaliou-se o desempenho da espécie halófita Atriplex nummularia na remoção de sais e cátions acumulados no substrato (agosto 2008 – fevereiro 2009), monitorando o comportamento da condutividade elétrica, sódio, potássio, cálcio, magnésio e pH (no extrato do solo) e pH, condutividade elétrica e sódio trocável no percolado dos vasos. Durante a fitorremediação, foram aplicados além do efluente utilizado na etapa anterior (tratamento 3), efluente de um sistema UASB (tratamento 2) e água potável (tratamento 1). Também foi avaliado o comportamento das características físicas do solo mediante a determinação das curvas de retenção de água no inicio e final do experimento. A irrigação com o efluente do sistema UASB + lagoa de polimento incrementou significativamente o teor de sódio ao mesmo tempo em que diminuiu as concentrações de cálcio e magnésio; incrementando em até 30 % o percentual de sódio trocável (PST), indicando a sodificação da camada superficial (0-20 cm) dos substratos. O pH e a condutividade elétrica (indicadores da salinidade do solo quando atingem valores inferiores a 8,5 e superiores a 4 dS m-1, respectivamente) aumentaram sem atingir valores críticos. As condições de maior acumulação de sais e cátions apresentaram-se nos vasos que não estiveram expostos às variáveis climáticas. Com respeito à etapa de fitorremediação, as eficiências na remoção de sódio estiveram acima de 85% (em ausência de chuva) e fora da estufa valores entre 30 – 45% para os tratamentos 2 e 3 e acima de 80% para o tratamento 1. Resultados que mostram o melhor desenvolvimento da planta na ausência de chuvas e ventos fortes. Já os efeitos sobre as características físicas das amostras não foram estatisticamente significativos (α = 0.01), provavelmente pelo curto tempo de duração do experimento. Os resultados em geral, evidenciaram o potencial da Atriplex nummularia na fitorremediação de solos irrigados com efluentes de esgotos tratados. / Wastewater reuse in crops irrigation represents a good alternative in the water resources management because it supplies nutrients and water in sufficient amount to guarantee the growing of cultures, but also can affects negatively the soil due to the constant irrigation along time. The worst effect is related to the increase of the soil salinity and sodium content. An option to mitigate this effect is to use varieties of vegetable species that can extract or accumulate salt. This study researched the changes in the chemical properties of a Plano soil (distributed in 36 pots, 18 protected of rains and winds and 18 exposed them), irrigated over two months (June – July) with secondary treated wastewater from an anaerobic reactor/maturation pond. Besides that, it was studied the performance of the halophyte Atriplex nummularia in removing salts and cations accumulated in the soil (August 2008 – February 2009), by measuring from the soil extract samples: the behavior of electrical conductivity, sodium, potassium, calcium, magnesium and pH; and from the pots leachate: pH, electrical conductivity and exchangeable sodium. During the phytoremediation process, besides the wastewater effluent used in the first stage (treatment 3), there were also applied wastewater effluent from an UASB reactor (treatment 2) and potable water (treatment 1). Also, it was studied the behavior of soil´s physicals characteristic measuring water retention curves at the beginning and end of the experiment. Irrigation with the secondary treated wastewater from an anaerobic reactor/maturation pond increased significantly soil’s sodium concentration, and simultaneously, it decreased calcium and magnesium concentrations in the soil; augmenting the Exchangeable Sodium Percentages (ESP), thus indicating the sodification of soil superficial layer (0 – 20 cm). The values of pH and electrical conductivity (soil salinity indicators when reaching values below 8,5 and over 4 dS m-1, respectively) increased, but did not reached critical values. The pots not exposed to environmental conditions presented greater salts and cations concentrations accumulated on top soil. Phytoremediation stage efficiencies were higher than 85% (in the absence of rain) and between 30 and 45% (in the presence of rain) for applied treatments 2 and 3, respectively; and more than 80% for the applied treatment 1. These results showed that the plant performance is better in the absence of rain and strong winds. The changes on the physical characteristics were statistically non-significant (α = 0.01), probably because of the short duration of the experiment. The results in general, showed the potential of the Atriplex nummularia in phytoremediation processes of wastewater-irrigated soils.

O reúso de efluentes de esgotos domésticos na irrigação de culturas representa uma alternativa adequada na gestão dos recursos hídricos devido ao fornecimento de nutrientes e água em quantidades suficientes para o desenvolvimento das culturas, porém, também pode introduz impactos negativos ao solo, em parte, potencializados pela irrigação contínua ao longo do tempo. O maior efeito está relacionado com o aumento da salinidade e sodicidade. Uma alternativa para mitigar este impacto, é o uso de espécies vegetais extratoras e acumuladoras de sais que estão presentes no solo. Neste trabalho avaliaram-se as alterações nas propriedades químicas de um planossolo (disposto em 36 vasos, 18 isolados da chuva e dos ventos e 18 expostos a eventos climáticos) irrigado durante dois meses (junho-julho) com efluente de esgoto tratado por um reator UASB + lagoa de polimento. Posteriormente, avaliou-se o desempenho da espécie halófita Atriplex nummularia na remoção de sais e cátions acumulados no substrato (agosto 2008 – fevereiro 2009), monitorando o comportamento da condutividade elétrica, sódio, potássio, cálcio, magnésio e pH (no extrato do solo) e pH, condutividade elétrica e sódio trocável no percolado dos vasos. Durante a fitorremediação, foram aplicados além do efluente utilizado na etapa anterior (tratamento 3), efluente de um sistema UASB (tratamento 2) e água potável (tratamento 1). Também foi avaliado o comportamento das características físicas do solo mediante a determinação das curvas de retenção de água no inicio e final do experimento. A irrigação com o efluente do sistema UASB + lagoa de polimento incrementou significativamente o teor de sódio ao mesmo tempo em que diminuiu as concentrações de cálcio e magnésio; incrementando em até 30 % o percentual de sódio trocável (PST), indicando a sodificação da camada superficial (0-20 cm) dos substratos. O pH e a condutividade elétrica (indicadores da salinidade do solo quando atingem valores inferiores a 8,5 e superiores a 4 dS m-1, respectivamente) aumentaram sem atingir valores críticos. As condições de maior acumulação de sais e cátions apresentaram-se nos vasos que não estiveram expostos às variáveis climáticas. Com respeito à etapa de fitorremediação, as eficiências na remoção de sódio estiveram acima de 85% (em ausência de chuva) e fora da estufa valores entre 30 – 45% para os tratamentos 2 e 3 e acima de 80% para o tratamento 1. Resultados que mostram o melhor desenvolvimento da planta na ausência de chuvas e ventos fortes. Já os efeitos sobre as características físicas das amostras não foram estatisticamente significativos (α = 0.01), provavelmente pelo curto tempo de duração do experimento. Os resultados em geral, evidenciaram o potencial da Atriplex nummularia na fitorremediação de solos irrigados com efluentes de esgotos tratados. / Wastewater reuse in crops irrigation represents a good alternative in the water resources management because it supplies nutrients and water in sufficient amount to guarantee the growing of cultures, but also can affects negatively the soil due to the constant irrigation along time. The worst effect is related to the increase of the soil salinity and sodium content. An option to mitigate this effect is to use varieties of vegetable species that can extract or accumulate salt. This study researched the changes in the chemical properties of a Plano soil (distributed in 36 pots, 18 protected of rains and winds and 18 exposed them), irrigated over two months (June – July) with secondary treated wastewater from an anaerobic reactor/maturation pond. Besides that, it was studied the performance of the halophyte Atriplex nummularia in removing salts and cations accumulated in the soil (August 2008 – February 2009), by measuring from the soil extract samples: the behavior of electrical conductivity, sodium, potassium, calcium, magnesium and pH; and from the pots leachate: pH, electrical conductivity and exchangeable sodium. During the phytoremediation process, besides the wastewater effluent used in the first stage (treatment 3), there were also applied wastewater effluent from an UASB reactor (treatment 2) and potable water (treatment 1). Also, it was studied the behavior of soil´s physicals characteristic measuring water retention curves at the beginning and end of the experiment. Irrigation with the secondary treated wastewater from an anaerobic reactor/maturation pond increased significantly soil’s sodium concentration, and simultaneously, it decreased calcium and magnesium concentrations in the soil; augmenting the Exchangeable Sodium Percentages (ESP), thus indicating the sodification of soil superficial layer (0 – 20 cm). The values of pH and electrical conductivity (soil salinity indicators when reaching values below 8,5 and over 4 dS m-1, respectively) increased, but did not reached critical values. The pots not exposed to environmental conditions presented greater salts and cations concentrations accumulated on top soil. Phytoremediation stage efficiencies were higher than 85% (in the absence of rain) and between 30 and 45% (in the presence of rain) for applied treatments 2 and 3, respectively; and more than 80% for the applied treatment 1. These results showed that the plant performance is better in the absence of rain and strong winds. The changes on the physical characteristics were statistically non-significant (α = 0.01), probably because of the short duration of the experiment. The results in general, showed the potential of the Atriplex nummularia in phytoremediation processes of wastewater-irrigated soils.

A Engenharia de Software vem, ao longo das últimas décadas, merecendo cada vez mais atenção da comunidade cientifica. A capacidade de construir software com qualidade, dentro dos prazos e orçamentos, atendendo a demanda do mercado, um dos objetivos almejados pelas pesquisas nesta área. Dentro deste contexto, os Métodos Formais e a Reutilização de Software tem sido utilizados para aumentar a qualidade e a produtividade de Software. Os métodos formais possibilitam o desenvolvimento e a verificação de software através de uma notação matemática rigorosa. Este rigor matemático permite que aspectos de consistência, completeza e exatidão possam ser avaliados sistematicamente. Para serem consistentes, fatos declarados em uma especificação não devem ser contraditos em outro lugar. A consistência é garantida matematicamente, provando que fatos iniciais podem ser formalmente traçados (usando-se regras de inferência). A reutilização de software a uma técnica de aproveitamento de informações produzidas durante desenvolvimentos de software anteriores, com o objetivo de reduzir o esforço necessário para o desenvolvimento de um novo sistema. 0 pressuposto básico da reutilização é produzir sistemas de maior qualidade e confiabilidade de forma mais produtiva. Assim, a produtividade é aumentada a medida que soluções de problemas anteriores podem ser aproveitadas para resolver novos problemas. Existe uma tendência de explorar a reutilização nas fases iniciais do desenvolvimento de software. Esta tendência se justifica pela grande importância dada a estas fases. Entretanto, os produtos das fases iniciais são fortemente relacionados com o domínio da aplicação, fazendo com que a reutilização de especificações, de modelos de requisitos ou estratégias de projeto só possa ser realizada com sucesso entre aplicações da mesma família, ou seja, aplicações que compartilhem requisitos e restrições. A noção de domínio é, pois, fundamental a reutilização nas fases iniciais. Um trabalho importante nesta área é o de Maiden, que pesquisou a analogia como um paradigma para reutilização de especificações de requisitos, e identificou 22 domínios abstratos representados por um conjunto de predicados. Este trabalho esta inserido no projeto PROSOFT, que a um ambiente de desenvolvimento de software construído no Grupo de Sistemas de Informação do CPGCC/UFRGS sob a coordenação do Prof. Dr. Daltro Jose Nunes e tem como objetivo apoiar o engenheiro de software desde a analise de requisitos ate a implementação do programa utilizando métodos formais. Ambientes de desenvolvimento de software que se propõem a ajudar o engenheiro de software não podem desprezar o potencial da reutilização, visto que esta técnica oferece condição de se produzir software com mais qualidade de forma mais produtiva Na atual fase de desenvolvimento do PROSOFT, não existe um modelo de reutilização. Se um usuário desejar construir um novo sistema, o ambiente não apresenta suporte para auxiliá-lo na localização e recuperação de especificações de requisitos já implementadas que poderiam ser adaptadas a uma nova solução. Portanto este trabalho tem como objetivo apresentar e especificar formalmente uma ferramenta de reutilização de requisitos para o ambiente PROSOFT. O modelo de reutilização de requisitos desenvolvido por Maiden, "reutilização de especificá-lo de requisitos por analogia" , foi utilizado como referência. / During the last decades Software Engeneering has caught the attention of the scientific community. The ability to develop Software with quality, in the time and cost estimated according to the marketing, is one of the desired goals in this research area. In this context, Formal Methods and Software Reuse have been used to improve Software's quality. Formal Methods enables the software development and verification through a rigorous mathematical notation. This mathematical rigidity allows the systematic assessment of aspects like consistency, completion and correction. The consistency is mathematicaly guaranteed, proving that initial facts are formaly traced (using inference rules). Software Reuse is a technique for making good use of the information produced in previous developments, with the purpose of reducing the efforts to develop new sytems . The basic goal in reusing is to produce systems with higher quality and robustness in a more efficient fashion. There is a tendency to explore the reuse in the initial phases of software development. This is justified by the great importance given to these phases. Nevertheless, the products of the initial phases are strongly related to the application domain, causing the specifications, requirements model or projects strategies reuse succeed only with applications of the same class, that is, applications sharing requirements and restrictions. The notion of domain is fundamental for reusability of software in the initial phases. An important work in this area is Maiden's doctoral thesis, which presents the research of the analogy as a paradigm of requirements specifications reusability , and the identification of 22 abstract domains represented by a predicate set. This work is part of the PROSOFT project, a software development environment built by the CPGCC/UFRGS Information Systems Group, with the purpose of supporting the software engineer, from the requirements analysis to the program implementation using formal methods. Software development environments that propose to help the software engineer cannot ignore the potential for reuse, as this technique offers conditions to produce higher quality software in a more productive way. In the PROSOFT's current development, there is no reuse model. If the user wants to build a new system, the environment does not have any support to help him/her in the identification and recovery of requirements specifications that could be adjusted to the new solution. Hence this work has the purpose of presenting and formaly specifying a requirement reuse tool for the PROSOFT environment. Maiden's requirement reuse model "Analogical Requirement Specification Reuse" was used as reference.

A Engenharia de Software vem, ao longo das últimas décadas, merecendo cada vez mais atenção da comunidade cientifica. A capacidade de construir software com qualidade, dentro dos prazos e orçamentos, atendendo a demanda do mercado, um dos objetivos almejados pelas pesquisas nesta área. Dentro deste contexto, os Métodos Formais e a Reutilização de Software tem sido utilizados para aumentar a qualidade e a produtividade de Software. Os métodos formais possibilitam o desenvolvimento e a verificação de software através de uma notação matemática rigorosa. Este rigor matemático permite que aspectos de consistência, completeza e exatidão possam ser avaliados sistematicamente. Para serem consistentes, fatos declarados em uma especificação não devem ser contraditos em outro lugar. A consistência é garantida matematicamente, provando que fatos iniciais podem ser formalmente traçados (usando-se regras de inferência). A reutilização de software a uma técnica de aproveitamento de informações produzidas durante desenvolvimentos de software anteriores, com o objetivo de reduzir o esforço necessário para o desenvolvimento de um novo sistema. 0 pressuposto básico da reutilização é produzir sistemas de maior qualidade e confiabilidade de forma mais produtiva. Assim, a produtividade é aumentada a medida que soluções de problemas anteriores podem ser aproveitadas para resolver novos problemas. Existe uma tendência de explorar a reutilização nas fases iniciais do desenvolvimento de software. Esta tendência se justifica pela grande importância dada a estas fases. Entretanto, os produtos das fases iniciais são fortemente relacionados com o domínio da aplicação, fazendo com que a reutilização de especificações, de modelos de requisitos ou estratégias de projeto só possa ser realizada com sucesso entre aplicações da mesma família, ou seja, aplicações que compartilhem requisitos e restrições. A noção de domínio é, pois, fundamental a reutilização nas fases iniciais. Um trabalho importante nesta área é o de Maiden, que pesquisou a analogia como um paradigma para reutilização de especificações de requisitos, e identificou 22 domínios abstratos representados por um conjunto de predicados. Este trabalho esta inserido no projeto PROSOFT, que a um ambiente de desenvolvimento de software construído no Grupo de Sistemas de Informação do CPGCC/UFRGS sob a coordenação do Prof. Dr. Daltro Jose Nunes e tem como objetivo apoiar o engenheiro de software desde a analise de requisitos ate a implementação do programa utilizando métodos formais. Ambientes de desenvolvimento de software que se propõem a ajudar o engenheiro de software não podem desprezar o potencial da reutilização, visto que esta técnica oferece condição de se produzir software com mais qualidade de forma mais produtiva Na atual fase de desenvolvimento do PROSOFT, não existe um modelo de reutilização. Se um usuário desejar construir um novo sistema, o ambiente não apresenta suporte para auxiliá-lo na localização e recuperação de especificações de requisitos já implementadas que poderiam ser adaptadas a uma nova solução. Portanto este trabalho tem como objetivo apresentar e especificar formalmente uma ferramenta de reutilização de requisitos para o ambiente PROSOFT. O modelo de reutilização de requisitos desenvolvido por Maiden, "reutilização de especificá-lo de requisitos por analogia" , foi utilizado como referência. / During the last decades Software Engeneering has caught the attention of the scientific community. The ability to develop Software with quality, in the time and cost estimated according to the marketing, is one of the desired goals in this research area. In this context, Formal Methods and Software Reuse have been used to improve Software's quality. Formal Methods enables the software development and verification through a rigorous mathematical notation. This mathematical rigidity allows the systematic assessment of aspects like consistency, completion and correction. The consistency is mathematicaly guaranteed, proving that initial facts are formaly traced (using inference rules). Software Reuse is a technique for making good use of the information produced in previous developments, with the purpose of reducing the efforts to develop new sytems . The basic goal in reusing is to produce systems with higher quality and robustness in a more efficient fashion. There is a tendency to explore the reuse in the initial phases of software development. This is justified by the great importance given to these phases. Nevertheless, the products of the initial phases are strongly related to the application domain, causing the specifications, requirements model or projects strategies reuse succeed only with applications of the same class, that is, applications sharing requirements and restrictions. The notion of domain is fundamental for reusability of software in the initial phases. An important work in this area is Maiden's doctoral thesis, which presents the research of the analogy as a paradigm of requirements specifications reusability , and the identification of 22 abstract domains represented by a predicate set. This work is part of the PROSOFT project, a software development environment built by the CPGCC/UFRGS Information Systems Group, with the purpose of supporting the software engineer, from the requirements analysis to the program implementation using formal methods. Software development environments that propose to help the software engineer cannot ignore the potential for reuse, as this technique offers conditions to produce higher quality software in a more productive way. In the PROSOFT's current development, there is no reuse model. If the user wants to build a new system, the environment does not have any support to help him/her in the identification and recovery of requirements specifications that could be adjusted to the new solution. Hence this work has the purpose of presenting and formaly specifying a requirement reuse tool for the PROSOFT environment. Maiden's requirement reuse model "Analogical Requirement Specification Reuse" was used as reference.