Made available in DSpace on 2014-06-12T16:01:10Z (GMT). No. of bitstreams: 2 arquivo7171_1.pdf: 2257765 bytes, checksum: a7bdaaafadc2ed751bde88c9d07af1c4 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Aprendizado Colaborativo Apoiado por Computador tem se firmado como um paradigma de ensino. Neste articulam-se diferentes conceitos de aprendizagem e interação em grupo. Os ambientes colaborativos síncronos visam facilitar a construção de conhecimento e o desenvolvimento de competências entre participantes de um grupo. Componentes síncronos de aprendizagem (também chamados de sistemas de groupware) podem ser caracterizados por prover um conjunto de objetos virtuais compartilhados. Estes são manipuláveis por ferramentas e constituem-se num espaço compartilhado de interação entre usuários. O problema que estamos focando consiste levantar, a partir da interação entre usuários, requisitos que colaborem com a definição de uma arquitetura de componentes colaborativos síncronos que resolva problemas de comunicação, consciência de colaboração, manutenção do espaço compartilhado, controle de acesso ao espaço compartilhado, definição de papéis e percepção (awareness). Este trabalho utilizou técnicas de design para usabilidade com o intuito de resolver problemas relativos à interação mediada por componentes síncronos de aprendizagem, propondo um conjunto de requisitos para construção de novos sistemas que favoreçam a interação em grupo através de análises centradas nas necessidades dos usuários

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Major Energia). Faculdade de Engenharia. Universiade do Porto. 2010

Estágio realizado na Wipro Retail e orientado pelo Eng.º José Pereira / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.

A rápida evolução e a ampla disseminação de tecnologias digitais estão mudando o contexto e o perfil dos aprendizes que hoje circulam naturalmente entre espaços físicos, espaços virtuais e espaços sociais diferentes, aprendendo em contextos formais e informais. Paradigmas educacionais atuais defendem a aprendizagem centrada no aprendiz que constrói seu conhecimento ao criar e desenvolver projetos, ao interagir com os objetos de estudo, com seus pares, com seus professores e mentores. A análise de requisitos etapa fundamental do desenvolvimento de uma ferramenta digital - concentra-se essencialmente em aspectos computacionais a partir da identificação de fluxos de entrada e saída e dos processos que a ferramenta deverá executar. Entretanto, a análise de requisitos é difícil de ser conduzida quando os conteúdos e inter-relações são complexos e dinâmicos. Recentemente, a abordagem de ecossistemas tem sido usada para entender ou modelar fenômenos que surgem da tecnologia e de seu uso. Propomos utilizar esta abordagem para conceber novas ferramentas digitais de aprendizagem ao analisar seus requisitos, ou para analisar ferramentas existentes. Assim, propomos neste trabalho uma definição e um modelo de Ecossistema Digital de Aprendizagem, que podem ser aplicados tanto na concepção de novas ferramentas educacionais quanto na análise para melhoria de ferramentas existentes. Um conjunto de artefatos, resultantes do detalhamento do modelo, é apresentado a fim de auxiliar na utilização do mesmo. A avaliação da aplicabilidade do modelo foi realizada por meio de sua utilização em estudos de caso de ferramentas educacionais desenvolvidas anteriormente. A aplicação do modelo evidenciou aspectos que não foram contemplados com abordagens tradicionais e permitiu levantar possíveis modificações e ampliações que podem levar a um estágio mais maduro do ecossistema. Os resultados obtidos com a aplicação do modelo na análise de ferramentas existentes apontam caminhos promissores para que esta estratégia seja usada na concepção de novas ferramentas educacionais de aprendizagem. / The rapid evolution and dissemination of digital technology are changing the learners context and profile. Learners move naturally between different physical spaces, different virtual spaces and different social spaces, engaging in learning activities in formal and informal contexts. Educational paradigms defend a learner centered approach, where learners construct their knowledge creating and developing projects, interacting with learning objects, with their peers, their teachers and mentors. Requirements analysis is a fundamental phase in the development of digital tools and concentrates essentially on computational aspects consisting on the identification of the tools input and output flows as well as processing. Nevertheless, requirements analysis is difficult to conduct when contents and relations are complex and dynamic. Recently, the ecosystem approach has been used to understand and to model phenomena that appear from the technology and its use. We propose to use this approach to conceive new digital learning tools, analyzing its requirements, or to use this approach to analyze existing tools. Therefore we propose in this research a Digital Learning Ecosystem definition and model that can be applied to the conception of new educational tools, as well as to analyze and improve existing tools. The detailed model includes a set of artifacts that can support its application. The model applicability evaluation was achieved by applying it on previously developed study cases. The model application showed some aspects that were not considered with traditional approaches and raised possible modifications and extensions that can lead to a mature stage of the ecosystem. The model application analysis of existing tools showed promising results and indicate that this approach can be used to conceive new educational learning tools.

Discute-se neste trabalho a importância de um método para análise técnica de uma dada infraestrutura visto a necessidade atual pela busca do aproveitamento de estruturas já existentes. Cada vez mais empresas buscam agregar serviços multimídia (voz, vídeo e dados) à sua estrutura corporativa, integrando a empresa como um todo, reduzindo custos e aproveitando a infraestrutura de comunicação existente. Com essa perspectiva, o trabalho propõe um método para avaliação técnica que determine, se uma infraestrutura instalada suportaria os requisitos necessários para oferecer os serviços da tecnologia IPTV, baseando-se na avaliação dos requisitos dos parâmetros de QoS quando implementado estes serviços. / The importance of a method is discussed in this work for technical analysis of a given infrastructure when the current necessity was seen by the search of the use of already existent structures. More and more enterprises look for collect services multimedia (voice, video and data) to his corporative structure, integrating the enterprise as a whole, reducing costs and leveraging the infrastructure of existent communication. With this perspective, this paper proposes a method for technical evaluation that it determines, if a given installed infrastructure will support the necessary requisites to offer the services of the IPTV technology, being based on the evaluation of the requisites of the parameters of QoS when these services were implemented.

A rápida evolução e a ampla disseminação de tecnologias digitais estão mudando o contexto e o perfil dos aprendizes que hoje circulam naturalmente entre espaços físicos, espaços virtuais e espaços sociais diferentes, aprendendo em contextos formais e informais. Paradigmas educacionais atuais defendem a aprendizagem centrada no aprendiz que constrói seu conhecimento ao criar e desenvolver projetos, ao interagir com os objetos de estudo, com seus pares, com seus professores e mentores. A análise de requisitos etapa fundamental do desenvolvimento de uma ferramenta digital - concentra-se essencialmente em aspectos computacionais a partir da identificação de fluxos de entrada e saída e dos processos que a ferramenta deverá executar. Entretanto, a análise de requisitos é difícil de ser conduzida quando os conteúdos e inter-relações são complexos e dinâmicos. Recentemente, a abordagem de ecossistemas tem sido usada para entender ou modelar fenômenos que surgem da tecnologia e de seu uso. Propomos utilizar esta abordagem para conceber novas ferramentas digitais de aprendizagem ao analisar seus requisitos, ou para analisar ferramentas existentes. Assim, propomos neste trabalho uma definição e um modelo de Ecossistema Digital de Aprendizagem, que podem ser aplicados tanto na concepção de novas ferramentas educacionais quanto na análise para melhoria de ferramentas existentes. Um conjunto de artefatos, resultantes do detalhamento do modelo, é apresentado a fim de auxiliar na utilização do mesmo. A avaliação da aplicabilidade do modelo foi realizada por meio de sua utilização em estudos de caso de ferramentas educacionais desenvolvidas anteriormente. A aplicação do modelo evidenciou aspectos que não foram contemplados com abordagens tradicionais e permitiu levantar possíveis modificações e ampliações que podem levar a um estágio mais maduro do ecossistema. Os resultados obtidos com a aplicação do modelo na análise de ferramentas existentes apontam caminhos promissores para que esta estratégia seja usada na concepção de novas ferramentas educacionais de aprendizagem. / The rapid evolution and dissemination of digital technology are changing the learners context and profile. Learners move naturally between different physical spaces, different virtual spaces and different social spaces, engaging in learning activities in formal and informal contexts. Educational paradigms defend a learner centered approach, where learners construct their knowledge creating and developing projects, interacting with learning objects, with their peers, their teachers and mentors. Requirements analysis is a fundamental phase in the development of digital tools and concentrates essentially on computational aspects consisting on the identification of the tools input and output flows as well as processing. Nevertheless, requirements analysis is difficult to conduct when contents and relations are complex and dynamic. Recently, the ecosystem approach has been used to understand and to model phenomena that appear from the technology and its use. We propose to use this approach to conceive new digital learning tools, analyzing its requirements, or to use this approach to analyze existing tools. Therefore we propose in this research a Digital Learning Ecosystem definition and model that can be applied to the conception of new educational tools, as well as to analyze and improve existing tools. The detailed model includes a set of artifacts that can support its application. The model applicability evaluation was achieved by applying it on previously developed study cases. The model application showed some aspects that were not considered with traditional approaches and raised possible modifications and extensions that can lead to a mature stage of the ecosystem. The model application analysis of existing tools showed promising results and indicate that this approach can be used to conceive new educational learning tools.

Discute-se neste trabalho a importância de um método para análise técnica de uma dada infraestrutura visto a necessidade atual pela busca do aproveitamento de estruturas já existentes. Cada vez mais empresas buscam agregar serviços multimídia (voz, vídeo e dados) à sua estrutura corporativa, integrando a empresa como um todo, reduzindo custos e aproveitando a infraestrutura de comunicação existente. Com essa perspectiva, o trabalho propõe um método para avaliação técnica que determine, se uma infraestrutura instalada suportaria os requisitos necessários para oferecer os serviços da tecnologia IPTV, baseando-se na avaliação dos requisitos dos parâmetros de QoS quando implementado estes serviços. / The importance of a method is discussed in this work for technical analysis of a given infrastructure when the current necessity was seen by the search of the use of already existent structures. More and more enterprises look for collect services multimedia (voice, video and data) to his corporative structure, integrating the enterprise as a whole, reducing costs and leveraging the infrastructure of existent communication. With this perspective, this paper proposes a method for technical evaluation that it determines, if a given installed infrastructure will support the necessary requisites to offer the services of the IPTV technology, being based on the evaluation of the requisites of the parameters of QoS when these services were implemented.

A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri. / The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.