A presente tese visa contribuir na construção de ambientes de desenvolvimento de software através da proposição de uma arquitetura reflexiva para ambiente de suporte a processo, nomeada WRAPPER (Webbased Reflective Architecture for Process suPport EnviRonment). O objetivo desta arquitetura é prover uma infra-estrutura para um ambiente de suporte a processo de software, integrando tecnologias da World Wide Web, objetos distribuídos e reflexão computacional. A motivação principal para esta arquitetura vem da necessidade de se obter maior flexibilidade na gerência de processo de software. Esta flexibilidade é obtida através do uso de objetos reflexivos que permitem a um gerente de processo obter informações e também alterar o processo de software de forma dinâmica. Para se obter um ambiente integrado, a arquitetura provê facilidades para a agregação de ferramentas CASE de plataformas e fabricantes diversos, mesmo disponibilizadas em locais remotos. A integração de ferramentas heterogêneas e distribuídas é obtida através do uso de tecnologias Web e de objetos distribuídos. Reflexão computacional é usada no ambiente tanto para extrair dados da execução do processo, quanto para permitir a adaptação do mesmo. Isto é feito através da introdução e controle de meta-objetos, no metanível da arquitetura, que podem monitorar e mesmo alterar os objetos do nível base. Como resultado, a arquitetura provê as seguintes características: flexibilidade na gerência de processo, permitindo o controle e adaptação do processo; distribuição do ambiente na Web, permitindo a distribuição de tarefas do processo de software e a integração de ferramentas em locais remotos; e heterogeneidade para agregar componentes ao ambiente, permitindo o uso de ferramentas de plataformas e fornecedores diversos. Neste contexto, o presente trabalho apresenta a estrutura da arquitetura reflexiva, bem como os mecanismos usados (e suas interações) para a modelagem e execução de processo dentro do ambiente de suporte ao processo de software.

Vários são os problemas que afligem o desenvolvimento de software. Estes problemas, que originaram a crise do software nos anos 60, perduram ate hoje. Praticas de Engenharia de Software tem sido adotadas em todas as fases do ciclo de vida para tentar minimizá-los. A etapa de definição de requisitos é considerada como a atividade mais importante, decisiva e ao mesmo tempo critica do desenvolvimento de software, principalmente no que diz respeito a elicitação. A Engenharia de Requisitos é a disciplina que procura sistematizar o processo de definir requisitos. Muitas vezes os sistemas de informação das organizações são complexos e/ou informais, apresentando características que dificultam o seu entendimento. Além disso, a maioria das metodologias existentes não enfatiza a aquisição de conhecimento sobre o problema a ser resolvido. Este trabalho apresenta um método para auxiliar a aquisição de conhecimento de sistemas de informação, bem como sua representação e validação. O método proposto, que tem a finalidade de sistematizar uma tarefa anterior a definição de requisitos do software, ou seja, é um método de apoio a elicitação de requisitos, inclui as etapas de elicitação, modelagem e validação. Na etapa de elicitação é feita a aquisição de conhecimento dos fatos e das situações que compõem o sistema de informações vigente, utilizando para isso, técnicas como entrevistas, observações e uma abordagem baseada em etnografia. Para guiar esta etapa foi elaborada uma sistematização combinando as técnicas anteriormente citadas. No final da etapa de elicitação são produzidas representações textuais dos objetos elicitados e o Léxico Ampliado da Linguagem, que descreve a linguagem da aplicação em estudo. A partir dessas representações é feita a modelagem através de Workflow. Na etapa de validação, as representações produzidas pelas etapas de elicitação e modelagem são validadas junto aos atores do sistema de informação. A partir das representações produzidas o engenheiro de requisitos poderá definir os requisitos funcionais do software a ser construído. A aplicação do método é adequada para ambientes que já possuem um sistema de informação definido, seja ele formal ou informal. O método proposto foi aplicado a uma situação real e parte deste estudo de caso é apresentado neste trabalho. / There are many problems in software development. These problems, which had started the software crisis in the 1960s, still exist. Software Engineering practices have been adopted in all fases of the life cycle as an attempt to minimize them. The requirements definition is considered the most important, decisive and difficult activity in software development, particularly the elicitation of the system requirements. The Requirements Engineering is the discipline that try to sistematize the requirements definition process. Information systems are often complexes, informals and present features that make difficult to understand them. Besides, most of the existing metodologies do not handle procedures for knowledge acquisition about the problem to be solved. This work proposes a method to help knowledge acquisition of information systems, and also representation and validation of the acquired knowledge. The proposal method which support the requirements elicitation, anticipate the software requirements definition process. The method includes three stages: elicitation, modeling and validation. The elicitation stage comprises knowledge acquisition of the facts and situations of the information system, through the application of techniques such as interviews, observations and a based approach on ethnography. Textual representations are produced at the end of the elicitation stage to represent the elicited objects. The Language Extended Lexicon, which describe the language used in the information system, is also produced in this stage. In the modeling stage workflow representations are produced based on those initial representations. In the validation stage all the representations produced are validated by the actors working on the information system. Based on those representations the requirements engineer can define the functional software requirements. The method can be applied to environments where a defined information systems exists. The proposal method was applied in a real world situation and part of this case study is presented in this work.

Esta dissertação explora diversos aspectos relacionados a integração entre ferramentas de edição e entre os documentos por estas gerados durante o processo de desenvolvimento de software. São analisados para esta finalidade os conceitos de Hiperdocumento e Gramática de Atributos. E especificada uma ferramenta que assiste o desenvolvimento de software através do use de um mecanismo baseado em gramática, que facilita o estabelecimento e controle de sequencias de utilização das ferramentas de edição. Na ferramenta, e também empregado o conceito de gramática, em conjunto ao conceito de Dicionário de Dados Ativo, para a reavaliação dinâmica de documentos editados. A ferramenta incorpora ainda mecanismos com o enfoque de hiperdocumentos, o que facilita a inter-conexão de informações contidas nos documentos gerados no processo de produção de software. são apresentadas as características de produtividade e qualidade no desenvolvimento de software e os fatores que as influenciam, analisando especificamente ferramentas CASE e a necessidade de integração destas. São analisados os conceitos de Gramática de Atributos (GA), Editor Dirigido por Sintaxe (EDS) baseados em GA e Gerador de Editores Dirigidos por Sintaxe (GEDS), no contexto da Engenharia de Software. É apresentado um exemplo de utilização de GA para obtenção de integração de controle no desenvolvimento de software. são expostos os conceitos de Hiperdocumento no contexto da Engenharia de Software. E apresentado um exemplo de utilização de Hiperdocumentos para obtenção de integração referencial no desenvolvimento de software. Na construção da ferramenta, três mecanismos com o enfoque de hiperdocumentos são aplicados para abordar a integração referencial: a) um mecanismo de estabelecimento de elos entre informações contidas nos documentos editados; b) um mecanismo de "browser" de elos, que permite a visualização e seguimento de elos estabelecidos; e c) um mecanismo de estabelecimento e seguimento de caminhos de leitura dos documentos gerados. Um protótipo da ferramenta, implementado em Eiffel, e apresentado. Alguns resultados dos experimentos realizados com a ferramenta são expostos. Trabalhos futuros sobre a pesquisa são sugeridos. / This work explores several aspects about integration between development tools and the documents generated by them in the process of software development. The concepts of Hyperdocument and Atribute Grammars are analysed for this meaning. A tool which aids the software development process by using a grammar based mechanism is specified. This mechanism facilitates the establishment and the control of the development tools being used. In this tool, the concept of grammar is also used, added to the concept of Active Data Dictionary, for dynamic revaluat ion of the edited documents. The tool has mechanisms with hyperdocument emphasis, which falicitate the relationship between documents generated in the software production. The productivity and quality features in software development and the factors that influence them are presented, specifically considering CASE tools and their necessity for integration. The concepts of Atributes Grammar (AG), Sintax Driven Editor (SDE) based on AG and SDEs generator (SDEG) are analysed in the context of Software Engineering. It is presented one sample of AG application for getting development software control integration. The concepts of Hyperdocument are exposed in the context of Software Engineering. It is presented one sample of Hyperdocument application for getting development software referential integration. In the tool, three mechanisms with Hiperdocument emphasis are applied to get referential integration: a) a mechanism for links establishment between edited documents informations; b) a mechanism for links browsing, that allows the links visualization and pursuit; c) a mechanism for establishment and pursuit documents reading paths. One Eiffel prototype of the tool is presented. Some results of the tool experiments are exposed. Future works about the research are suggested.

A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedades são definidas na forma de axiomas (equações). Por outro lado, a tecnologia chamada de Orientada a Objetos (00), foi se transformando em uma disciplina amadurecida para projetos e implementações de aplicações de software. Atualmente esta tecnologia inclui muitas metodologias e muitas linguagens que abrangem todo o processo de desenvolvimento de sistemas, porem, a maioria delas são influenciadas pela implementação de tais sistemas, isto e, os conceitos básicos 00 de classe, objeto e herança são definidos em fungi° da linguagem de implementação a ser usada. Alem disso, notamos que nos últimos anos esta sendo desenvolvida muita pesquisa sobre uma geração de computadores que envolvem massivamente arquiteturas paralelas (computação concorrente), bem como sobre sistemas de comunicação de dados e engenharia (descrição) de protocolos. O objetivo principal desta tese a dar uma resposta a estes três assuntos integrando três conceitos básicos da Engenharia de Software: Especificação Algébrica, Orientação a Objetos e Especificação de Processos e Concorrência, em uma Única abordagem expressa através de uma Linguagem de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas. / The abstract specification of data types, one of the most important concepts accepted and understood of the Computer Science, allows to describe the the main entities of a based-computer system through the properties that these entities should be to satisfy. This is made using algebraic methods and languages, where the properties are defined as axioms (equations). By other hand, the technology called Object-Oriented (00), it has been transformed in a mature discipline for Design and Implementations of software applications. At present, this technology include many methodologies and many languages for the totality of the system development process. But the majority are influenced by the implementation of such systems, i.e., the basic concepts 00 of class, object and inheritance are defined in accordance with the programming language to be used. Moreover, we noted that the last years are being developed many research on a computer generation that involve massively parallel architectures (concurrent computing) as well as on data communication systems and protocol engineering (description). The main objective of this thesis is to give an answer to these three subjects integrating three basic concepts of Software Engineering: Algebraic Specification, Object Orientation and Processes and Concurrency specification, in an unique approach expressed through a language of formal specification, called LOP. This language has algebraic nature with prominence to the semantics based on theories in first-order logic with equality and the incremental construction of library-based specifications.

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.

Para reutilização, manutenção e refatoração, projetistas de sistemas de software, freqüentemente, precisam examinar o código fonte da aplicação para entender os detalhes dos sistemas desenvolvidos. As aplicações orientadas a objetos em geral, tornam-se coleções nebulosas de classes e implementações de métodos. Sem dúvida a habilidade de entender sistemas de software é largamente aumentada visualizando-se esses produtos em níveis mais altos de abstração. Os padrões de projeto demonstram um alto índice de abstração e são considerados uma ferramenta efetiva para o entendimento de sistemas de software orientados a objetos. Aplicações orientadas a objetos visualizadas como um sistema de interação de padrões requerem a descoberta, identificação e classificação de grupos de classes relacionadas. Estas visualizações podem representar qualquer padrão conhecido ou agrupamentos que executam uma tarefa abstrata e necessariamente não são uma solução de padrão conhecida. Os padrões de projeto descrevem, portanto, microarquiteturas que resolvem problemas arquitetônicos em sistemas de software orientados a objetos. É importante identificar estas microarquiteturas durante a fase de manutenção de aplicações orientadas a objetos. Faz-se necessário salientar que estas microarquiteturas aparecem freqüentemente distorcidas na aplicação fonte. O objeto deste trabalho é demonstrar a viabilidade de construir uma ferramenta para descobrir a utilização de padrões de projeto em aplicações Java. Assim, esta tese examina as características de alguns padrões, determinando a natureza do que faz um padrão ser detectável por intermédio de meios automatizados, e propõe algumas regras pelas quais um conjunto de padrões possa ser identificado. As regras são baseadas nos relacionamentos entre classes e objetos mediante observação dos modelos estático e dinâmico. Este trabalho também documenta o desenvolvimento do protótipo da ferramenta de inspeção, que tem por objetivo aplicar os processos de engenharia reversa e reflexão computacional sobre código Java, utilizando as informações adquiridas para detectar padrões de projeto. Finalmente, esta tese demonstra a utilização dessa ferramenta em um exemplo pequeno de aplicação Java e forma a base para trabalhos adicionais que investiguem a existência de diferentes padrões de projeto em sistemas de software construídos em Java.

O principal objetivo deste trabalho é apresentar um método e métricas para a avaliação do serviço Internet mais amplamente utilizado: a World Wide Web. As características básicas e funcionamento do serviço, bem como algumas ferramentas de avaliação de desempenho, serão descritas. Estes capítulos servirão de base para os demais, onde serão apresentados o método para avaliação do serviço web e métricas usadas para análise de desempenho, disponibilidade, confiabilidade, facilidades de administração e recursos. Por fim, o método e métricas serão aplicados na Procempa – Companhia de Processamento de Dados do Município de Porto Alegre, onde será possível verificá-los na prática. Além disto, dados importantes sobre a infra-estrutura web da Procempa serão fornecidos, os quais permitem uma análise do ambiente web atual e futuro da empresa.

Diversas refatorações têm sido propostas nos últimos anos para os mais variados paradigmas de programação, dentre eles o orientado a objetos e o orientado a aspecto. Seus impactos em atributos de qualidade são diversos, porém nem sempre a descrição original da refatoração apresenta todos os impactos que ela pode ter. Assim, é importante definir métodos de avaliação de refatorações para obter seus impactos em diferentes atributos de qualidade. A literatura apresenta trabalhos que utilizam métricas de software para fazer isso através de medições antes e depois de refatorar o código, porém este tipo de avaliação não permite obter conclusões válidas para todos os contextos em que a refatoração for aplicada. Outros trabalhos obtêm impactos abrangentes de refatorações orientadas a objetos, porém não foram encontrados métodos aplicáveis a refatorações orientadas a aspectos. Assim, este trabalho propõe uma forma de avaliar refatorações orientadas a aspectos para obter impactos abrangentes de sua aplicação, definindo um processo para avaliar refatorações orientadas a aspectos através do uso de métricas. Ele divide as etapas da refatoração em alterações pontuais e mede o impacto dessas alterações nos valores de um conjunto de métricas. O processo é usado para avaliar um conjunto de refatorações existentes na literatura definidas com o objetivo de extrair interesses transversais para aspectos. Para isso, são usados como critério de avaliação métricas para medir separação de interesses, tamanho, acoplamento e coesão do software. Como resultado, tem-se o impacto da refatoração em cada uma das métricas selecionadas, o que permite saber como o código será alterado antes mesmo de aplicar a refatoração. / Several software refactorings have been proposed on the last years for different programming paradigms, like object-oriented and aspect-oriented. They have several impacts on quality attributes, but their descriptions don’t describe all of these impacts, so it is important to have methods to assess refactorings to get their impacts on different quality attributes. Some papers apply software metrics on code before and after using the refactoring, but this kind os assessment avoids getting valid conclusions for all contexts where the refactoring can be used. Other papers propose assessment methods that get general conclusions for object-oriented refactorings, but no methods were found for assessing aspect-oriented refactorings. This work presents a process to assess aspect-oriented refactorings using software metrics to get their impacts on different quality attributes. It splits the refactoring steps into basic changes and measures the effects of these changes on some metrics. The process is used to assess some aspect-oriented refactorings for extracting crosscutting concerns into aspects, having as criteria software metrics to measure separation of concerns, size, coupling and cohesion. As result, we have the impact of the refactoring on each of the metric chosen, and know the consequences of the refactoring on the code before applying it.

O reconhecimento de atividaes é vital no contexto dos ambientes inteligentes. Mesmo com a facilidade de acesso a sensores móveis baratos, reconhecer atividades continua sendo um problema difícil devido à incerteza nas leituras dos sensores e à complexidade das atividades. A teoria da evidência provê um modelo de reconhecimento de atividades que detecta atividades mesmo na presença de incerteza nas leituras dos sensores, mas ainda não é capaz de modelar atividades complexas ou mudanças na configuração dos sensores ou do ambiente. Este trabalho propõe combinar abordagens baseadas em modelagem de conhecimento com a teoria da evidência, melhorando assim a construção dos modelos da última trazendo a reusabilidade, flexibilidade e semântica rica da primeira. / Activity recognition is a vital need in the field of ambient intelligence. It is essential for many internet of things applications including energy management, healthcare systems and home automation. But, even with the many cheap mobile sensors envisioned by the internet of things, activity recognition remains a hard problem. This is due to uncertainty in sensor readings and the complexity of activities themselves. Evidence theory models provide activity recognition even in the presence of uncertain sensor readings, but cannot yet model complex activities or dynamic changes in sensor and environment configurations. This work proposes combining knowledge-based approaches with evidence theory, improving the construction of evidence theory models for activity recognition by bringing reusability, flexibility and rich semantics.

Embora os sistemas e-learning sejam utilizados por diferentes tipos de usuários, com diferentes perfis e culturas, geralmente ele é criado e mantido sem levar em conta essa diversidade. Em tempos em que os sistemas baseados na web precisam fornecer suporte para uma quantidade cada vez maior de material e torná-lo disponível para as diferentes populações em todo o mundo, a introdução do conceito de cultura nos sistemas baseados na web está se tornando uma necessidade, um desafio, e uma questão relevante e oportuna. De fato, considerar a cultura tanto em informática na educação quanto na interação humano-computador é uma questão importante, pois a cultura tem um forte impacto sobre muitos processos cognitivos e afetivos relacionados com a aprendizagem. Além disso, pessoas com diferentes origens culturais desenvolvem interpretações e estratégias alternativas, que consequentemente, são refletidas em suas interações com as tecnologias de aprendizagem. Esta tese apresenta uma nova abordagem para a modelagem de usuários em sistemas adaptativos educacionais, levando em consideração o contexto cultural complementar a 3 outros tipos de informação contextual: tecnológica (relacionada à plataforma e ao dispositivo), educacional (relacionada aos estilos de aprendizagem e a outros aspectos pedagógicos) e pessoal (relacionada com as preferências e informações pessoais dos alunos). Estas características contextuais visam melhorar as capacidades de personalização, fazendo uso de um conjunto de ontologias para representar as propriedades de contexto do usuário. De fato, o contexto cultural de um usuário molda sua percepção sobre características do sistema: um determinado contexto cultural possivelmente faz com que um usuário se concentre em um conjunto de informações e ignore outros. Assim, as características do sistema apropriadas para uma cultura podem não ser adequadas para outras; e o projeto do sistema precisa ser facilmente adaptado para diferentes culturas. Como um mecanismo de teste desta pesquisa, um sistema elearning open-source chamado AdaptWeb® foi ampliado para incorporar a nossa abordagem de adaptação baseada no contexto cultural. As principais características da nossa abordagem são descritas, representando explicitamente a rica noção de contexto como uma extensão da modelagem tradicional do usuário. Nossa abordagem detalha (i) como a adoção de ontologias é usada para a representação do modelo contextual e (ii) como as questões culturais são introduzidas na interface do usuário (apresentação, componentes de diálogo e conteúdo), melhorando a usabilidade e tornando a personalização mais adequada. Para avaliar nossa proposta, realizamos um experimento com um grupo de 65 estudantes de três países, com foco em alguns aspectos de usabilidade relacionados às extensões do AdaptWeb® e a satisfação do usuário sobre a adaptação cultural fornecida. / Although normally used by different types of users, with different profiles and cultures, an e-learning system (ELS) usually is created and maintained without taking into account a diversity-orientation. In times when web-based system needs to provide support for an ever increasing amount of material and make it available for locallanguage populations across the world, the introduction of the culture concept in webbased systems is becoming a necessity, a challenge, and a timely and relevant issue. In fact, considering culture in technology-enhanced learning and human computerinteraction is an important issue since culture has a strong impact on many cognitive and affective processes related to learning. Also, people with different cultural backgrounds develop alternative interpretations and strategies consequently reflecting in their interactions with learning technologies. This thesis presents a new approach to user modeling in adaptive e-learning, taking into account cultural context complementary to 3 other types of contextual information: technological (related to platform-oriented and device-specific characteristics), educational (related to learning styles and other pedagogical aspects) and personal (related mainly with students´ personal information and preferences). These contextual characteristics aim to improve personalization capabilities, making use of a set of ontologies for representing explicitly user’s context properties. Indeed, an user’s cultural context shapes his/her perception of system features: a given culture context will possibly cause an user to focus on a set of information and ignore others. Thus, system features appropriated for one culture may not be suitable for others; and system design needs to be easily adapted for different cultures as well. As the testbed of this research, an actual open-source e-learning system called AdaptWeb® was extended in order to incorporate our approach of cultural-aware context-based adaptation. The main features of our approach are described, representing explicitly the rich context as an extension of traditional student modeling. Our description also details (i) how the adoption of ontologies is used for context models representation and (ii) how cultural issues are introduced in the user interface (presentation, dialog components and contents), improving usability and making personalization more adequate. In an effort to evaluate our ideas, we conducted an experiment with a group of 65 students of three countries focusing on some usability aspects of AdaptWeb® extensions and the user´s satisfaction about the culture-oriented adaptation provided.