Requirements of a Volvo car are stored in a requirements management system at Volvo Car Group (VCG). VCG recently implemented a new requirements management system, a system called SystemWeaver. Many different types of requirements are stored in the SystemWeaver software, where the requirements can only be described in text and pictures. However, some requirements are geometry-based, describing some type of shape or measurement in space that the car should fulfil. Geometry-based requirements are stored in Teamcenter and have two components, the requirement text and requirement geometry in the form of CAD-models. The models are used to illustrate the requirement in space. This master thesis examines the possibilities of connecting text-based requirements in SystemWeaver to requirement geometries. The technical aspects are studied as well as the organizational mechanisms of creating and changing a geometry-based requirement. To find a working solution, research relating to the issue gave input to the project. Furthermore, interviews were conducted at different departments at VCG to get insight in the working tasks of requirement management at the company. The project resulted in a concept of a new process, describing the actions of geometry-based requirement management and how requirement geometries should be connected to SystemWeaver. The new concept outlined the logical steps that are required to work with SystemWeaver and geometry-based requirements. The work has laid a foundation on which future studies can be conducted to further streamline management of geometry-based requirements at VCG.

Submitted by Lara Oliveira (lara@ufersa.edu.br) on 2017-02-16T19:44:44Z No. of bitstreams: 1 MarcírioL_TESE.pdf: 4644751 bytes, checksum: 0edf8df704d3649fa1696d01be1a259a (MD5) / Approved for entry into archive by Vanessa Christiane (referencia@ufersa.edu.br) on 2017-03-21T14:53:55Z (GMT) No. of bitstreams: 1 MarcírioL_TESE.pdf: 4644751 bytes, checksum: 0edf8df704d3649fa1696d01be1a259a (MD5) / Approved for entry into archive by Vanessa Christiane (referencia@ufersa.edu.br) on 2017-03-21T14:54:33Z (GMT) No. of bitstreams: 1 MarcírioL_TESE.pdf: 4644751 bytes, checksum: 0edf8df704d3649fa1696d01be1a259a (MD5) / Made available in DSpace on 2017-03-21T15:02:20Z (GMT). No. of bitstreams: 1 MarcírioL_TESE.pdf: 4644751 bytes, checksum: 0edf8df704d3649fa1696d01be1a259a (MD5) Previous issue date: 2016-07-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The population growth contributes to environmental crises by stressing water resources and their reuse is an essential component of their management. The crisis requires conservation practices with emphasis on the use of treated domestic sewage in the forage palm production. In this way, the application of domestic effluent to the soil and the growth and development of the Mexican elephant ear (Opuntia tuna (L.) Mill) palm was evaluated. The experiment was carried out in the Milagres settlement, in the municipality of Apodi-RN, cultivated in a randomized complete block design in subdivided plots 3 x (4 + 1), with 4 replicates, being three densities (d1 - 0.10 x 0.80 x 2.20 m {33,333 plants / hectare}, d2 = 0.13 x 0.80 x 2.20 m {52,282 plants / hectare}, d3 = 0.20 x 0.80 x 2.20 m {66,666 plants / Hectare) and four intervals between irrigation with fixed blade (3.5 mm per event) with water supply - AA and treated domestic sewage - EA, being (2.3 days AA and 7, 14 and 21 days AE) with 3.5 mm each and one control as dry. The plant height, total number, length, width, thickness and perimeter of cladodes, as well as the average growth of green matter (MV) per plant and total, and the percentage of dry matter (DM), were evaluated every 75 days, beginning after planting, and ending at 375 days after planting (DAP); and at the end of one year, soil nutrients were evaluated in the 0-20 and 20-40 cm layers and the average of the exported nutrients, which were submitted to regression and means tests. There was an effect (p<0.01) of the intervals between irrigation in most of the variables, resulting in higher plants, more numerous cladodes, and elevations in MV and MS growth. And there was still increase of P (2,3 days), PST and P (7 and 21 days) and PST (14 days) in the 0-20 cm layer of soil. Also increased Mg (2.3 days), PST, Na and P (7 and 21 days) and PST and Na (14 days) in the 20-40 cm layer. There was as well a (P 0,01) effect at interval between irrigation and planting density in the 0-20 cm layer, resulting in an increase in PST and Na (7, 14 and 21 days in D1, D2 and D3) and Ca (21 days on D2). And there was a significant effect of the intervals between irrigation at (P 0,01) and (P 0,05) on the nutrient export only for Ca, Mg, Mn and Zn, respectively, but generating a deficit of N, Ca, Mg, Mn and Zn and surplus of P, K, Fe, Co and Na in the soil after harvesting the forage palm / O crescimento populacional contribui para crise ambiental pressionando os recursos hídricos e o seu reúso é um componente essencial para sua gestão. A crise exige práticas de conservação com destaque para o uso de esgoto doméstico tratado na produção da palma forrageira. Desta forma, foi avaliado a aplicação do efluente doméstico no solo e no crescimento e desenvolvimento da palma forrageira orelha-de-elefante mexicana (Opuntia tuna (L.) Mill). O experimento foi realizado no assentamento Milagres, no município de Apodi-RN, cultivado em blocos casualizados em esquema de parcelas subdivididas 3 x (4 + 1), com 4 repetições, sendo três densidades (d1 – 0,10 x 0,80 x 2,20 m {33.333 plantas/hectare}; d2 – 0,13 x 0,80 x 2,20 m {52.282 plantas/hectare}; d3 – 0,20 x 0,80 x 2,20 m {66.666 plantas/hectare}) e quatro intervalos entre irrigação com lâmina fixa (3,5 mm p/ evento) com água de abastecimento – AA e esgoto doméstico tratado – AE, sendo (2,3 dias AA e 7, 14 e 21 dias AE) com 3,5 mm cada e uma testemunha como sequeiro. Avaliou-se a cada 75 dias, iniciando após o plantio, e finalizando aos 375 dias após o plantio – DAP, a altura da planta, número total, comprimento, largura, espessura e perímetro dos cladódios, assim como a produção média de matéria verde (MV) por planta e total, a percentagem de matéria seca (MS) e ao final do um ano, avaliou-se os nutrientes do solo nas camadas de 0-20 e 20-40 cm e a média dos nutrientes exportados, os quais foram submetidos aos testes de regressão e de médias. Houve efeito a (p˂0,01) dos intervalos entre irrigação na maioria das variáveis, resultando em plantas mais altas, cladódios mais numerosos, e elevações nas produções de MV e MS. E aumento de P (2,3 dias), PST e P (7 e 21 dias) e PST (14 dias) na camada de 0-20 cm de solo. E também aumento de Mg (2,3 dias), PST, Na e P (7 e 21 dias) e PST e Na (14 dias) na camada de 20-40 cm. Também houve efeito a (P˂0,01) em intervalo entre irrigação e densidade de plantio na camada de 0-20 cm, resultando em aumento na PST e Na (7, 14 e 21 dias nas D1, D2 e D3) e Ca (21 dias na D2). E houve efeito significativo dos intervalos entre irrigação a (P˂0,01) e (P˂0,05) na exportação de nutriente apenas para Ca, Mg, Mn e Zn, respectivamente, mas gerando déficit de N, Ca, Mg, Mn e Zn e superávit de P, K, Fe, Co e Na no solo após a colheita da palma forrageira / 2017-02-16

Submitted by Lara Oliveira (lara@ufersa.edu.br) on 2018-03-20T20:55:57Z No. of bitstreams: 1 JoséRSF_DISSERT.pdf: 953765 bytes, checksum: cfa6e9ab2efbc54639a0e33a50b01261 (MD5) / Approved for entry into archive by Vanessa Christiane (referencia@ufersa.edu.br) on 2018-06-18T17:00:58Z (GMT) No. of bitstreams: 1 JoséRSF_DISSERT.pdf: 953765 bytes, checksum: cfa6e9ab2efbc54639a0e33a50b01261 (MD5) / Approved for entry into archive by Vanessa Christiane (referencia@ufersa.edu.br) on 2018-06-18T17:01:05Z (GMT) No. of bitstreams: 1 JoséRSF_DISSERT.pdf: 953765 bytes, checksum: cfa6e9ab2efbc54639a0e33a50b01261 (MD5) / Made available in DSpace on 2018-06-18T17:01:14Z (GMT). No. of bitstreams: 1 JoséRSF_DISSERT.pdf: 953765 bytes, checksum: cfa6e9ab2efbc54639a0e33a50b01261 (MD5) Previous issue date: 2017-08-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Software systems are constantly changing during their evolution. These changes are directly linked with the management of their product requirements. When requirements are well managed, they evolve more accurately and development costs are reduced, which includes avoiding unnecessary changes to evolving code. It is known that much of the changes demanded during the evolution of the code is associated with the scope of its elements. However, there are no studies investigating whether variations in the scope of requirements are correlated with variations in the scope of code compositions. The main purpose of this master’s thesis is to provide means to requirements engineers to monitor variation in the scope of software requirements and to correlate them with the scope of evolving code elements, which has a proven negative impact on the number of changes demanded in evolving code artifacts. In this context, a metric was formulated to quantify the scope of requirements and based on it a plug-in, called MeRS, was developed. MeRS provides means to automate this quantification. Using MeRS, an exploratory study was conducted to correlate the scopes at the requirements and code levels. To do so, we analyze the evolution of the requirements and code, focusing on the scope of two applications in evolution: NotePad and Mobile Media. The results showed that the requirements scope values are correlate with the scope of the code / Sistemas de software estão em constantes mudanças durante sua evolução, essas mudanças estão diretamente ligadas com a gestão de requisitos de seus produtos. Quando requisitos são bem gerenciados, eles evoluem de forma mais precisa e os custos de desenvolvimento são reduzidos, isso inclui evitar mudanças desnecessárias no código em evolução. Sabe-se que boa parte das mudanças demandadas durante a evolução do código está associada ao escopo dos seus elementos. Porém, não há estudos que investiguem se variações no escopo dos requisitos estão correlacionadas com variações no escopo das composições de código.Oobjetivo principal desta dissertação de mestrado é prover aos engenheiros de requisitos meios de monitorar a variação do escopo dos requisitos de software e correlacioná-los com o escopo dos elementos de código em evolução, o qual possui impacto negativo comprovado sobre o número de mudanças demandadas em artefatos de código em evolução. Neste contexto, foi formulado uma métrica para quantificar o escopo de requisitos e com base nela foi desenvolvido um plug-in, denominado MeRS, que fornece meios para automatizar esta quantificação. Por meio do MeRS foi conduzido um estudo exploratório com o objetivo de correlacionar os escopos nos níveis de requisitos e código. Para tanto, analisamos a evolução dos requisitos e código, com foco em escopo, de duas aplicações em evolução: NotePad e Mobile Media. Os resultados mostraram que os valores do escopo dos requisitos estão correlacionados com o escopo do código / 2018-03-20

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.

Várias ferramentas de desenvolvimento utilizam mecanismos para centralizar/gerenciar código compartilhado entre diferentes desenvolvedores ou equipes de desenvolvimento. Estes repositórios geralmente deixam muito a desejar em relação aos serviços que oferecem, não só aos desenvolvedores, mas também aos usuários de sistemas já desenvolvidos, que desejam ter atualizações e correções constantes em seus aplicativos. Surge então a necessidade de disponibilizar esses recursos em um ambiente de trabalho realmente cooperado. Este trabalho propõe a modelagem de um repositório de componentes de software, formado por uma área de armazenamento centralizada comum aos desenvolvedores, e com capacidade de gerenciar componentes e agregar serviços extras, administrando seu ciclo de vida de modo integrado. Para tal, várias tecnologias baseadas em Java foram integradas, tais como as seguintes API's: Enterprise Java Beans (EJB), Java Naming and Directory Interface (JNDI), Remote Method Invocation (RMI), Java Messaging Service (JMS), Java Transaction (JTA), Java Transaction Service (JTS) e Java Database Connection (JDBC).Para que o modelo aqui proposto possua um nível de funcionalidade adequado, são fornecidos vários serviços pelo repositório, atendendo assim às expectativas tanto de desenvolvedores, como dos usuários finais. Dentre outros, são providos os seguintes serviços: Serviço de Descrição, Serviço de Histórico, Serviço de Controle de Versões, Serviço de Teste OO, Serviço de Padrões de Projeto e Serviço de Invalidação de Componentes. / Software development tools commonly use mechanisms for storing/managing code shared among different developers or development teams. These repositories generally are very poor in relation to the services they provide to developers and also to the users of already developed systems which need to make constant updates and corrections on their applications. There is a need to supply supporting services to software integration through a really cooperated development environment. This work considers the modeling of a software component repository comprising a common storage area to be accessed by developers, possessing capacity to manage components and to add extra services, and managing the development life cycle in an integrated mode. To accomplish this model, some technologies based on Java have been integrated, namely: Enterprise Java Beans (EJB), Java Naming and Directory Interface (JNDI), Remote Method Invocation (RMI), Java Messaging Service (JMS), Java Transaction (JTA), Java Transaction Service (JTS) and Java Database Connection (JDBC). For the model considered here to have an adjusted level of functionality, some repository services are supplied so assuring the expectations of developers and final users. Among the services provided, the following must be mentioned: Description Service, History Service, Version Control Service, OO Test Service, Design Patterns Service and Components Invalidation Service.

Dois experimentos foram realizados com o objetivo de avaliar o efeito da temperatura e do índice de temperatura e umidade (ITU) nas idades pré-inicial e inicial de frangos de corte sobre as alterações provocadas nas partições da energia metabolizável ingerida (EMI) e sobre as exigências de mantença (EMm) e, desempenho. Um terceiro experimento mediu o desempenho subsequente de frangos que foram submetidos a diferentes temperaturas durante os primeiros 14 dias de vida, bem como a composição e rendimentos de carcaça e cortes. Nos experimentos 1 e 2 foi determinado a energia metabolizável (EM) utilizando indicador óxido de cromo, e os resultados das partições da EMI foram determinados a partir da técnica de abate comparativo para cada período avaliado. O desempenho também foi avaliado. Os resultados das variáveis de resposta animal foram submetidos a análise de regressão tendo como variáveis independentes as médias de temperatura e o ITU. Os resultados permitiram determinar no experimento 1 que, para a idade de 1 a 7 dias a média de temperatura de 28,3 °C melhorou os índices de desempenho. A exigência de mantença por peso metabólico nesta idade apresentou menor valor em 30,8 °C, sendo estimada em 163,7 kcal/kg PV0,75/dia. A temperatura de 29,3 °C determinou as maiores proporções da EMI destinadas para as retenções de energia bruta (EB), proteína bruta (PB) e gordura bruta (EE). No experimento 2, a média de temperatura de 24,6 °C melhorou os índices de desempenho para a idade de 8 a 14 dias, assim, a média da exigência de mantença foi estimada em 238 kcal/kg de PV0,75/dia. A temperatura em que as maiores proporções da EMI foram destinadas para as retenções de EB e PB foi próxima a 26,4 °C. No experimento 3 foi observado que, apesar de ter piorado a conversão alimentar, as temperaturas entre 22,6 e 24 °C até os 14 dias de idade se mostraram mais favoráveis para o desempenho produtivo e rendimentos de corte dos frangos aos 39 dias. Os resultados demonstraram também que, frangos que receberam temperatura mais baixa até os 14 dias e em função disso apresentavam menor desempenho, demonstraram uma tendência de recuperação ascendente do desempenho, até os 39 dias. Concluí-se por estes resultados que, frangos de idades pré-iniciais e iniciais modificam as suas exigências de energia para mantença em função da modificação do ambiente térmico, influenciando no seu desenvolvimento inicial com reflexos na idade de abate. / Two experiments were performed to assess the effect of temperature and the temperature and umidity index (TUI) in the pre-starting and starting age of broilers on changes caused in partitions of metabolizable energy intake (MEI) and maintenance (MEm) requirements and performance. A third experiment measured the subsequent performance of chickens that were subjected to different temperatures during the first 14 days of life, as well as the composition and yield of carcass and cuts. In experiments 1 and 2 was determined to metabolizable energy (ME) using chromium oxide indicator, and the results of the partitions of the MEI have been determined from the slaughtered comparative technique for each evaluated period. The performance was also evaluated. The results of animal response variables were subjected to regression analysis with independent variables temperature averages and the TUI. The results determine in experiment 1 that, for the age of 1 to 7 days the average temperature of 28.3°C improved levels of performance. The maintenance requirement for metabolic weight at this age showed lower value in 30.8°C, being estimated at 163.7 kcal/kg BW0,75/dia. 29.3°C temperature determined the highest proportions of MEI for the retention of gross energy (GE), crude protein (CP) and crude fat (CF). In experiment 2, the mean temperature of 24.6°C improved levels of performance on 7 to 14 days, so the average maintenance requirement was estimated at 238 kcal/kg BW0.75/day. The temperature at which the highest proportions of MEI were intended for the retention of GE and CP was next to 26.4°C. In experiment 3 was observed that, in spite of having worsened the feed conversion, temperatures between 22.6 and 24° C until the 14 days of age were more favorable for the productive performance and cutting income of chickens to 39 days. In experiment 3 was observed temperatures between 22.6 and 24° C until the 14 days of age were more favorable for the productive performance and yield of chickens to 39 days. The results showed that chickens that received lower temperature until the 14 days and because of this had less performance, showed a trend of rising performance recovery, until the 39 days. It was concluded that chickens for ages pré-iniciais and initials modify their energy requirements for maintenance depending on the modification of the thermal environment, influencing in early development with reflections in the age of slaughter.

Les choix éducatifs, et notamment celui de l'accession à l'enseignement supérieur, sont le résultat de processus complexes qui font intervenir des instances de décisions variées (individu/collectivité ; parent/enfant ; système éducatif/établissement d'enseignement supérieur et de recherche) qui elles-mêmes se présentent avec des motivations multiples : gains économiques, recherche de bien-être ou de statut sociale, efficacité ou encore justice sociale. Chacune de ces décisions interdépendantes pèsent sur la création, l'allocation et la distribution des ressources dans une société.Notre contribution est ici de mieux comprendre comment les agents interagissement et de déterminer les conséquences de ces interactions. / Educative choices, and the entry in higher education in particular, result from complex processes which bring in various decision-makers (individual / community; parent / child; education system/higher education institutions) who appear with multiple incentives: economic gains, well-being or social status, efficiency or social justice ; given that each of these interdependent decisions influences the creation, the allocation and the distribution of the resources in a society.Our contribution is to demonstrate how the agents interact and what are the consequences of these interactions.

Il est communément admis que 70 % des coûts du cycle de vie d’un produit sont engagés dès la phase de spécification. Or, aujourd’hui, dans chacune des relations contrac-tuelles client-fournisseur, le fournisseur doit faire face à un amas d’exigences à partir duquel il est difficile de prendre des décisions stratégiques avisées. Pour aider les sous-traitants, nous proposons une méthode outillée de synthèse des exigences, laquelle est supportée par un environnement numérique basé sur les sciences des données. Des modèles de classification extraient les exigences des documents. Les exigences sont ensuite analysées au moyen des techniques de traitement du langage naturel afin d’identifier les défauts de qualité qui mettent en péril le reste du cycle de vie. Pour faciliter leur exploitation, les exigences, dépourvues de leurs principaux défauts, sont non seulement classifiées automatiquement au sein de catégories métiers grâce aux techniques d’apprentissage machine, mais aussi segmentées en communautés au moyen des récentes avancées en théorie des graphes. Chacune des communautés d’exigences est caractérisée par un ensemble configurable de critères d’aide à la décision, dont l’estimation collaborative est assurée par des experts représentant les diverses fonctions de l’entreprise. Enfin, une synthèse graphique des estimations est restituée au décideur via un tableau de bord de résumés statistiques descriptifs facilitant la prise de décisions informées. La validation théorique et empirique de notre proposition corrobore l’hypothèse que les sciences des données est un moyen de synthétiser plusieurs centaines ou milliers d’exigences. / It is broadly accepted that 70 % of the total life cycle cost is committed during the specification phase. However, nowadays, we observe a staggering increase in the number of requirements. We consider the tremendous volume of requirements as big data with which sub-contractors struggle to make strategic decisions early on. Thus, we propose to methodologically integrate data science techniques into a collaborative requirement mining framework, which enables decision-makers to gain insight and discover opportunities in a massive set of requirements. Initially, classification models extract requirements from prescriptive documents. Requirements are subsequently analysed with natural language processing techniques so as to identify quality defects. After having removed the quality defects, the analyst can navigate through clusters of requirements that ease the exploration of big data. Each cluster gathers the requirements that belong to a functional area (mechanics, electronics, IT, etc.). Each domain expert can therefore easily filter out the requirements subset that is relevant for him. A complementary approach consists in detecting communities of requirements by analysing the topology of a graph. Each community owns a customisable set of decision-making criteria which are estimated by all functional areas. A dashboard of statistical visuals distils the estimation results from which a decision maker can make informed decisions. We conclude that the theoretical and empirical validation of our proposition corroborates the assumption that data science is an effective way to gain insight from hundreds or thousands of requirements.

Várias ferramentas de desenvolvimento utilizam mecanismos para centralizar/gerenciar código compartilhado entre diferentes desenvolvedores ou equipes de desenvolvimento. Estes repositórios geralmente deixam muito a desejar em relação aos serviços que oferecem, não só aos desenvolvedores, mas também aos usuários de sistemas já desenvolvidos, que desejam ter atualizações e correções constantes em seus aplicativos. Surge então a necessidade de disponibilizar esses recursos em um ambiente de trabalho realmente cooperado. Este trabalho propõe a modelagem de um repositório de componentes de software, formado por uma área de armazenamento centralizada comum aos desenvolvedores, e com capacidade de gerenciar componentes e agregar serviços extras, administrando seu ciclo de vida de modo integrado. Para tal, várias tecnologias baseadas em Java foram integradas, tais como as seguintes API's: Enterprise Java Beans (EJB), Java Naming and Directory Interface (JNDI), Remote Method Invocation (RMI), Java Messaging Service (JMS), Java Transaction (JTA), Java Transaction Service (JTS) e Java Database Connection (JDBC).Para que o modelo aqui proposto possua um nível de funcionalidade adequado, são fornecidos vários serviços pelo repositório, atendendo assim às expectativas tanto de desenvolvedores, como dos usuários finais. Dentre outros, são providos os seguintes serviços: Serviço de Descrição, Serviço de Histórico, Serviço de Controle de Versões, Serviço de Teste OO, Serviço de Padrões de Projeto e Serviço de Invalidação de Componentes. / Software development tools commonly use mechanisms for storing/managing code shared among different developers or development teams. These repositories generally are very poor in relation to the services they provide to developers and also to the users of already developed systems which need to make constant updates and corrections on their applications. There is a need to supply supporting services to software integration through a really cooperated development environment. This work considers the modeling of a software component repository comprising a common storage area to be accessed by developers, possessing capacity to manage components and to add extra services, and managing the development life cycle in an integrated mode. To accomplish this model, some technologies based on Java have been integrated, namely: Enterprise Java Beans (EJB), Java Naming and Directory Interface (JNDI), Remote Method Invocation (RMI), Java Messaging Service (JMS), Java Transaction (JTA), Java Transaction Service (JTS) and Java Database Connection (JDBC). For the model considered here to have an adjusted level of functionality, some repository services are supplied so assuring the expectations of developers and final users. Among the services provided, the following must be mentioned: Description Service, History Service, Version Control Service, OO Test Service, Design Patterns Service and Components Invalidation Service.

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.