Orientador : Cecilia Mary Fischer Rubira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-10-23T18:21:29Z (GMT). No. of bitstreams: 1 Guerra_PauloAsteriodeCastro_D.pdf: 774171 bytes, checksum: 40bc6212afd47f471ea86c9fe796b23c (MD5) Previous issue date: 2004 / Resumo: Esse trabalho se concentra na inclusão do tratamento sistemático de requisitos de confiabilidade no desenvolvimento de sistemas críticos modernos como, por exemplo, automação bancária e comércio eletrônico. Tais sistemas evoluem rapidamente e estão sujeitos a fortes restrições de prazos e custos de desenvolvimento. Em conseqüência, o desenvolvimento desses sistemas críticos modernos geralmente é baseado em software de grande complexidade e que integra componentes de software já existentes. O desenvolvimento de sistemas confiáveis que dependem de software com tais características é um problema ainda em aberto. Esse trabalho contribui para a solução desse problema através de uma abordagem arquitetural para tolerância a falhas em sistemas de software baseados em componentes reutilizáveis. A abordagem proposta se desdobra em: (i) uma arquitetura de software baseada em componentes ideais tolerantes a falhas; (ii) uma solução arquitetural para transformar componentes de prateleira (Off-the-Shelf Components) em componentes ideais tolerantes a falhas; (iii) uma estratégia geral para tratamento de exceções em sistemas de software baseados em componentes; e (iv) a proposta de um ambiente integrado para desenvolvimento de software baseados em componentes, centrado na arquitetura do software e no processo de desenvolvimento. O presente trabalho inclui também a aplicação prática da abordagem proposta em diversos estudos de casos, incluindo sistemas de automação bancária reais desenvolvidos por uma empresa de software independente. Os resultados obtidos permitem concluir pela eficácia da abordagem proposta para elevar a confiabilidade de sistemas de software complexos e baseados em componentes reutilizáveis. Conclui-se também pela necessidade de um suporte de ferramentas especializadas que aumentem eficiência da abordagem proposta através da automação de métodos e sua melhor integração no processo de desenvolvimento de software / Abstract: This work concentrates on the systematic treatment of dependability requirements during the development of modern critical software systems, such as banking and electronic commerce. Such software systems constantly evolve and are constrained by short time-to-market and low development costs requirements. As a result, the development of these modern critical software systems is increasingly being based on the integration of preexisting components. The development of dependable systems built in this way is still an open problem. This work contributes to the solution of this problem by proposing an architectural approach for adding fault tolerance to software systems based on reusable components. The proposed approach includes: (i) a software architecture based on idealised fault tolerant components; (ii) an architectural solution for transforming off-the-shelf software components in idealised fault tolerant components; (iii) a general strategy for exception handling in component-based software systems; and (iv) a proposal for an integrated development environment for component-based software systems, which is processed- and architecture-centered. The present work also includes two case studies where the proposed approaches were applied, one of them being based on a banking software system developed by an independent software house. The results achieved during these case studies allow us to conclude that the approach proposed can increase the dependability properties of complex software systems built from reusable components. We also conclude about the need for more specialized tools to increase the effectiveness of the proposed approach and better integrate it within a software development process / Doutorado / Ciência da Computação / Doutor em Ciência da Computação

Orientador: Cecilia Mary Fischer Rubira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-10T07:04:57Z (GMT). No. of bitstreams: 1 LimaFilho_FernandoJoseCastorde_D.pdf: 5063998 bytes, checksum: 8bfec9185fab14cb08c2a8b2ce7391a9 (MD5) Previous issue date: 2006 / Resumo: Mecanismos de tratamento de exceções foram concebidos com o intuito de facilitar o gerenciamento da complexidade de sistemas de software tolerantes a falhas. Eles promovem uma separação textual explícita entre o código normal e o código que lida com situações anormais, afim de dar suporte a construção de programas que são mais concisos fáceis de evoluir e confáveis. Diversas linguagens de programação modernas e a maioria dos modelos de componentes implementam mecanismos de tratamento de exceções. Apesar de seus muitos benefícios, tratamento de exceções pode ser a fonte de diversas falhas de projeto se usado de maneira indisciplinada. Estudos recentes mostram que desenvolvedores de sistemas de grande escala baseados em infra-estruturas de componentes têm hábitos, no tocante ao uso de tratamento de exceções, que tornam suas aplicações vulneráveis a falhas e difíceis de se manter. Componentes de software criam novos desafios com os quais mecanismos de tratamento de exceções tradicionais não lidam, o que aumenta a probabilidade de que problemas ocorram. Alguns exemplos são indisponibilidade de código fonte e incompatibilidades arquiteturais. Neste trabalho propomos duas técnicas complementares centradas em tratamento de exceções para a construção de sistemas tolerantes a falhas baseados em componentes. Ambas têm ênfase na estrutura do sistema como um meio para se reduzir o impacto de mecanismos de tolerância a falhas em sua complexidade total e o número de falhas de projeto decorrentes dessa complexidade. A primeira é uma abordagem para o projeto arquitetural dos mecanismos de recuperação de erros de um sistema. Ela trata do problema de verificar se uma arquitetura de software satisfaz certas propriedades relativas ao fluxo de exceções entre componentes arquiteturais, por exemplo, se todas as exceções lançadas no nível arquitetural são tratadas. A abordagem proposta lança de diversas ferramentas existentes para automatizar ao máximo esse processo. A segunda consiste em aplicar programação orientada a aspectos (AOP) afim de melhorar a modularização de código de tratamento de exceções. Conduzimos um estudo aprofundado com o objetivo de melhorar o entendimento geral sobre o efeitos de AOP no código de tratamento de exceções e identificar as situações onde seu uso é vantajoso e onde não é / Abstract: Exception handling mechanisms were conceived as a means to help managing the complexity of fault-tolerant software. They promote an explicit textual separation between normal code and the code that deals with abnormal situations, in order to support the construction of programs that are more concise, evolvable, and reliable. Several mainstream programming languages and most of the existing component models implement exception handling mechanisms. In spite of its many bene?ts, exception handling can be a source of many design faults if used in an ad hoc fashion. Recent studies show that developers of large-scale software systems based on component infrastructures have habits concerning the use of exception handling that make applications vulnerable to faults and hard to maintain. Software components introduce new challenges which are not addressed by traditional exception handling mechanisms and increase the chances of problems occurring. Examples include unavailability of source code and architectural mismatches. In this work, we propose two complementary techniques centered on exception handling for the construction of fault-tolerant component-based systems. Both of them emphasize system structure as a means to reduce the impactof fault tolerance mechanisms on the overall complexity of a software system and the number of design faults that stem from complexity. The ?rst one is an approach for the architectural design of a system?s error handling capabilities. It addresses the problem of verifying whether a software architecture satis?es certain properties of interest pertaining the ?ow of exceptions between architectural components, e.g., if all the exceptions signaled at the architectural level are eventually handled. The proposed approach is based on a set of existing tools that automate this process as much as possible. The second one consists in applying aspect-oriented programming (AOP) to better modularize exception handling code. We have conducted a through study aimed at improving our understanding of the efects of AOP on exception handling code and identifying the situations where its use is advantageous and the ones where it is not / Doutorado / Doutor em Ciência da Computação

Orientador: Ivan Luiz Marques Ricarte / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-17T15:15:39Z (GMT). No. of bitstreams: 1 Adriano_ChristianMedeiros_M.pdf: 1193195 bytes, checksum: e6216b2c3feac7b07da54b708f14b03c (MD5) Previous issue date: 2010 / Resumo: Sistemas de anotação digital são desenvolvidos a partir de cenários parciais com requisitos arbitrários. Características acidentais e essenciais acabam misturadas em modelos não explícitos. Anotações e documentos são relacionados de maneira acidental de acordo com a tecnologia disponível. Esta situação de engenharia de software atende ao desenvolvimento de protótipos descartáveis. Entretanto, não suporta o projeto de arquiteturas de anotação digital para requisitos não-funcionais como extensibilidade, robustez e interatividade. Realizamos uma analise cuidadosa do conceito de anotação e descrevemos cenários de uso já adotados e suportados por alguma ferramenta. A extração de requisitos seguiu métodos objetivos passiveis de analise critica. A partir desta base logicamente estruturada, desenhamos um modelo conceitual que serviu de suporte para classificar os sistemas existentes. O modelo foi transformado em um desenho sistêmico por meio de uma arquitetura de componentes que separa as características acidentais e essenciais. Demonstramos a efetividade do modelo implementando a arquitetura como plugins do ambiente Eclipse. Concluimos, retomando a cobertura das hipóteses propostas e os compromissos decorrentes da integração com uma plataforma pré-existente / Abstract: Digital annotation systems are developed from partial scenarios with arbitrary requirements. Accidental and essential features end up mixed in non-explicit models. Notes and documents are related in accidental manner according to the available technology. Such software engineering situation addresses the development of disposable prototypes. However, it does not support the design of architectures for digital annotation for non-functional requirements such as extensibility, robustness and interactivity. We conducted a careful analysis of the concept of annotation and described use scenarios already adopted and supported by some kind of tool. The requirements extraction followed objective methods subjectable to critical analysis. From this logically structured foundation, we designed a conceptual model to serve as the basis for classifying existing systems. The model was transformed into a systemic design using a component architecture that separates the essential and accidental features. We demonstrate the effectiveness of the model by implementing the architecture as plugins of the Eclipse environment. We conclude by resuming the coverage of the proposed hypotheses and the trade-offs arising from the integration with a pre-existing platform / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T08:32:32Z (GMT). No. of bitstreams: 1 Tomita_RodrigoTeruo_M.pdf: 1541819 bytes, checksum: d7021974c65c2128adcf055870fd8c95 (MD5) Previous issue date: 2006 / Resumo: O desenvolvimento baseado em componentes (DBC), que se baseia na construção de software através da integração planejada de componentes reutilizáveis, tem conquistado ampla aceitação para o desenvolvimento de sistemas de software. O desenvolvimento centrado na arquitetura de software _e complementar ao DBC, com a responsabilidade pela integração dos componentes de forma que atributos de qualidade, como confiabilidade e distribuição, desejados para o sistema final sejam obtidos. Assim, processos de DBC também devem ser centrados na arquitetura de software, possibilitando um maior grau de abstração, organização, manutenibilidade e reuso. Para possibilitar a automatização de tarefas e aumentar a produtividade no uso dos conceitos de arquitetura de software e DBC, são necessárias ferramentas que apóiem atividades de arquitetos e desenvolvedores de software. Os ambientes integrados de desenvolvimento existentes atualmente apóiam, em geral, a modelagem UML e a implementação de componentes e de sistemas orientados a objetos. Entretanto, eles não apóiam a prática de modelagem de arquiteturas de componentes e DBC. Ferramentas para modelagem de arquiteturas de software existentes não dão suporte ao mapeamento da arquitetura para código, possuem um foco específico na modelagem e não são apoiadas por um processo de desenvolvimento. Nesse trabalho é proposto o ambiente Bellatrix, um ambiente integrado de desenvolvimento que apóia o DBC com ênfase na arquitetura de software e estende o ambiente integrado de desenvolvimento Eclipse. O ambiente pode ser usado em conjunto com um processo de DBC e utiliza o COSMOS, um modelo de implementação de componentes que faz o mapeamento dos conceitos de arquiteturas de software para linguagens de programação orientadas a objetos. Este trabalho se concentra na especificação e projeto do ambiente Bellatrix, partindo de seus requisitos e protótipos de interface com usuário. Seus principais componentes foram especificados, bem como um modelo de implementação dos mesmos, integrando o modelo COSMOS ao ambiente Eclipse. Uma primeira implementação do ambiente contendo suas principais funcionalidades foi desenvolvida / Abstract: Component-based development (CBD), which is based on the assembly of software systems through planned integration of reusable components, is gaining wide acceptance for developing software systems. Software architecture centric development complements the CBD paradigm because it is responsible for the component integration, achieving the final system's desired quality requirements, such as dependability and distribution. Thus, CBD processes should also be software architecture centric, promoting a higher abstraction level, system organization, maintainability, and reuse. In order to allow tasks automation and increase the productivity in using software architecture and CBD concepts, tools that support architects and software developers are needed. Most of the existing integrated development environments support UML modeling, object-oriented and component implementation. However, many of them do not support the practice of component architecture and CBD modeling. Existing software architecture modeling tools lack the ability to translate the architecture to code, have a specific focus on modeling, and are not guided by a development process. In this work, we describe the Bellatrix environment, an integrated development environment that supports CBD with emphasis on software architecture and extends the Eclipse integrated development environment. The proposed environment can be guided by a CBD process and uses COSMOS, a component implementation model that materializes the elements of a software architecture using the concepts available in object-oriented programming languages. This work focuses on the general description of Bellatrix, starting from its requirements and user interface prototypes. Its main components has been specified, as well as an implementation model integrating the COSMOS model with the Eclipse environment. An initial version containing basic functionalities has been developed. / Mestrado / Sistemas de Informação / Mestre em Ciência da Computação

Orientadores: Mario Lucio Cortes, Thelma Cecilia dos Santos Chiossi / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T10:09:25Z (GMT). No. of bitstreams: 1 Consoline_Gisele_M.pdf: 1453268 bytes, checksum: 808ec4540b4d357777ea428d74b792da (MD5) Previous issue date: 2006 / Resumo: Buscar soluções que atendam todas as necessidades do cliente pode não ser uma tarefa simples, pois pode haver falhas no entendimento de requisitos do sistema. Essa falha pode ocasionar problemas para o sistema ocasionando retrabalho e comprometendo a entrega do sistema dentro do prazo previamente estimado. Por meio do presente estudo, que analisa um sistema de Workflow já existente através de um processo para avaliar a arquitetura, pretende-se contribuir apresentando um exemplo de aplicação de um processo de avaliação de arquitetura com ênfase na abordagem quantitativa. O objetivo é superar problemas usando medidas que facilitem a análise da arquitetura e principalmente auxilie o arquiteto na busca da solução arquitetural mais adequada para o projeto / Abstract: To search for solutions that encompass all the client¿s requirements might not be a simple task, for misunderstandings of the implicit and explicit requirements could happen. Such misunderstandings could generate problems related. Rework could be necessary, implicating the delivery date previously estimated. The current study which analyses an existing Workflow system through a process of architecture evaluation, it is intended to contribute by presenting an example of the use of an architecture evaluation process with emphasis in a quantitative approach. The goal is to solve problems by using metrics which facilitate the architecture analysis and mainly assists the architect in the search of the more adjusted architectural solution for the project / Mestrado / Engenharia de Software / Mestre em Computação

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-15T17:22:42Z (GMT). No. of bitstreams: 1 Dias_MarcelodeOliveira_M.pdf: 4085359 bytes, checksum: c41b2892cccbfb8a55cf89dc93b47f00 (MD5) Previous issue date: 2010 / Resumo: Muitos esforços estão sendo feitos, atualmente, para se obter um alto grau de reutilização durante o desenvolvimento de sistemas. Linhas de produtos de software (LPS) é uma abordagem moderna para promover a reutilização de software. Um dos principais artefatos de uma LPS é sua Arquitetura de Linhas de Produtos (ALP), que provê uma perspectiva global das variabilidades da linha, ao passo que engloba os conceitos tradicionais de uma arquitetura de software. Devido as variabilidades de software de uma ALP, a evolução arquitetural é ainda mais complexa, do que quando comparado com evolução de arquiteturas de software convencionais. O objetivo principal deste trabalho é propor um novo modelo para especificar e implementar variabilidades de software em ALPs baseadas em componentes, de forma a facilitar a evolução arquitetural. A solução proposta é um refinamento do modelo de implementações de componentes COSMOS*, chamado COSMOS*-VP, que emprega a modularização de pontos de variação explícitos e modernas abordagens de programação orientada a aspectos, com o intuito de promover a estabilidade arquitetural, e assim, facilitar a evolução de ALPs. A validação do modelo proposto foi feita utilizando duas LPS, que sofreram diversos cenários de evolução reais. Durante as evoluções, as ALPs criadas utilizando COSMOS*-VP tiveram a estabilidade mensurada através de métricas de impacto de mudanças e modularidade. Os resultados obtidos para o modelo proposto foram comparados com os alcançados utilizando o modelo COSMOS* original / Abstract: Nowadays, many efforts are being made to achieve a high degree of reuse during systems development. Software Product Lines (SPL) is a modern approach to improve software reuse, and one of its main artifacts is the Product Line Architecture (PLA). A PLA provides a global view of the variabilities of a SPL, while it embodies the concepts and advantages of the traditional software architecture. Due to its variabilities, a PLA is harder to evolve than a convetional software architecture. The main goal of this work is to propose a new model to specify and implement software variabilities of component-based PLAs. Our proposed solution is an extension of the component implementation model COSMOS*, called COSMOS*-VP, which employs specific elements and modern aspect-oriented approaches to modularize architectural variation points, aiming at the improvement of architectural stability of PLAs, and thus, facilitating their evolution. The validation of the proposed solution was made using two SPLs, which were targed of several real evolution scenarios. During the evolution, the PLAs created using COSMOS*-VP had their stability measured using metrics of change impact and modularity. The results of the proposed model were compared with those achieved using the COSMOS* model / Mestrado / Engenharia de Software / Mestre em Ciência da Computação

Orientador: Marco Lúcio Bittencourt / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-21T10:09:51Z (GMT). No. of bitstreams: 1 ValentedaCosta_GilbertoLuis_M.pdf: 6856772 bytes, checksum: bacab2fefeb1d730bb8f6760c97d0941 (MD5) Previous issue date: 2012 / Resumo: Este trabalho tem como objetivo principal a implementação de uma arquitetura de software para o Método de Elementos Finitos de Alta Ordem (MEF-AO), baseando-se no paradigma de programação orientada a objeto (POO) e no uso de técnicas de otimização de código fonte. O software foi escrito em linguagem C++ e desenvolvido sobre um framework com ferramentas que auxiliaram no desenvolvimento. A modelagem do sistema foi realizada de forma a facilitar e promover o reuso e manutenção do código. Buscou-se, também, a flexibilidade e generalização do MEF-AO ao permitir a variação nos procedimentos da construção das equações e o uso de malhas p não-uniforme. Neste caso, cada elemento pode ser interpolado com uma ordem polinomial diferente, além de permitir o uso de um algoritmo local de solução. Tal característica pode diminuir o número de operações e de armazenamento, pois o número de funções de forma é aumentado apenas onde é necessário o uso de mais pontos para interpolação da malha de solução. No final, o software é avaliado aplicando o problema de projeção para malha de quadrados e hexaedros / Abstract: The main objective of this work is the implementation of a software architecture for the High-Order Finite Element Method (HO-FEM), based on the Object Oriented Paradigm (OOP) and on source-code optimization techniques. The software was written in C++ programming language and developed over a framework which provided tools that assisted the implementation. The system was modeled so to promote code reuse and maintainability. Furthermore, the system modeling also provided flexibility and generalization for the HO-FEM by allowing modifications on the procedures for equation assembling and the use of p-non-uniform meshes. In this case, each element can be interpolated with different polynomial order, and allows the application of an algorithm for local solution. Such features can reduce the number of operations for memory allocation, since the number of shape functions is increased only where a higher density of points is needed by the solution mesh. Finally, the software is assessed by applying the projection problem for meshes of squares and hexahedros / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T04:11:54Z (GMT). No. of bitstreams: 1 Rodrigues_DanieleCristinaUchoaMaia_M.pdf: 2910756 bytes, checksum: 82d0095e235f3a455ade63719b8a5de5 (MD5) Previous issue date: 2004 / Resumo: O crescimento da produção de software ao longo das últimas décadas tem exigido que a indústria de desenvolvimento seja capaz de produzir sistemas de forma rápida, com alta qualidade e facilidade para alteração de requisitos, fase em que se pode gastar muito tempo e esforço se o sistema não estiver preparado para estas alterações. Neste contexto, os padrões de arquitetura e projeto surgem como soluções para problemas recorrentes, com o objetivo de diminuir 'o esforço gasto por desenvolvedores para solucionar problemas durante a fase de projeto. Estes padrões, quando bem utilizados, podem também facilitar a comunicação e entendimento da equipe de desenvolvimento do sistema, facilitar a alteração de requisitos projetando sistemas preparados para alterações futuras, e diminuir o tempo de desenvolvimento. Este trabalho tem como objetivo mostrar situações práticas de utilização de padrões de arquitetura e projeto na reestruturação de um sistema real, e os benefícios desta utilização / Abstract: The growth of software production in the last decades has demanded from development industry the capacity of producing systems in a small period, but with high quality and easy ways for changing requests, period in development that can take a long time and effort, if the system is not prepared to be changed. In this context, architecture and design patterns come with solutions to recurrent problems, with the goal of decrease the effort spent by developers to solve project problems. These patterns, if well used, can make the communication and understanding of the development team easier, can make the request changes easier by designing systems prepared for future changes, and decrease the development time. This work has the goal to present the practical use of architecture and design patterns in the process of refactoring a real system, and the benefits of using them / Mestrado / Engenharia de Software / Mestre Profissional em Computação

Orientador: Ana Cervigni Guerra, Mario Lucio Cortez / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T22:00:41Z (GMT). No. of bitstreams: 1 Santos_FabioRocha_M.pdf: 1364092 bytes, checksum: 83620de9a4a2212b412d2a3924e343fe (MD5) Previous issue date: 2006 / Resumo: A demanda pela capacitação profissional e formação continuada, num contexto em que o mercado de trabalho está cada vez mais competitivo e exigente, discussões e mudanças nos paradigmas educacionais tem sido foco de muitos estudos. Nessa perspectiva, o uso das novas tecnologias de informação e comunicação (NTICs), como recurso que viabilize a dinâmica e a diversificação dos métodos, das formas e dos ambientes de ensino-aprendizagem, tem surgido como uma alternativa que minimiza os impactos oriundos desse reordenamento social em que estão inseridos aspectos de tamanha relevância no âmbito acadêmico-profissional. Paralelamente, o aumento da demanda pela modalidade de educação à distância (EAD) e o surgimento e aperfeiçoamento dos Learning Management System (LMS), mencionados neste trabalho como ambientes virtuais de ensino-aprendizagem (AVA), apresentam-se num cenário em que se pretende minimizar distâncias e dinamizar estratégias por meio das tecnologias de informação e comunicação nos espaços institucionais em que permeia a formação e o aprimoramento profissional. Nessa perspectiva, será levada em consideração o estreitamento que há entre este contexto educacional, a engenharia de software (ES) e as questões sociais, no referido estudo, em que apresenta-se com o propósito de desenvolver uma investigação, acerca dos fatores dificultadores e de sucesso, observados desde a concepção até a implementação de um ambiente virtual (Teleduc) de ensino-aprendizagem, nas Instituições de Ensino Superior no Brasil, sob uma ótica sociotécnica / Abstract: The demand for professional qualification and continual education in a context where the workplace is more and more competitive and demanding, discussions and changes of educational paradigms have been the focus of many studies. From this perspective, the use of New Information and Communication Technologies (NTICs) as a resource that makes the dynamics and diversity of methods, the teaching-learning structures and environments feasible, has appeared as an alternative that minimizes the impacts that originate from this social re-ordering where aspects of such relevance within the academic-professional field are inserted. In parallel, the increase in demand for long Distance Education (EAD) and the introduction and improving of the Learning Management Systems (LMS) mentioned in this paper as Virtual Teachinglearning environments (AVA), which intend to minimize distances and propel strategies through technologies of information and communication in institutional environments where professional education and qualification permeate. In this perspective, will be taken in consideration the closeness there is between this educational context, the Software Engineering (ES) and the social aspects, in the related study, where it is presented the problematic and successful factors observed from the conception to the implementation of virtual teaching-learning environments (TelEduc) in Brazilian institutions of higher learning from a socialtechnical point of view / Mestrado / Mestre em Ciência da Computação

Aspect Oriented Programming has been proposed in order to handle crosscutting concerns in an ecient manner. Initial proposals in this area have been applied to the source code. Subsequently, aspects were considered to be implemented in other phases of software development such as Requirements Engineering and Software Architecture. There are several advantages in identifying aspects at the requirements level and architecture level such as detecting conicts of interest, improving the requirements modularity, reducing costs of software maintenance and preserving the notion of aspects in software development process ensuring traceability. Therefore, the purpose of this work is to develop a model to represent aspects at the requirements level and the architecture level. The requirements model denes the activities of identication of aspect requirements, both functional and non-functional, separation and composition of aspect requirements and identication of conict between aspect requirements. Since dierent stakeholders need to view the system from dierent perspectives, the architecture model allows to represent dierent views considering the representation with aspects. The proposed views are structural, use case + requirements and development. Compared to other analysed approaches, the proposed models in this work represent important characteristics that others models do not represent, such as maintaining traceability of aspects between requirements and the architecture level. In order to represent the models, extensions to the SysML modeling language were proposed. / A Programação Orientada a Aspectos foi proposta com o objetivo de manipular interesses transversais de uma maneira eciente. Propostas iniciais nesta área foram aplicadas no código fonte. Posteriormente, aspectos foram considerados para serem aplicados em outras fases do desenvolvimento de software tais como Engenharia de Requisitos e Arquitetura de Software. Há várias vantagens em identicar aspectos no nível de requisitos e no nível arquitetural, tais como detectar inicialmente conitos de interesses, melhorar a modularidade dos requisitos, reduzir custos de manutenção de software e preservar a noção de aspectos no processo de desenvolvimento de software garantindo rastreabilidade. Portanto, o propósito desse trabalho é desenvolver um modelo para representar aspectos no nível de requisitos e no nível arquitetural. O modelo de requisitos dene as atividades de identicação de requisitos aspectuais tanto de origem funcional quanto não-funcional, separação e composição de requisitos e requisitos aspectuais e identicação de conitos entre requisitos aspectuais. Uma vez que diferentes stakeholders necessitam visualizar o sistema a partir de diferentes perspectivas, o modelo de arquitetura permite representar diferentes visões considerando a representação com aspectos. As visões propostas são a estrutural, a de casos de uso + requisitos, e a de desenvolvimento. Em comparação com outras abordagens analisadas, os modelos propostos nesse trabalho cobrem importantes características que os outros modelos não cobrem, como por exemplo, manter a rastreabilidade de aspectos entre os níveis de requisitos e de arquitetura. Para representar os modelos, extensões da linguagem de modelagem SysML foram propostas. / Mestre em Ciência da Computação