Sistemas de software bem modularizados podem trazer diversos benefícios como reu- sabilidade, compreensão, adaptabilidade, manutenibilidade, entre outros. O conceito de separação de interesses está diretamente ligado à ideia de modularização e consiste na capacidade de manter cada interesse em sua própria unidade modular. Um interesse pode estar relacionado tanto a requisitos funcionais como não-funcionais e em diferentes níveis de abstração. Algumas das técnicas que têm sido utilizadas para modularização de interes- ses são a Programação Orientada a Aspectos (POA) e Refatoração. Entretanto, a maioria das propostas de refatoração que envolvem a POA possui limitações para a modularização de interesses transversais: muitas delas são de granularidade fina; algumas são definidas imprecisamente e possuem sobreposição de intenções. A seleção e composição de tais refatorações para a modularização de interesses é uma tarefa difícil e não-trivial, além de variar em cada contexto específico, o que dificulta o reuso. Algumas das propostas de refatorações são voltadas especialmente para interesses transversais, no entanto possuem um nível de abstração pouco elevado e encontram-se acopladas a mecanismos específicos de linguagens de programação OO e OA. Adicionalmente, a aplicação de refatorações deve ser planejada e acompanhada sistematicamente durante o desenvolvimento e manu- tenção de um software, pois envolve alocação de recursos e avaliação de custo/benefício. O objetivo deste trabalho é apresentar um método de refatoração para modularização de interesses transversais, através de refatorações de granularidade alta, baseado em padrões recorrentes de estruturas transversais (chamados de sintomas). Além disso, como parte do método, propõem-se algoritmos para análise de impacto a fim de apoiar desenvolve- dores no processo decisório de aplicação de refatorações candidatas. Inicialmente, dois estudos bibliográficos foram conduzidos: o primeiro sobre propostas de refatorações que envolvem aspectos e o segundo sobre trabalhos de medição de interesses. Dois estudos de caso foram realizados totalizando 22 interesses de dois sistemas alvos. Este trabalho de avaliação possibilitou uma análise quantitativa e qualitativa dos resultados onde foi possível verificar a aplicabilidade do proposta. / Well-modularized software systems can bring several benefits such as reuse, com- prehension, adaptability, maintainability, among others. The concept of separation of concerns refers to the idea of modularisation, which consists on the ability to keep every concern in its own modular unit. A concern can refer to functional and non-functional requirements and can also be in different abstraction levels. Some of the techniques which have been applied for crosscutting concerns modularization are Aspect-Oriented Programming (AOP) and Refactoring. However, most of the aspect-oriented refactor- ings have limitations regarding the modularisation of crosscutting concerns. A number of them presents fine-grained transformations. While some of them are well-documented catalogues, a number of them are defined imprecisely, addressing the same situation and having overlapping intentions. They do not allow the designer to holistically reason about the elements involved in a crosscutting concern. It becomes difficult and non-trivial to choose a set of fine-grained refactorings and organize them in a feasible order to achieve the concern modularisation in a specific context. Some of the refactoring techniques are particularly focused on crosscutting concerns, however they are not placed in a suf- ficient abstraction level. Moreover they are coupled to specific OO and AO language mechanisms. Additionally, the application of refactorings should be planned and realized systematically during software development and maintenance since it involves resource allocation and tradeoff analysis. The goal of this work is to present a refactoring method for crosscutting concerns modularisation, through coarse-grained refactorings based on recurring patterns of crosscutting shapes (called symptoms). Also, as part of the method, algorithms for change-impact analysis are proposed in order to support developers during the decision process of the application of refactoring candidates. Initially, two biblio- graphic studies were made: the first one about refactoring approaches which involve as- pects, and the second one about concern measurement techniques. Two case studies were carried out totalizing 22 concerns of two target systems. This evaluation work allowed a quantitative and qualitative analysis of the results. Thus it was possible to verify the applicability of our approach.

Sistemas de software bem modularizados podem trazer diversos benefícios como reu- sabilidade, compreensão, adaptabilidade, manutenibilidade, entre outros. O conceito de separação de interesses está diretamente ligado à ideia de modularização e consiste na capacidade de manter cada interesse em sua própria unidade modular. Um interesse pode estar relacionado tanto a requisitos funcionais como não-funcionais e em diferentes níveis de abstração. Algumas das técnicas que têm sido utilizadas para modularização de interes- ses são a Programação Orientada a Aspectos (POA) e Refatoração. Entretanto, a maioria das propostas de refatoração que envolvem a POA possui limitações para a modularização de interesses transversais: muitas delas são de granularidade fina; algumas são definidas imprecisamente e possuem sobreposição de intenções. A seleção e composição de tais refatorações para a modularização de interesses é uma tarefa difícil e não-trivial, além de variar em cada contexto específico, o que dificulta o reuso. Algumas das propostas de refatorações são voltadas especialmente para interesses transversais, no entanto possuem um nível de abstração pouco elevado e encontram-se acopladas a mecanismos específicos de linguagens de programação OO e OA. Adicionalmente, a aplicação de refatorações deve ser planejada e acompanhada sistematicamente durante o desenvolvimento e manu- tenção de um software, pois envolve alocação de recursos e avaliação de custo/benefício. O objetivo deste trabalho é apresentar um método de refatoração para modularização de interesses transversais, através de refatorações de granularidade alta, baseado em padrões recorrentes de estruturas transversais (chamados de sintomas). Além disso, como parte do método, propõem-se algoritmos para análise de impacto a fim de apoiar desenvolve- dores no processo decisório de aplicação de refatorações candidatas. Inicialmente, dois estudos bibliográficos foram conduzidos: o primeiro sobre propostas de refatorações que envolvem aspectos e o segundo sobre trabalhos de medição de interesses. Dois estudos de caso foram realizados totalizando 22 interesses de dois sistemas alvos. Este trabalho de avaliação possibilitou uma análise quantitativa e qualitativa dos resultados onde foi possível verificar a aplicabilidade do proposta. / Well-modularized software systems can bring several benefits such as reuse, com- prehension, adaptability, maintainability, among others. The concept of separation of concerns refers to the idea of modularisation, which consists on the ability to keep every concern in its own modular unit. A concern can refer to functional and non-functional requirements and can also be in different abstraction levels. Some of the techniques which have been applied for crosscutting concerns modularization are Aspect-Oriented Programming (AOP) and Refactoring. However, most of the aspect-oriented refactor- ings have limitations regarding the modularisation of crosscutting concerns. A number of them presents fine-grained transformations. While some of them are well-documented catalogues, a number of them are defined imprecisely, addressing the same situation and having overlapping intentions. They do not allow the designer to holistically reason about the elements involved in a crosscutting concern. It becomes difficult and non-trivial to choose a set of fine-grained refactorings and organize them in a feasible order to achieve the concern modularisation in a specific context. Some of the refactoring techniques are particularly focused on crosscutting concerns, however they are not placed in a suf- ficient abstraction level. Moreover they are coupled to specific OO and AO language mechanisms. Additionally, the application of refactorings should be planned and realized systematically during software development and maintenance since it involves resource allocation and tradeoff analysis. The goal of this work is to present a refactoring method for crosscutting concerns modularisation, through coarse-grained refactorings based on recurring patterns of crosscutting shapes (called symptoms). Also, as part of the method, algorithms for change-impact analysis are proposed in order to support developers during the decision process of the application of refactoring candidates. Initially, two biblio- graphic studies were made: the first one about refactoring approaches which involve as- pects, and the second one about concern measurement techniques. Two case studies were carried out totalizing 22 concerns of two target systems. This evaluation work allowed a quantitative and qualitative analysis of the results. Thus it was possible to verify the applicability of our approach.

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-12T12:46:58Z No. of bitstreams: 2 TESE Henrique Emanuel Rabêlo.pdf: 2393775 bytes, checksum: b74f8b8b1b46d5879b334348c3110846 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T12:53:22Z (GMT) No. of bitstreams: 2 TESE Henrique Emanuel Rabêlo.pdf: 2393775 bytes, checksum: b74f8b8b1b46d5879b334348c3110846 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T12:53:22Z (GMT). No. of bitstreams: 2 TESE Henrique Emanuel Rabêlo.pdf: 2393775 bytes, checksum: b74f8b8b1b46d5879b334348c3110846 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014 / Design by Contract (DbC) ´e uma t´ecnica popular para desenvolvimento de programas usando especifica¸c˜oes comportamentais. Neste contexto, pesquisadores descobriram que a implementao de DbC ´e crosscutting e, portanto, sua implementa¸c˜ao ´e melhor modularizada por meio da Programa¸c˜ao Orientada a Aspectos (POA) por´em, os mecanismos de POA para dar suporte a modularide de contratos, de fato comprometem sua modularidade e entendidmento. Por exemplo, na linguagem POA AspectJ, o racioc´ınio da corretude de uma chamada de m´etodo requer uma an´alise global do programa para determinar quais advice aplicam e sobretudo o que esses advice fazem em rela¸c˜ao a implementa ¸c˜ao e checagem DbC. Al´em disso, quando os contratos so separados das classes o programador corre o risco de quebrar-los inadvertidamente. Diferentemente de uma linguagem POA como AspectJ, uma linguagem DbC preserva as principais caractersticas DbC como raciocnio modular e documenta¸c˜ao. No entanto, pr´e- e p´os-condi¸c˜oes recorrentes continuam espalhadas por todo o sistema. Infelizmente esse n˜ao o ´unico problema relacionado com modularidade que temos em linguagens DbC existentes, o seu com respectivos verificadores dinˆamicos so inconsistentes com as regras de information hiding devido a naturaze overly-dynamic na qual os contratos s˜ao checados no lado servidor. Este problema implica que durante a reportagem de erros, detalhes de implementa¸c˜ao so expostos para clientes no privilegiados. Portanto, se os programadores cuidadosamente escolherem as partes que devem ser escondidas dos clientes, durante a checagem dinˆamica de contratos, as mudanas nessas partes n˜ao deveriam afetar nem os clientes dos m´odulos nem a reportagem de erros de contratos. Neste trabalho n´os resolvemos esses problemas com AspectJML, uma nova liguagem de especifica¸c˜ao que suporta contratos crosscutting para c´odigo Java. Al´em disso, n´os demonstramos como AspectJML usa as principais caractersticas de uma linguagem DbC como racioc´ınio modular e documenta¸c˜ao dos contratos. Mais ainda, n´os mostramos como AspectJML combinado com nossa t´ecnica chamada de client-aware checking permite uma checagem dinˆamica de contratos que respeitem os princ´ıpios de information hiding em especifica¸c˜oes. Neste trabalho usamos JML para fins concretos, mas nossa solu¸c˜ao pode ser utilizadas para outras linguagems Java-likee suas respectivas linguagens DbC. Para concluir, n´os conduzimos uma avalia¸c˜ao da nossa modulariza¸c˜ao dos contratos crosscutting usando AspectJML, onde observamos que seu uso reduz o esforo de escrever pr´e- e p´os-condies, por´em com um pequeno overhead em tempo de compila¸c˜ao e instrumentação de código para checagem de contratos. / Design by Contract (DbC) is a popular technique for developing programs using behavioral specifications. In this context, researchers have found that the realization of DbC is crosscutting and fares better when modularized by Aspect-Oriented Programming. However, previous efforts aimed at supporting crosscutting contracts modularly actually compromised the main DbC principles. For example, in AspectJ-style, reasoning about the correctness of a method call may require a whole-program analysis to determine which advice applies and what that advice does relative to DbC implementation and checking. Also, when contracts are separated from classes a programmer may not know about them and may break them inadvertently. Unlike an AspectJ-like language, a DbC language keeps the main DbC principles such as modular reasoning and documentation. However, a recurrent pre- or postcondition specification remains scattered across several methods in many types. Unfortunately, this is not the only modularity problem we have with existing DbC languages. Such languages along with their respective runtime assertion checkers are inconsistent with information hiding rules because they check specifications in an overly-dynamic manner on the supplier side. This implies that during error reporting, hidden implementation details are exposed to non-privileged clients. Such details should not be used in a client’s correctness proof, since otherwise the proof would be invalidated when they change. Therefore, if programmers have carefully chosen to hide those parts “most likely” to change, most changes, in the hidden implementation details, do not affect either module clients nor DbC error reporting. In this work we solve these problems with AspectJML, a new specification language that supports crosscutting contracts for Java code. We also show how AspectJML supports the main DbC principles of modular reasoning and contracts as documentation. Additionally, we explain how AspectJML combined with our client-aware checking technique allows runtime checking to use the privacy information in specifications, which promotes information hiding. We use JML for concreteness, but the solution we propose can also be used for other Java-like languages and their respective DbC languages. To conclude, we conduct an evaluation to assess the crosscutting contract modularization using AspectJML, where we observe that its use reduces the overall design by contract code, including pre- and postconditions, but introduces a small overhead during compile time and can increase the resulting bytecode due to code instrumentation to check ordinary and crosscutting contracts

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T17:46:47Z No. of bitstreams: 2 dissertation_dmc4_final.pdf: 2547061 bytes, checksum: 37ab52f20fadfed5e6ba1cfb7649f971 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-04T17:46:47Z (GMT). No. of bitstreams: 2 dissertation_dmc4_final.pdf: 2547061 bytes, checksum: 37ab52f20fadfed5e6ba1cfb7649f971 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-16 / Since the very first graphical user interfaces, progress indicators have been widely used to provide feedback regarding the execution of a system long-running tasks. In fact, practical experience and formal experiments suggest that such indicators are an important user interface tool, as they enhance the attractiveness and effectiveness of the programs that incorporate them. However, in order to make progress feedback possible, the system services involved must provide on-line monitoring capabilities. As the software systems become increasingly larger and more complex — often involving complex interactions between various different components and abstraction layers —, the crosscutting nature of monitoring concerns can introduce several inherent challenges to the software development: (1) code quality degradation with respect to tangling and scattering; (2) costly software evolution and maintenance difficulties; (3) absence of specific development patterns and regular standardized process guidance; (4) loss of development productivity; and (5) inconsistent monitoring results. In this context, this work provides an analysis of monitoring requirements, possible approaches towards its implementation along with an analysis of the main benefits and weaknesses involved. Furthermore, it is proposed and evaluated a solution to aid the software development by overcoming the monitoring-related inherent challenges, rather by mitigating or completely eliminating the problems. The solution consists of a framework, extended libraries, and generic software process guidelines regarding the monitoring requirements, with focus on the Rational Unified Process (RUP), for exemplification purpose, but not limited to it.

Uma investigação sobre como a programação orientada a aspectos combinada com a tecnologia de componentes pode encapsular os interesses transversais de um sistema é apresentada. Como resultado desta investigação, um método para o desenvolvimento de software baseado em componentes e aspectos é proposto, cujas etapas, atividades e artefatos são mostrados por meio do exemplo de um Sistema de Reservas de Hotéis, juntamente com sua implementação nas linguagens JAsCO e AspectJ. O método é uma extensão do método UML Components e utiliza a UML com algumas adaptações. Além disso, uma estratégia de generalização e documentação de componentes transversais para que possam ser reusados em outras aplicações é proposta. Adicionalmente, o método proposto foi usado para o projeto de um Sistema de Locação de Carros e o resultado foi comparado com uma outra solução para o mesmo problema, baseada em UML Components e uma arquitetura geral para sistemas na Web. O resultado dessa comparação é apresentado e discutido. / An investigation about how aspect oriented programming combined with the components technology can encapsulate the crosscuting concerns of a system is presented. As result of this research, a method for the aspect and component based software development is proposed, whose phases, activities and design’s elements are shown by means of an example of a Hotel Reservation System, with its implementation in the JAsCO and AspectJ languages. The method is an extension of the UML Components method and uses UML with some adaptations. Moreover, a strategy to the generalization and documentation of crosscutting (or aspectual) components to be reused in other applications is proposed. Additionally, the proposed method was used to design a Car Rental System and the result was compared with another solution for the same problem, based on UML Components and a general architecture for Web systems. The results of the comparation are presented and discussed.

Made available in DSpace on 2014-12-17T15:48:08Z (GMT). No. of bitstreams: 1 MairaFBM_DISSERT.pdf: 2457675 bytes, checksum: 89599b0e4d22e348438de0c61dc6f914 (MD5) Previous issue date: 2013-02-04 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The occurrence of problems related to the scattering and tangling phenomenon, such as the difficulty to do system maintenance, increasingly frequent. One way to solve this problem is related to the crosscutting concerns identification. To maximize its benefits, the identification must be performed from early stages of development process, but some works have reported that this has not been done in most of cases, making the system development susceptible to the errors incidence and prone to the refactoring later. This situation affects directly to the quality and cost of the system. PL-AOVgraph is a goal-oriented requirements modeling language which offers support to the relationships representation among requirements and provides separation of crosscutting concerns by crosscutting relationships representation. Therefore, this work presents a semi-automatic method to crosscutting concern identification in requirements specifications written in PL-AOVgraph. An adjacency matrix is used to identify the contributions relationships among the elements. The crosscutting concern identification is based in fan-out analysis of contribution relationships from the informations of adjacency matrix. When identified, the crosscutting relationships are created. And also, this method is implemented as a new module of ReqSys-MDD tool / A ocorr?ncia de problemas relacionados aos fen?menos de espalhamento e entrela?amento, tal como a dificuldade de manuten??o do sistema, ? cada vez mais frequente. Uma tentativa de resolver este problema est? relacionada ? identifica??o de interesses transversais. Para maximizar seus benef?cios, a identifica??o deve ser realizada desde as etapas iniciais do processo de desenvolvimento, por?m alguns trabalhos relatam que isto n?o tem sido feito na maioria dos casos, tornando o desenvolvimento do sistema suscet?vel ? ocorr?ncia de erros e propensos ? refatora??es em fases posteriores. Esta situa??o afeta diretamente ? qualidade e o custo do sistema. PL-AOVgraph ? uma linguagem de modelagem de requisitos orientada a metas que oferece suporte para representa??o dos relacionamentos entre requisitos e prov? separa??o de interesses transversais atrav?s da representa??o de relacionamentos transversais. Diante disso, esse trabalho apresenta um m?todo semi-autom?tico para identifica??o de interesses transversais em especifica??es de requisitos escritas em PL-AOVgraph. Uma matriz de adjac?ncia ? utilizada para a identifica??o dos relacionamentos de contribui??o entre os elementos. A identifica??o de interesses transversais ? baseada na an?lise fan-out dos relacionamentos de contribui??o a partir das informa??es da matriz de adjac?ncia. Quando identificados, os relacionamentos transversais s?o criados. Esse m?todo est? implementado como um novo m?dulo da ferramenta ReqSys-MDD

[pt] Devido ao tamanho e complexidade dos sistemas de software, torna-se cada vez mais difícil manipular os modelos que os representam. É difícil identificar o impacto de mudanças, modificar, ou reutilizar partes da modelagem em outros projetos porque as características do sistema são, na maioria das vezes, muito relacionadas umas às outras. Métodos tradicionais de modelagem e programação utilizam métodos de separação para minimizar este acoplamento, porém eles priorizam apenas uma dimensão das características do sistema (classes, funções, eventos, dentre outras). Características em outras dimensões permanecem espalhadas e entrelaçadas, i.e, elas são características transversais. Nesta tese, propomos que a separação considerando diferentes dimensões, abordado pela programação orientada a aspectos, seja realizada durante a definição de requisitos. Definimos um metamodelo para integração de características transversais que provê um conjunto de atividades e mecanismos para facilitar a modularização, rastreabilidade, modificação e reuso de requisitos. Estes mecanismos são centrados em uma linguagem que define um novo construto para ser utilizado em linguagens de requisitos tradicionais, possibilitando a descrição e composição de características transversais. Mostramos como aplicar este metamodelo utilizando o V-graph, um tipo de modelo de metas, e realizando dois estudos de caso. / [en] Due to the increasing software complexity, it has been difficult to manipulate the models that represent them. It is difficult to identify the impact of changes, to modify, or reuse model parts in other projects because the system concerns are, in general, strongly interconnected. Traditional modeling and programming methods use separation method to minimize this coupling, however they consider only one dimension (classes, functions, events). Therefore, the concerns in other dimensions continue scattered and tangled, i.e., they are crosscutting concerns. In this thesis, we applied aspect- oriented concepts in modeling requirements. We define a metamodel to integrate crosscutting concerns that provides a set of activities and mechanisms to facilitate the requirements modularization, traceability, evolution and reuse. These mechanisms are centered in a language that defines new constructs to be used in traditional requirements languages, allowing the separation and composition of crosscutting concerns. We present two detailed case studies to show the proposed metamodel instantiated to a goal oriented requirements model, V-graph.

Darbo tikslas yra sukurti reikalavimų specifikavimo integralumą užtikrinantį metodą. Šiam tikslui įgyvendinti sukurtas procesų modelis, kurį sudaro trys pagrindiniai uždaviniai: reikalavimų identifikavimas, specifikavimas ir komponavimas. Pirmi du uždaviniai padeda identifikuoti besikertančius reikalavimus taip sumažinamas reikalavimų išsibarstymas specifikacijoje, nustatomos priklausomybės ir būtini reikalavimai. Komponavimo etapo tikslas yra sukomponuoti reikalavimus ir suteikti kūrėjams visą sistemos vaizdą bei nustatyti ir valdyti konfliktus tarp reikalavimų. Reikalavimų integralumas užtikrinamas visus reikalavimus, laikant vienoje formoje. Darbe išnagrinėti reikalavimų specifikavimo šablonai, klasifikavimo standartų bei reikalavimų valdymo įrankiai. Analizuojami besikertančių reikalavimų identifikavimo ir išgavimo strategijos. Atlikta funkcinių ir nefunkcinių reikalavimų integralumo metodų ir būdų analizė. Sukurtas šablonas reikalavimams specifikuoti, kuris apima funkcinius ir nefunkcinius reikalavimus, funkcinius ir nefunkcinius besikertančius reikalavimus. Reikalavimų valdymui sudarytas šablonas RequisitePro aplinkoje. Sukurtas MagicDraw paketo profilis, siekiant pateikti kūrėjams pilną sistemos vaizdą, atvaizduojant reikalavimų rinkinius panaudos atvejų diagramomis. Metodas patikrintas sudarant ATM sistemos reikalavimų specifikaciją, reikalavimai specifikuojami apimant funkcinius ir nefunkcinius reikalavimus, būtinus reikalavimus, funkcinius ir... [toliau žr. visą tekstą] / The aim of this work is to create A method for integrity support of requirements specification. For this purpose a process model is developed, which consists of three main tasks: the identification of requirements, specification and composition. The first two tasks helps to identify the crosscutting requirements of the following reduction the requirements dispersal in requirements specification, also identify responsibilities of requirements and identify required requirements. The goal of composition task is to compose the requirements to give the developer a view of the whole system and to identify and manage conflicts between requirements. Integrity of requirements are ensured keeping all requirements in a unique form. The paper analyzes the identification of crosscutting requirements and gathering strategies. The templates of requirements specification, standards of requirements classification and requirements management tools were analyzed. The methods and techniques of functional and non-functional requirements for the integrity were analyzed. The unique template for requirements specification was created, which includes functional and non-functional requirements, functional and non-functional crosscutting requirements. The template for requirements management was consisted in RequisitePro environment. The MagicDraw profile package was created, which provide the developer a view of the whole system, representing set of requirements for use case diagrams. The method... [to full text]

This dissertation aims at evaluating the dialogical problematizing potential of Probio/EA educational materials focusing in the Environment topic. To do so, we highlight its potentialities in the interface with the dialogical problematizing education, the didactic procedures that constitute the different knowledge to be taught and the understanding perspective associated to te thematic and unifying conceptual approach. We emphasize the good epistemological consonance between the crosscutting theme  Environment  and the importance of free technological mediation in the teaching and learning virtual environment Moodle because it is a hyprmediatic possibility for Probio/EA materials. While emphasizing the methodological procedures the investigationaction and the need to plan study activities are explained. In this way, a course for teachers from the last year in fundamental education was implemented aiming to evaluate the dialogical problematiing potential about the knowledge on Brazilian Biodiversity conservation present in the materials and, its mediating potential in the school practices on the environmental topic. The analysis and reflections made highlight the significant potential of theses materials to break up with transmissive practies in favor to the dialogical problematizing feature about problemsituations. / Essa dissertação propõese a avaliar o potencial dialógicoproblematizador dos materiais didáticos Probio/EA para a abordagem do tema Meio Ambiente. Para tanto, destacamse as potencialidades dos mesmos na interface com a educação dialógicoproblematizadora,  os procedimentos didáticos que constituem os saberes a ensinar e a perspectiva de entendimento em associação com a abordagem tmática e conceitual unificadora. Enfatizase a boa consonância epistemológica com o tema transversal  Meio Ambiente  e a importância da mediação tecnológica livre do ambiente virtual de ensinoaprendizagem Moodle,  por se constituir numa possibilidade hipermidiática para os materiais Probio/EA. Ao ressaltar os procedimentos metodológicos são explicitadas as etapas da investigaçãoação e a necessidade do planejamento da  atividades de estudo. Nesse sentido, foi implementado um curso com professores das séries finais da escolaridade fundamental no intuito de avaliar o potencial dialgicoproblematizador dos conhecimentos sobre conservação da Biodiversidade Brasileira  presente nos materiais e seu potencial mediador para as práticas escolares da temática ambiental. As análises e reflexões suscitadas destacam potencial significativo dos referidos materiais para romper com práticas transmissvas, em prol do diálogoproblematizador sobre situaçõesproblemas.

Made available in DSpace on 2014-12-17T15:48:07Z (GMT). No. of bitstreams: 1 LarissaAS_DISSERT.pdf: 2513975 bytes, checksum: c4af91c9ccb8a615b65c89426c2338d2 (MD5) Previous issue date: 2013-02-05 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / When crosscutting concerns identification is performed from the beginning of development, on the activities involved in requirements engineering, there are many gains in terms of quality, cost and efficiency throughout the lifecycle of software development. This early identification supports the evolution of requirements, detects possible flaws in the requirements specification, improves traceability among requirements, provides better software modularity and prevents possible rework. However, despite these several advantages, the crosscutting concerns identification over requirements engineering faces several difficulties such as the lack of systematization and tools that support it. Furthermore, it is difficult to justify why some concerns are identified as crosscutting or not, since this identification is, most often, made without any methodology that systematizes and bases it. In this context, this paper proposes an approach based on Grounded Theory, called GT4CCI, for systematizing and basing the process of identifying crosscutting concerns in the initial stages of the software development process in the requirements document. Grounded Theory is a renowned methodology for qualitative analysis of data. Through the use of GT4CCI it is possible to better understand, track and document concerns, adding gains in terms of quality, reliability and modularity of the entire lifecycle of software / Quando a identifica??o de interesses transversais ? feita desde o princ?pio do processo de desenvolvimento de software, ainda nas atividades relacionadas ? Engenharia de Requisitos, muitos s?o os ganhos em termos de qualidade, custo e efici?ncia ao longo do ciclo de vida do software. Esta identifica??o precoce d? suporte ? evolu??o de requisitos, detecta poss?veis falhas na especifica??o de requisitos, melhora a rastreabilidade entre os requisitos, proporciona uma melhor modulariza??o de software e previne poss?veis retrabalhos. Entretanto, apesar de todas estas vantagens, a identifica??o de interesses enfrenta diversas dificuldades, tais como a falta de sistematiza??o e de ferramentas que a ofere?am um bom suporte. Al?m disto, ? dif?cil, muitas vezes, justificar as raz?es pelas quais alguns interesses s?o ou n?o considerados transversais, uma vez que esta identifica??o ?, na maioria das vezes, feita sem qualquer metodologia que a sistematize e a embase. Neste contexto, este trabalho prop?e uma abordagem baseada nos princ?pios da Grounded Theory, chamada GT4CCI, que sistematiza e embasa o processo de identifica??o de interesses transversais nas etapas mais iniciais do processo de desenvolvimento de software, utilizando o documento de requisitos como artefato para a identifica??o. Grounded Theory ? uma renomada metodologia para a an?lise qualitativa de dados. Atrav?s do uso da abordagem GT4CCI ? poss?vel melhor compreender, rastrear e documentar interesses, adicionando assim ganhos em termos de qualidade, confiabilidade e modulariza??o ? todo o ciclo de vida do software