Дисертації: "Engenharia de software baseada em valor"

1

Tibério, D' Anunciação Gustavo. "Uma extensão do rational unified process baseada na criação de valor." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/2718.

Повний текст джерела

Анотація:

Made available in DSpace on 2014-06-12T16:00:36Z (GMT). No. of bitstreams: 2 arquivo6793_1.pdf: 1868835 bytes, checksum: 71b2827ff6e54be17b026ed94a084b69 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009
Uma das tendências da pesquisa em gerenciamento de projetos para os próximos anos é o estudo da ênfase na criação de valor pelos projetos. Este tema envolve uma maior preocupação com o alinhamento dos projetos aos objetivos estratégicos das organizações. No contexto dos projetos de desenvolvimento de software, tal preocupação passa pela revisão das metodologias de desenvolvimento de software que os suportam. A Engenharia de Software Baseada em Valor (VBSE) é uma abordagem que adiciona considerações de valor aos aspectos técnicos da Engenharia de Software, estabelecendo um conjunto de elementos-chave necessários à evolução das técnicas e práticas atuais para que enfatizem a criação de valor. Este trabalho faz uma análise do Rational Unified Process, um framework de processos de software, quanto à ênfase em criação de valor que ele possibilita, usando os elementos-chave da VBSE como diretriz para a análise. Pontos de convergência entre o RUP e os elementoschave são identificados, e uma extensão do processo é proposta para suprir as lacunas encontradas. Uma avaliação do novo processo é feita e oportunidades para trabalhos futuros apresentadas

Стилі APA, Harvard, Vancouver, ISO та ін.

2

MACEDO, JUNIOR José Wallace Ribeiro de. "Uma extensão do SCRUM com foco na criação de valor." Universidade Federal de Pernambuco, 2013. https://repositorio.ufpe.br/handle/123456789/13872.

Повний текст джерела

Анотація:

Submitted by Luiza Maria Pereira de Oliveira (luiza.oliveira@ufpe.br) on 2015-05-08T15:35:49Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Jose Wallace Ribeiro de Macedo Junior.pdf: 1161406 bytes, checksum: f2bb08ca99eacd53024bfb37648476aa (MD5)
Made available in DSpace on 2015-05-08T15:35:49Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação Jose Wallace Ribeiro de Macedo Junior.pdf: 1161406 bytes, checksum: f2bb08ca99eacd53024bfb37648476aa (MD5) Previous issue date: 2013-04-18
A maioria dos estudos sobre fatores críticos de sucesso aponta que projetos de software falham por não entregar valor aos interessados. Uma das áreas de pesquisa da Engenharia de Software é a Engenharia de Software Baseada em Valor – VBSE, a qual busca incorporar atividades de criação de valor nos processos de desenvolvimento de software. Segundo ela, o sucesso de um software vai mais além do que uma simples adequação a modelos técnicos. Excelência técnica é altamente desejável, mas insuficiente. Nos últimos anos, a utilização de métodos ágeis tem crescido de forma acentuada, sendo que, segundo pesquisas recentes, Scrum é o método ágil mais utilizado. Estes métodos têm como um de seus princípios a entrega de valor ao cliente. Desta forma, este trabalho analisou a aderência do Scrum à VBSE. A análise foi realizada tendo como base os princípios e valores definidos no manifesto ágil e os elementos-chave que formam a base da VBSE. O resultado da análise mostrou que o Scrum já é aderente a alguns desses elementos-chave. Entretanto, outros elementos-chave da VBSE não são abordados. Para preencher essas lacunas, foi proposta uma extensão que consiste na criação de novos artefatos e no acréscimo de atividades ao processo do Scrum. Tal extensão visa contribuir para que os softwares entregues criem valor para os interessados, sem descaracterizar a agilidade do Scrum. Como método de avaliação, foi aplicado um questionário a profissionais com experiência em Scrum a fim de verificar o grau de concordância em relação à extensão proposta. O resultado da avaliação mostrou que maioria dos respondentes concorda com a extensão e considera que a criação de valor para os interessados deve ser o objetivo principal de um projeto de software.

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Ferreira, Ernesto Franklin Marçal. "Melhorias de estabilidade numérica e custo computacional de aproximadores de funções valor de estado baseados em estimadores RLS para projeto online de sistemas de controle HDP-DLQR." Universidade Federal do Maranhão, 2016. http://tedebc.ufma.br:8080/jspui/handle/tede/1687.

Повний текст джерела

Анотація:

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-06-23T20:34:27Z No. of bitstreams: 1 ErnestoFerreira.pdf: 1744167 bytes, checksum: c125c90e5eb2aab2618350567f88cb31 (MD5)
Made available in DSpace on 2017-06-23T20:34:27Z (GMT). No. of bitstreams: 1 ErnestoFerreira.pdf: 1744167 bytes, checksum: c125c90e5eb2aab2618350567f88cb31 (MD5) Previous issue date: 2016-03-08
The development and the numerical stability analysis of a new adaptive critic algorithm to approximate the state-value function for online discrete linear quadratic regulator (DLQR) optimal control system design based on heuristic dynamic programming (HDP) are presented in this work. The proposed algorithm makes use of unitary transformations and QR decomposition methods to improve the online learning e-ciency in the critic network through the recursive least-squares (RLS) approach. The developed learning strategy provides computational performance improvements in terms of numerical stability and computational cost which aim at making possible the implementations in real time of optimal control design methodology based upon actor-critic reinforcement learning paradigms. The convergence behavior and numerical stability of the proposed online algorithm, called RLSµ-QR-HDP-DLQR, are evaluated by computational simulations in three Multiple-Input and Multiple-Output (MIMO) models, that represent the automatic pilot of an F-16 aircraft of third order, a fourth order RLC circuit with two input voltages and two controllable voltage levels, and a doubly-fed induction generator with six inputs and six outputs for wind energy conversion systems.
Neste trabalho, apresenta-se o desenvolvimento e a análise da estabilidade numérica de um novo algoritmo crítico adaptativo para aproximar a função valor de estado para o projeto do sistema de controle ótimo online, utilizando o regulador linear quadrático discreto (DLQR), com base em programação dinâmica heurística (HDP). O algoritmo proposto faz uso de transformações unitárias e métodos de decomposição QR para melhorar a e-ciência da aprendizagem online na rede crítica por meio da abordagem dos mínimos quadrados recursivos (RLS). A estratégia de aprendizagem desenvolvida fornece melhorias no desempenho computacional em termos de estabilidade numérica e custo computacional, que visam tornar possíveis as implementações em tempo real da metodologia do projeto de controle ótimo com base em paradigmas de aprendizado por reforço ator-crítico. O comportamento de convergência e estabilidade numérica do algoritmo online proposto, denominado RLSµ-QR-HDP-DLQR, são avaliados por meio de simulações computacionais em três modelos Múltiplas-Entradas e Múltiplas-Saídas (MIMO), que representam o piloto automático de uma aeronave F-16 de terceira ordem, um circuito de quarta ordem RLC com duas tensões de entrada e dois níveis de tensão controláveis, e um gerador de indução duplamente alimentados com seis entradas e seis saídas para sistemas de conversão de energia eólica.

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Coutinho, Luciano Reis. "Interoperabilidade organizacional em sistemas multiagentes abertos baseada em engenharia dirigida por modelos." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29092010-152356/.

Повний текст джерела

Анотація:

Nesta tese, propõe-se integrar, de modo sistemático, modelos organizacionais para prover interoperabilidade organizacional em sistemas multiagentes abertos. A interoperabilidade organizacional consiste em permitir que, em uma mesma organização de agentes, coexistam agentes desenvolvidos a partir de modelos organizacionais distintos. Para realizar tal intuito, aplica-se uma abordagem baseada em técnicas da Engenharia Dirigida por Modelos. A abordagem proposta divide-se em três etapas principais: (1) representar a estrutura conceitual de modelos organizacionais através de metamodelos; (2) identificar correspondências entre as estruturas conceituais dos modelos organizacionais utilizando como heurística a idéia de dimensões e padrões de modelagem organizacional ; e (3) combinar os metamodelos dos modelos organizacionais seguindo um algoritmo de junção de modelos baseado em grafos e articulações de grafos. Utilizando a abordagem proposta, quatro modelos organizacionais existentes são integrados: os modelos AGR, STEAM, MOISE+ e ISLANDER. Para ilustrar o uso da integração de metamodelos no problema de interoperabilidade organizacional, especifica-se e implementa-se uma infraestrutura de interoperabilidade organizacional chamada MAORI (Model-driven Architecture for Organizational Interoperability). A infraestrutura MAORI é estruturada em duas camadas: (1) a camada M2M, na qual a integraçãoo de modelos realizada é utilizada para traduzir especificações e estados organizacionais, e (2) a camada ORI, na qual infraestruturas organizacionais são interconectadas. Para testar e validar toda a proposta, a infraestrutura MAORI foi implementada para as infraestruturas organizacionais S-MOISE+ e MADKIT, e uma aplicaçào denominada WritePaper foi desenvolvida. A partir das implementações, alguns experimentos foram realizados. Os resultados obtidos demonstram que a integração de modelos organizacionais proposta, realizada na infraestrutura de interoperabilidade MAORI, efetivamente interconecta infraestruturas organizacionais distintas e permite que, em uma mesma organização de agentes, coexistam agentes desenvolvidos a partir de modelos organizacionais distintos.
This thesis proposes to integrate systematically organizational models for providing organizational interoperability in open multiagent systems. Organizational interoperability consists in enabling the participation, in the same agent organization, of agents developed with different organizational models. For this purpose, it is applied an approach based on techniques from Model-driven Engineering. The approach is divided in three main steps: (1) to represent the conceptual structure of organizational models by means of metamodels; (2) to identify correspondences among the conceptual structures of the organizational models using as heuristics the idea of organizational modeling dimensions and patterns; (3) to combine the metamodels of the organizational models by following a merge algorithm based on graphs and graph articulations. Using the proposed approach, four existing organizational models are integrated: AGR, STEAM, MOISE+ and ISLANDER. To illustrate the use of the integration, an organizational interoperability infrastructure called MAORI (Model-driven Architecture for Organizational Interoperability) is specified and implemented. The MAORI infrastructure is structured in two layers: (1) the M2M layer, in which the integration of models is used to translate the organizational specifications and states, and (2) the ORI layer, in which the organizational infrastructures are interconnected. To test and validate the approach, MAORI infrastructure was implemented for the organizational infrastructures S-MOISE+ and MADKIT, and an application called Write Paper was developed. Using the implementations, some experiments were done. The results show that the organizational model integration, implemented in the MAORI infrastructure, effectively interconnects distinct organizational infrastructures and enables the participation, in the same agent organization, of agents developed with different organizational models.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Scatalon, Lilian Passos [UNESP]. "Empacotamento de experimentos controlados em engenharia de software: uma abordagem baseada em ontologia." Universidade Estadual Paulista (UNESP), 2013. http://hdl.handle.net/11449/127538.

Повний текст джерела

Анотація:

Made available in DSpace on 2015-09-17T15:24:04Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-02-09. Added 1 bitstream(s) on 2015-09-17T15:48:27Z : No. of bitstreams: 1 000846891.pdf: 760953 bytes, checksum: fa5ef40f34384d3df5a903a04e11c0ab (MD5)
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Engenharia de Software Experimental visa a avaliar e medir o desempenho de métodos, técnicas e ferramentas aplicadas em atividades de desenvolvimento de software. A meta é criar um corpo de conhecimento validado experimentalmente para apoiar as tomadas de decisões no domínio de Engenharia de Software. Construir esse corpo de conhecimento requer a condução de experimentos controlados e suas replicações a fim de generalizar os resultados obtidos. As informações e o conhecimento gerados por um experimento são registrados em seu pacote de laboratório, que deve ser revisado por um eventual grupo de pesquisa com a intenção de replicá-lo. Entretanto, pesquisadores enfrentam dificuldades ao revisar os pacotes de laboratório disponíveis. Um dos fatores desse problema é a falta de padronização dos pacotes de laboratório. Os experimentos são reportados com diferentes conjuntos de informações, o que também se constitui em uma barreira para a integração dos estudos em um corpo comum. Nesse contexto, considerando que compartilhamento e integração de conhecimento são aplicações recorrentes de ontologias, neste trabalho é proposto um workflow para aplicar uma ontologia ao empacotamento de experimentos controlados em Engenharia de Software. Para avaliar essa abordagem, foi implementada a ferramenta PontoLab++, que corresponde a uma instância do workflow que adota como padrão a EXPEROntology, uma ontologia para experimentos controlados
Experimental Software Engineering attempts to assess the performance of methods, techniques and tools applied on software development activities. The goal is to build a body of experimentally validated knowledge in order to support decision making on Software Engineering domain. Building this body of knowledge requires to run controlled experiments and their replications in order to generalize the obtained results. The information and the knowledge generated by an experiment are registered in the so-called lab package, which must be reviewed by an eventual research group with the intention to replicate it. However, researchers face difficulties while reviewing the available lab packages. One of the factors that leads to this problem is the lab packages lack of standardization. The experiments are reported with different information sets, what is also a barrier to integrate studies in a common body. In this context, considering that knowledge sharing and integration are recurring applications of ontologies, in this work is proposed a workflow that applies an ontology to package controlled experiments in Software Engineering. In order to evaluate this approach, the tool Ponto- Lab++ was implemented, which corresponds to a workflow instance that adopts EXPEROntology, an ontology for controlled experiments

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Scatalon, Lilian Passos. "Empacotamento de experimentos controlados em engenharia de software : uma abordagem baseada em ontologia /." São José do Rio Preto, 2013. http://hdl.handle.net/11449/127538.

Повний текст джерела

Анотація:

Orientador: Rogério Eduardo Garcia
Banca: Ellen Francine Barbosa
Banca: Solange Oliveira Rezende
Resumo: Engenharia de Software Experimental visa a avaliar e medir o desempenho de métodos, técnicas e ferramentas aplicadas em atividades de desenvolvimento de software. A meta é criar um corpo de conhecimento validado experimentalmente para apoiar as tomadas de decisões no domínio de Engenharia de Software. Construir esse corpo de conhecimento requer a condução de experimentos controlados e suas replicações a fim de generalizar os resultados obtidos. As informações e o conhecimento gerados por um experimento são registrados em seu pacote de laboratório, que deve ser revisado por um eventual grupo de pesquisa com a intenção de replicá-lo. Entretanto, pesquisadores enfrentam dificuldades ao revisar os pacotes de laboratório disponíveis. Um dos fatores desse problema é a falta de padronização dos pacotes de laboratório. Os experimentos são reportados com diferentes conjuntos de informações, o que também se constitui em uma barreira para a integração dos estudos em um corpo comum. Nesse contexto, considerando que compartilhamento e integração de conhecimento são aplicações recorrentes de ontologias, neste trabalho é proposto um workflow para aplicar uma ontologia ao empacotamento de experimentos controlados em Engenharia de Software. Para avaliar essa abordagem, foi implementada a ferramenta PontoLab++, que corresponde a uma instância do workflow que adota como padrão a EXPEROntology, uma ontologia para experimentos controlados
Abstract: Experimental Software Engineering attempts to assess the performance of methods, techniques and tools applied on software development activities. The goal is to build a body of experimentally validated knowledge in order to support decision making on Software Engineering domain. Building this body of knowledge requires to run controlled experiments and their replications in order to generalize the obtained results. The information and the knowledge generated by an experiment are registered in the so-called lab package, which must be reviewed by an eventual research group with the intention to replicate it. However, researchers face difficulties while reviewing the available lab packages. One of the factors that leads to this problem is the lab packages lack of standardization. The experiments are reported with different information sets, what is also a barrier to integrate studies in a common body. In this context, considering that knowledge sharing and integration are recurring applications of ontologies, in this work is proposed a workflow that applies an ontology to package controlled experiments in Software Engineering. In order to evaluate this approach, the tool Ponto- Lab++ was implemented, which corresponds to a workflow instance that adopts EXPEROntology, an ontology for controlled experiments
Mestre

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Gresse, von Wangenheim Christiane. "Reutilização baseada em casos de experiência na área de mensuração em engenharia de software /." Florianópolis, SC, 2000. http://repositorio.ufsc.br/xmlui/handle/123456789/78485.

Повний текст джерела

Анотація:

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico.
Made available in DSpace on 2012-10-17T15:03:33Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T17:04:30Z : No. of bitstreams: 1 161359.pdf: 6420229 bytes, checksum: a9f0501f52704490f9cf73a337a3f8f2 (MD5)
Desenvolvimento, implementação e avaliação de uma metodologia para a reutilização de conhecimento experiencial utilizando Raciocínio Baseado em Casos. A metodologia desenvolvida visa a representação, armazenamento, recuperação e contínua aquisição e integração do conhecimento baseado em experiências em uma Memória Corporativa. O enfoque é aplicado no contexto do paradigma Goal/Question/Metric, uma nova abordagem sobre mensuração de software, a qual auxilia na definição e implementação de metas operacionais e mensuráveis para melhoria de software.

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Lindoso, Alisson Neres. "UMA METODOLOGIA BASEADA EM ONTOLOGIAS PARA A ENGENHARIA DE APLICAÇÕES MULTIAGENTE." Universidade Federal do Maranhão, 2006. http://tedebc.ufma.br:8080/jspui/handle/tede/336.

Повний текст джерела

Анотація:

Made available in DSpace on 2016-08-17T14:52:48Z (GMT). No. of bitstreams: 1 alisson lindoso2.pdf: 6722921 bytes, checksum: 2f55fa8a7f109106c015f0307cb7582c (MD5) Previous issue date: 2006-03-10
The increasing demand of software applications constructed conciliating productivity, low cost and high quality, even in complex and changeable domains, turns necessary the elaboration of techniques and methodologies focusing on development paradigms more suitable for approaching these conflicting features, like the multiagent one. On the other hand, the sotware reuse process promotes the creation of new applications employing reusable software artifacts previously developed. This work introduces MAAEM, an ontology-driven methodology for analysis, design and implementation of multi-agent applications through the reuse of models and components that represent the requirements of a family of applications in a domain as well as the corresponding agent-oriented solutions to these ones. ONTORMAS, an ontology whose instantiation is useful for modeling and representing specific applications developed with MAAEM methodology, is also presented. Two case studies elaborated in order to evaluate the methodology and ontology are also described, exploring the cases with and without reuse, respectively, in the touristic and juridical domains.
A crescente demanda por aplicações de software cuja construção concilie produtividade, baixo custo e alta qualidade, mesmo em domínios complexos e mutáveis, torna necessária a elaboração de técnicas e metodologias que foquem paradigmas de desenvolvimento mais adequados para abordar aquelas características conflitantes, tal como o paradigma multiagente. Por outro lado, o processo de reutilização de software permite promover a criação de novas aplicações empregando artefatos de software reutilizáveis previamente desenvolvidos. Esse trabalho introduz a MAAEM, uma metodologia baseada em ontologias para a análise, o projeto e a implementação de aplicações multiagente através do reuso de modelos e componentes que representam os requisitos de uma família de aplicações em um domínio, assim como as correspondentes soluções orientadas a agentes para tais requisitos. É também apresentada a ONTORMAS, uma ontologia cuja instanciação é útil para modelar e representar aplicações específicas desenvolvidas com a metodologia MAAEM. São descritos ainda dois estudos de caso elaborados no sentido de avaliar a metodologia e a ontologia, explorando os casos com e sem reuso, respectivamente, nos domínios turístico e jurídico.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Pires, Vanessa Barbisan. "Análise de impacto de mudança de software: uma metodologia baseada em ontologias." Pontifícia Universidade Católica do Rio Grande do Sul, 2006. http://hdl.handle.net/10923/1485.

Повний текст джерела

Анотація:

Made available in DSpace on 2013-08-07T18:42:26Z (GMT). No. of bitstreams: 1 000421352-Texto+Completo-0.pdf: 1990541 bytes, checksum: 50bb269d146dfb27631bf26a1d95c2bf (MD5) Previous issue date: 2006
When a change requirement is generated during a software project, all information necessary for its development must be traced. In this context, the change impact analysis focus on finding the probability of an artifact impact to be modified. The main goal of this work is to develop a change impact methodology for software maintenance projects. To analyze the change impact it is necessary to use a traceability methodology. In our approach, the traceability is enforced by the ontology concepts that are generated from the domain model during the software development process. The methodology validation will be made by an experiment.
Quando um requisito de mudança é solicitado durante um projeto de manutenção, toda a informação referente a ele deve ser rastreada a fim de que seja possível desenvolvê-lo. Nessa realidade está inserida a análise de impacto de uma mudança que visa, entre outras coisas, estabelecer a probabilidade de impacto que um artefato terá. O principal objetivo desse trabalho é o desenvolvimento de uma metodologia de análise de impacto de mudança em pro-jetos de manutenção de software. Para que seja possível realizá-la, é preciso rastrear os artefatos que compõem o sistema. O rastreamento é realizado pelos conceitos da ontologia gerada durante o processo de desenvolvimento de software a partir do modelo de domínio.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Silveira, Fábio Fagundes. "Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2001. http://hdl.handle.net/10183/2283.

Повний текст джерела

Анотація:

A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. O paradigma da Orientação a Objetos (OO) surgiu com o objetivo de melhorar a qualidade bem como a produtividade no desenvolvimento de aplicações. Entretanto, apesar do aumento constante de aceitação do paradigma OO pela indústria de software, a presença de algumas de suas características torna a atividade de teste de programas neste paradigma mais complexa do que o teste de sistemas tradicionais. Entre estas características cita-se a herança, o encapsulamento, o polimorfismo e a ligação dinâmica [EIS 97] [PRE 95] [UNG 97]. Algumas técnicas estão sendo implementadas para auxiliarem a atividade de teste através do uso da tecnologia de reflexão computacional [HER 99]. Estas técnicas permitem a realização de análises de aspectos dinâmicos dos programas, sem a necessidade de instrumentar o código-fonte das aplicações que estão sendo monitoradas. Com o objetivo de auxiliar o processo de teste de programas orientados a objetos, este trabalho aborda o desenvolvimento de uma ferramenta, a qual automatiza parcialmente o teste de programas escritos em Java. A ferramenta evidencia o teste de estados fazendo uso da tecnologia de reflexão computacional. Através da especificação de asserções, feitas pelo usuário da ferramenta, na forma de invariantes de classe, pré e pós-condições de métodos, é possível verificar a integridade dos estados dos objetos durante a execução do programa em teste. A ferramenta possibilita também, armazenar a seqüência de métodos chamados pelos objetos da aplicação em teste, tornando possível ao testador, visualizar o histórico das interações entre os objetos criados no nível-base.

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Pascutti, Márcia Cristina Dadalto. "Uma proposta de arquitetura de um ambiente de desenvolvimento de software distribuído baseada em agentes." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2002. http://hdl.handle.net/10183/2627.

Повний текст джерела

Анотація:

A crescente complexidade das aplicações, a contínua evolução tecnológica e o uso cada vez mais disseminado de redes de computadores têm impulsionado os estudos referentes ao desenvolvimento de sistemas distribuídos. Como estes sistemas não podem ser facilmente desenvolvidos com tecnologias de software tradicionais por causa dos limites destas em lidar com aspectos relacionados, por exemplo, à distribuição e interoperabilidade, a tecnologia baseada em agentes parece ser uma resposta promissora para facilitar o desenvolvimento desses sistemas, pois ela foi planejada para suportar estes aspectos, dentre outros. Portanto, é necessário também que a arquitetura dos ambientes de desenvolvimento de software (ADS) evolua para suportar novas metodologias de desenvolvimento que ofereçam o suporte necessário à construção de softwares complexos, podendo também estar integrada a outras tecnologias como a de agentes. Baseada nesse contexto, essa dissertação tem por objetivo apresentar a especificação de uma arquitetura de um ADS distribuído baseada em agentes (DiSEN – Distributed Software Engineering Environment). Esse ambiente deverá fornecer suporte ao desenvolvimento de software distribuído, podendo estar em locais geograficamente distintos e também os desenvolvedores envolvidos poderão estar trabalhando de forma cooperativa. Na arquitetura proposta podem ser identificadas as seguintes camadas: dinâmica, que será responsável pelo gerenciamento da (re)configuração do ambiente em tempo de execução; aplicação, que terá, entre os elementos constituintes, a MDSODI (Metodologia para Desenvolvimento de Software Distribuído), que leva em consideração algumas características identificadas em sistemas distribuídos, já nas fases iniciais do projeto e o repositório para armazenamento dos dados necessários ao ambiente; e, infra-estrutura, que proverá suporte às tarefas de nomeação, persistência e concorrência e incorporará o canal de comunicação. Para validar o ambiente será realizada uma simulação da comunicação que pode ser necessária entre as partes constituintes do DiSEN, por meio da elaboração de diagramas de use case e de seqüência, conforme a notação MDSODI. Assim, as principais contribuições desse trabalho são: (i) especificação da arquitetura de um ADS distribuído que poderá estar distribuído geograficamente; incorporará a MDSODI; proporcionará desenvolvimento distribuído; possuirá atividades executadas por agentes; (ii) os agentes identificados para o DiSEN deverão ser desenvolvidos obedecendo ao padrão FIPA (Foundation for Intelligent Physical Agents); (iii) a identificação de um elemento que irá oferecer apoio ao trabalho cooperativo, permitindo a integração de profissionais, agentes e artefatos.

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Pereira, Ana Maria. "Abordagem de especificação de requisitos baseada em projeto axiomático." Universidade Tecnológica Federal do Paraná, 2011. http://repositorio.utfpr.edu.br/jspui/handle/1/361.

Повний текст джерела

Анотація:

Esta dissertação apresenta uma abordagem que aplica a Teoria de Projeto Axiomático à especificação de requisitos de sistemas de software visando melhorar a qualidade da solução de projeto desde a análise do problema até identificação dos requisitos efetivamente. O objetivo da abordagem desenvolvida é propor e integrar métodos que permitam o uso de Projeto Axiomático em um processo de Engenharia de Requisitos. A abordagem de especificação de requisitos proposta estabelece a aplicação do Axioma da Independência no estudo de problemas e necessidades do cliente. Desta forma, incluem-se no processo de engenharia de requisitos novos domínios de estudo, o domínio do problema e o domínio do cliente. É estabelecido um modelo de hierarquia para a decomposição de Problemas, Necessidades e Requisitos. Um processo de ziguezagueamento é sugerido para que se possa aplicar a abordagem proposta em conjunto com um processo de desenvolvimento interativo e incremental como o Processo Unificado. Apresenta-se um estudo de caso de um sistema de teste de equipamentos em uma linha de produção. O estudo de caso tem por objetivo demonstrar a aplicação prática da abordagem de especificação de requisitos proposta nesta dissertação. Além disso, apresentam-se os experimentos realizados durante o trabalho de pesquisa e seus resultados. Para exemplificar a execução dos experimentos é demonstrado o processo de especificação de requisitos para um sistema de relatórios de visitas a clientes. Este exemplo ajuda a ilustrar como a abordagem apresentada pode ser utilizada para aumentar a consistência e a qualidade dos requisitos de projetos de software.
This dissertation presents an approach that applies the Axiomatic Design Theory to the specification of software systems requirements. This Approach intends to improve the quality of design solution since its inception, which involves from the problem analysis to the requirements identification. The purpose of the proposed approach is to offer methods that allow the use of axiomatic design in a process of requirements engineering. The proposed requirements specification approach establishes the application of the Axiom of Independence in the study of problems and costumer needs. In this way, new domains, the problem domain and the costumer domain, are included in the requirements engineering process. It is established a hierarchical model for the decomposition of Problems, Needs and Requirements. A zig-zag process is suggested in order to use the propose approach in conjunction with a development process as the Unified Process. It is presented a case study of a system for equipment testing in a production line. The case study aims to demonstrate the practical application of the requirements specification approach proposed in this dissertation. In addition, the results of the experiments performed during the research are presented. The requirements specification process for a reporting system is shown to illustrate the experiments. This example helps billustrate how the proposed approach can be used to increase the consistency and quality of software requirements.

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Kamada, Aqueo 1954. "Execução de serviços baseada em regras de negocio." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260976.

Повний текст джерела

Анотація:

Orientador: Manuel de Jesus Mendes
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-08T10:49:25Z (GMT). No. of bitstreams: 1 Kamada_Aqueo_D.pdf: 3886405 bytes, checksum: 8e4f2791cf72214eac7fe3d18c8bc794 (MD5) Previous issue date: 2006
Resumo: No atual mundo globalizado, com interações fortemente baseadas na Web, as relações entre pessoas, empresas e aos orgãos de governo estão sujeitas a mudanças cada vez mais rápidas. Esse cenário torna ainda mais crítico o já antigo problema de manutenção de sistemas, uma vez que as atualizações precisam ser realizadas para contemplar novos modelos de negócio, no contexto destas mudanças rápidas. Esta situação justifica a necessidade de uma abordagem que consiga capturar as mudanças nos negóios e rapidamente implementá-las nos sistemas computacionais. Considera-se que existem porções da lógica de negócio que são bastante voláteis e suscetíveis às mudanças e outras porções que são bastante estáveis e muito pouco suscetíveis às mudanças. Neste contexto, propõe-se um modelo para desenvolvimento rápido e execussão de serviços, baseado em regras de negócio. Neste modelo as porções voláteis são externalizadas como regras de negócio e as porções estáveis como serviços. A prova de conceito desta abordagem traduz regras modeladas em linguagem natural para regras no modelo da máquina de regras instanciada, que invoca os serviços
Abstract: In the current globalized world, characterized by strong Web based interactions, relationships between people, companies and government organizations are subject to changes that occur faster and faster. This scenario makes the old problem of system maintenance even more critical, as the updating of these systems needs to contemplate new business models in the context of these fast changes. This situation justifies the need for an approach that can capture business changes and quickly implement them into computational systems. It is considered that some business logic portions are quite volatile and susceptible to the changes and other portions are quite stable and less susceptible to the changes. In this context, a model for fast development and execution of services based on business rules is proposed. In this model the volatile portions are externalized as business rules and the stable portions as services. The proof of concept of this approach translates rules which are modeled in a natural language to rules in the model of the instantiated rule engine that invokes the services
Doutorado
Engenharia de Computação
Doutor em Engenharia Elétrica

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Chaim, Marcos Lordello. "Depuração de programas baseada em informação de teste estrutural." [s.n.], 2001. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260286.

Повний текст джерела

Анотація:

Orientadores : Mario Jino, Jose Carlos Maldonado
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-07-29T02:55:55Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_D.pdf: 2145826 bytes, checksum: f79a314fa85dd9e2cc7231a2488a7182 (MD5) Previous issue date: 2001
Doutorado

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Braz, Fabricio Ataides. "Instrumentalização da análise e projeto de software seguro baseada em ameaças e padrões." reponame:Repositório Institucional da UnB, 2009. http://repositorio.unb.br/handle/10482/4089.

Повний текст джерела

Анотація:

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2009.
Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2010-03-22T20:10:06Z No. of bitstreams: 1 2009_FabricioAtaidesBraz.pdf: 1917518 bytes, checksum: 42f52daa34772a1d6e0ae827423602c9 (MD5)
Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-04-06T20:34:48Z (GMT) No. of bitstreams: 1 2009_FabricioAtaidesBraz.pdf: 1917518 bytes, checksum: 42f52daa34772a1d6e0ae827423602c9 (MD5)
Made available in DSpace on 2010-04-06T20:34:48Z (GMT). No. of bitstreams: 1 2009_FabricioAtaidesBraz.pdf: 1917518 bytes, checksum: 42f52daa34772a1d6e0ae827423602c9 (MD5) Previous issue date: 2009
As perdas resultantes de ataques habilitados por falhas de seguranca encontradas no software estao em escala crescente, razao pela qual se demanda novas soluc oes que facilitem na obtenc ao de softwares menos vulneraveis. Nesta tese, foram desenvolvidos instrumentos que possam auxiliar no desenvolvimento de softwares mais seguros que se integrem `a metodologia de desenvolvimento de software seguro baseada em padroes. O primeiro instrumento e representado pela tecnica de elicitac ao de requisitos atividades de abuso, cuja proposta original passou por uma melhoria de modo a incorporar a analise sobre o tipo de ameca (spoofing, tampering, repudiation...) e o papel do atacante. O segundo instrumento compreende um metodo para classificar padroes de seguranca que contempla a necessidade de seus usuarios. O metodo usa uma matriz definida pela divisao do espaco do problema por multiplas dimensoes, permitindo que os padroes ocupem celulas multiplas na matriz. Por fim, encontra-se um prototipo desenvolvido para dar suporte `a analise da atividade de abuso, que faz uso da matriz como metodo para recuperac ao do padrao ideal para controlar as ameacas levantadas. _______________________________________________________________________________ ABSTRACT
The damage from attacks whose root cause is a software security breach has been increasing substantially. As a consequence, an innovation that may turn the software less vulnerable is required. In this dissertation we present some instruments to aid the secure software development, which integrate a methodology to build secure systems based on patterns. The first instrument is a security requirements elicitation approach called misuse activities. This approach has been extended to consider in the analysis the type of misuse (spoofing, tampering, repudiation ...) that can happen in each activity, the role of the attacker, and the context for the threat. The second instrument a classification for security patterns that addresses the needs of users. The approach uses a matrix defined by dividing the problem space along multiple dimensions, and allows patterns to occupy regions, defined by multiple cells in the matrix. Its also presented a prototype tool to aid when applying the misuse activities approach, which adopts the matrix of concerns as the method to recommend the best set of patterns to control the threats.

Стилі APA, Harvard, Vancouver, ISO та ін.

16

RODRIGUES, Yane Wanderley dos Santos. "Um Estudo de Caso sobre o relacionamento entre Personalidade e Motivação de Engenheiros de Software." Universidade Federal de Pernambuco, 2014. https://repositorio.ufpe.br/handle/123456789/17226.

Повний текст джерела

Анотація:

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-06-30T19:23:04Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Ciencia_da_Computacao_Yane_Wanderley.pdf: 1794917 bytes, checksum: 4284c49bf71a40e62a965da124c2c284 (MD5)
Made available in DSpace on 2016-06-30T19:23:04Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_Ciencia_da_Computacao_Yane_Wanderley.pdf: 1794917 bytes, checksum: 4284c49bf71a40e62a965da124c2c284 (MD5) Previous issue date: 2014-03-11
CNPQ
Software é um produto direto do conhecimento, ação e relacionamento entre pessoas com um objetivo específico. Todo trabalhador possui fatores que o motivam e desmotivam, e tais fatores interferem em seu cotidiano, sua rotina de trabalho. Percebe-se então ser de fundamental importância considerar sua motivação no ambiente de trabalho. Porém, motivar um indivíduo é tópico de complexo entendimento, sendo tema de estudo há décadas. Na Engenharia de Software, motivação é considerada um dos fatores mais importantes para o sucesso de um projeto. A personalidade é o conjunto de características dinâmico e organizado possuído por uma pessoa, que influencia unicamente suas cognições, motivações e comportamentos em várias situações (RYCKMAN, 2008). Embora estudada há séculos, com o objetivo de entender a diversidade das pessoas, na Engenharia de Software, o interesse pelo tema vem aumentando à medida que se percebe a importância das relações entre os integrantes de uma equipe durante o desenvolvimento de um sistema. Beecham et al (2007) realizou um revisão sistemática, posteriormente atualizada por França (2009). Nela afirma-se que as características de personalidade controlam o que motivará e desmotivará o engenheiro de software. Porém, ainda há poucos estudos que exploram o relacionamento entre motivação e personalidade. Sendo assim, compreender melhor o engenheiro de software e suas atitudes no ambiente de trabalho se mostra relevante para o relacionamento numa equipe, proporcionado a possibilidade da realização de projetos com maior chance de sucesso. Este trabalho investigou o relacionamento entre a motivação e a personalidade do indivíduo no contexto da Engenharia de Software. Foi realizado um estudo de caso, com a participação de 9 engenheiros de software, profissionais de uma organização privada. Aplicou-se um questionário de personalidade e entrevistas de motivação. Os dados obtidos foram analisados e o relacionamento entre os dois construtos analisados. O resultado foi um conjunto de proposições que retratam formas com as quais motivação e personalidade se relacionam, além de um conjunto de resultados secundários, que, após análise crítica, verificou-se se deram suporte ou não aos resultados encontrados em outros estudos relacionados a este.
Software is a direct product of knowledge, action and relationship between people with a specific goal. Every worker has factors that motivate and demotivate them, and such factors interfere in their daily lives, their work routine. It is noticed then be of utmost importance to consider their motivation in the workplace. However, motivating an individual is understanding complex topic, and the subject of study for decades. On Software Engineering, motivation is considered one of the most important for project success factors. Personality is the dynamic and organized set of characteristics possessed by a person that uniquely influences their cognitions, motivations, and behaviors in various situations (RYCKMAN, 2008). Although studied for centuries, with the aim of understanding the diversity of people, in Software Engineering, interest in the topic has increased as they realize the importance of relationships among members of a team while developing a system. Beecham et al (2007) conducted a systematic review subsequently updated by France (2009). It states that the personality characteristics control what will motivate and desmotivate the software engineer. However, there are few studies that explore the relationship between motivation and personality. Therefore, to better understand the software engineer and your attitudes in the workplace seem to be relevant to the relationship a team, providing the possibility of realization of projects with the greatest chance of success. This study investigated the relationship between motivation and personality of the individual in the context of Software Engineering. A case study was conducted with the participation of 9 software engineers, professionals from a private organization. We applied a questionnaire of personality and motivational interviewing. The data were analyzed and the relationship between the two constructs analyzed. The data were analyzed and the relationship between the two constructs analyzed. The result was a set of propositions that depict ways in which motivation and personality relate, plus a set of secondary outcomes, which, after critical analysis, we determined whether or did not support the results found in other studies related to this.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Silva, Júnior Leonardo Bezerra. "Investigando a refatoração automática de software baseada em algoritmos de otimização multiobjetivos." Universidade Federal de Sergipe, 2014. https://ri.ufs.br/handle/riufs/3335.

Повний текст джерела

Анотація:

Refactoring is a process that aims to change the code without changing the visible behavior and is used to correct structural problems in software, arising from unplanned maintenance or an unstructured development process. The mechanisms behind the refactoring process, however, are relatively complex and dangerous if done manually (for each refactoring is necessary to evaluate a number of pre and post-conditions to ensure that the behavior is not changed). Many current development tools facilitate the refactorings usage, but in a semiautomatic way, so that the programmer must detect the need for a specific refactoring. New techniques have emerged in an effort to approximate the software engineering to other engineerings with respect to process automation. In this context, the application of search algorithms arises as a means to provide support to software maintenance by automatically applying refactorings. This work fits in this context, Search-Based Software Refactoring, and investigates in detail the topic, including the proposition of a specific algorithm for the area, entitled MultiObjective Particle Swarm Optimization with Path Relinking (MOPSOPR). An open source framework which enables the search and automatic application of refactoring sequences has also been proposed. This framework allows exploration of the problem of automatic refactoring through various optimization algorithms. In particular, in this msc dissertation, the framework is used to enable comparative analysis of the proposed algorithm with the most used algorithm in the literature of this subject, the Non-Dominated Sorting Genetic Algorithm-II (NSGA-II). Several experiments were conducted, which included real-world softwares. Despite showing some positive results, the overall assessment does not indicate a unanimous superiority of the proposed algorithm compared to the NSGA-II in several experiments. However, the study revealed interesting research frontiers to be explored in future work.
Refatoração é um processo que objetiva a mudança de código sem a mudança de comportamento visível e é utilizada para corrigir problemas estruturais no software, advindos de manutenções sem planejamento ou de um processo de desenvolvimento desestruturado. Os mecanismos por trás do processo de refatoração, entretanto, são relativamente complexos e perigosos se feitos manualmente (para cada refatoração é preciso avaliar uma série de pré e pós-condições para garantir que o comportamento não seja alterado). Muitas ferramentas de desenvolvimento atuais facilitam as refatorações, mas de forma semiautomatizada, de maneira que o programador deve perceber a necessidade de uma refatoração específica. Novas técnicas tem surgido em um esforço para aproximar a engenharia de software das outras engenharias no que diz respeito à automatização de processos. Neste contexto, a aplicação de algoritmos de busca surge como uma proposta para prover suporte à manutenção de software através da aplicação automática de refatorações. Este trabalho se insere neste contexto, o de Refatoração de Software Baseada em Buscas (do inglês Search-Based Software Refactoring), e investiga detalhadamente o tema, propondo inclusive um algoritmo específico para a área, intitulado MultiObjective Particle Swarm Optimization with Path Relinking (MOPSOPR). Um framework open-source que possibilita a busca e aplicação automática de sequências de refatorações foi também proposto. Este framework permite a exploração do problema de refatoração automática através de vários algoritmos de otimização. Em particular, neste trabalho o framework foi utilizado para viabilizar análises comparativas do algoritmo proposto com o algoritmo mais utilizado na literatura deste tema, o Non-Dominated Sorting Genetic Algorithm- II (NSGA-II). Vários experimentos foram conduzidos, inclusive considerando-se softwares reais. Apesar de apresentar alguns resultados positivos, a avaliação geral não indica uma superioridade unânime do algoritmo proposto em relação ao NSGA-II nos diversos experimentos realizados. Entretanto, o estudo realizado revelou interessantes fronteiras de investigação a serem exploradas em trabalhos futuros.

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Vedoato, Roberto. "Abordagem baseada em objetivos para construção de casos de uso e cenários." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2003. http://hdl.handle.net/10183/3610.

Повний текст джерела

Анотація:

Para o desenvolvimento de sistemas interativos que respeitem critérios de usabilidade em adição aos critérios de qualidade convencionais, é necessário que, desde suas primeiras etapas, as áreas de Engenharia de Software (ES) e de Interação Humano- Computador (IHC) sejam consideradas, simultaneamente e de maneira integrada. Essas duas áreas investigam modelos, conceitos, técnicas e práticas que refletem diferentes perspectivas sobre a atividade de desenvolvimento, uma orientada mais ao sistema (ES) e outra, mais ao usuário (IHC). Para conciliar estas perspectivas, é necessário o estabelecimento de um entendimento mútuo e a utilização conjunta e integrada de conceitos, técnicas e práticas de desenvolvimento de ambas as áreas. Este trabalho visa mostrar as possibilidades desta integração, através da combinação dos conceitos de Casos de Uso (Use Cases) e Cenários (Scenarios), importantes técnicas de modelagem amplamente utilizadas respectivamente nas áreas de ES e IHC, em diferentes contextos, com diferentes visões; mas apresentando similaridades valiosas para propiciarem o uso complementar de ambas as técnicas. Para sistematizar esta integração, é proposta uma abordagem teleológica – baseada em objetivos – de construção sistemática de casos de uso com quatro diferentes níveis de abstração, desde os mais abstratos casos de uso essenciais até os cenários, aqui utilizados como instâncias concretas de casos de uso. Com esta abordagem, pretende-se construir um modelo de casos de uso que permita especificar requisitos funcionais, conjuntamente com requisitos de interação, de maneira compreensível e praticável e que sirva como ponto de partida à continuidade do desenvolvimento orientado a objetos de software. Com o intuito de exemplificar a proposta, é descrita e discutida a aplicação passo a passo desta abordagem a um exemplo.

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Scheeren, Ismael. "Comparação entre método centrado em documentos e de engenharia de sistemas baseada em modelos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2013. http://hdl.handle.net/10183/110047.

Повний текст джерела

Анотація:

Na busca de maior flexibilidade, agilidade, reuso e consequente redução de custos, esforços tem sido direcionados no sentido de desenvolver métodos e ferramentas de engenharia de sistemas baseados em modelos. Apesar dos avanços recentes, as tecnologias disponíveis ainda despertam dúvidas em relação à sua aplicação prática e seus benefícios. Os maiores obstáculos estão contidos na dificuldade da integração entre ferramentas e troca de informações entre artefatos de diferentes disciplinas. Com o objetivo de comparar a Engenharia Centrado em Documentação (ferramentas CAx) com a Engenharia de Sistemas Baseada em Modelos (MBSE), esse trabalho utilizou um domínio industrial real para extrair, analisar e comparar dados quantitativos e qualitativos do projeto de engenharia. Foi desenvolvido um método de engenharia baseada em modelos com o uso da ferramenta Eclipse para a comparação com o método de engenharia vigente. A linguagem ModelicaML foi utilizada para criar os modelos abstratos enquanto que a ferramenta COMOS® da Siemens® foi utilizada para a realização dos artefatos técnicos multidisciplinares do domínio em estudo. O software OpenModelica foi utilizado para simular o comportamento do sistema a partir da transformação do modelo abstrato para código Modelica com o uso de software escrito em Java. Os dados de engenharia e de gerenciamento do projeto do Sistema de Circulação de Água foram disponibilizados pela General Electric Inspection Technologies GmbH e foram utilizados para a comparação entre os dois métodos analisados. Os testes demonstraram que as ferramentas MBSE necessitam de refinamento, principalmente quando conectam os modelos abstratos às plataformas de execução de projetos. Em contrapartida, MBSE se mostrou uma excelente ferramenta na comunicação entre equipes multidisciplinares, pois proporciona uma linguagem de representação de sistemas abstrata e abrangente. A interligação dos modelos abstratos desenvolvidos em ModelicaML com a plataforma de simulação usando linguagem Modelica foi fundamental na análise e melhor compreensão dos fenômenos envolvidos no processo técnico propiciando um importante avanço na antecipação da detecção de erros em projetos de sistemas de automação.
Achieving more flexibility, agility, reuse and consequently cost reduction in scope of Systems Engineering is an industrial need. In that sense, efforts have been driven to develop Model-Based Systems Engineering tools and methods. Despite of recent progress, there are still doubts in terms of the practical use and benefits. The main issues are related to tool integration and exchange of information between multidisciplinary artifacts. This project is intended to compare Document-Based Engineering (CAx tools) and Model-Based Systems Engineering (MBSE) in scope of Industrial Automation using a real domain. Therefore, a MBSE methodology was developed centered on the Eclipse tool. The ModelicaML language was used to perform abstract modeling while COMOS® from Siemens® was used to develop the multidisciplinary artifacts necessary for the domain under investigation. Furthermore, the OpenModelica environment was used to simulate system and component behavior using object codes generated by a Java tool from the abstract models. The engineering and project management data of the Water Circulation System were made available by General Electric Inspection Technologies GmbH, which served as the case study for this comparison. Tests have shown that the tools involved on this investigation still need further development concerning maturity and exchange of information from abstract models down to domain models. On the other hand, MBSE has proven to be an important tool to match different team approaches and concerns helping on communication using conceptual-wide and abstract symbols. Connecting abstract models from ModelicaML to a simulation environment using Modelica language have been proven to be an important approach to better understand systems behavior and provided an analysis environment for early detection of errors and failures.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Neuwald, Felipe Barp. "Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML." Pontifícia Universidade Católica do Rio Grande do Sul, 2008. http://hdl.handle.net/10923/1653.

Повний текст джерела

Анотація:

Made available in DSpace on 2013-08-07T18:43:26Z (GMT). No. of bitstreams: 1 000406275-Texto+Completo-0.pdf: 5088741 bytes, checksum: 77356f5ee18c1f01b23fcf0d1843be33 (MD5) Previous issue date: 2008
Performance evaluation of an object oriented software nowadays can be done, basically, by three different kinds of methods: Stress Testing, Simulations or Analytic Methods, like Stochastic Automata Networks or Queuing Networks. Stress Testing is an efficient method, but could only be performed on final phases of a software development process when the final product is almost finished. Simulations can be performed in initial phases of a software development process, but usually at a high cost, because it depends on a creation of a simulator. The Analytic Methods could be performed at the earlier phases of the software development process too, but they require a creation of a performance evaluation model. ln the object oriented software development a model is created, which contains detailed information about the system. This information could be used to generate a performance evaluation model, since many of the information containing on each other are common. Following that idea researches were made generating methods for conversion of UML diagram into performance evaluation methods, for example, to Queuing Network. However, does not exist a method or technique that converts UML to formalisms like SAN, which has a higher representative power then Queuing Networks. This work will present a technique for converting UML diagrams into Stochastic Automata Networks focusing on the representation of the logical architecture of object oriented softwares.
A avaliação de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de três maneiras: com testes de desempenho, simulações ou utilizando métodos analíticos como redes de Autômatos estocásticos e redes de filas de espera. Os testes de desempenho são eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simulações podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software porém, geralmente, são custosas, pois dependem da criação de um simulador. Os métodos analíticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a criação de um modelo de avaliação de desempenho. No desenvolvimento de software orientados a objetos já se constrói um modelo, o qual possui informações detalhadas sobre o sistema. Estas informações podem ser utilizadas para gerar um modelo de avaliação de desempenho que represente o software já que muitas das informações contidas no modelo do software são comuns ao modelo de avaliação de desempenho. Utilizando esta idéia foram criados alguns métodos de conversão de UML para formalismos de avaliação de desempenho como redes de filas de espera. Porem, ainda inexiste métodos ou técnicas que convertem UML para formalismos como SAN, que é mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma técnica de conversão de UML para SAN, onde explora-se a representação da arquitetura lógica de software orientados a objetos.

Стилі APA, Harvard, Vancouver, ISO та ін.

21

ROCHA, Rodrigo Gusmão de Carvalho. "Uma abordagem baseada em ontologias e raciocínio baseado em casos para apoiar o desenvolvimento distribuído de software." UNIVERSIDADE FEDERAL DE PERNAMBUCO, 2015. https://repositorio.ufpe.br/handle/123456789/15008.

Повний текст джерела

Анотація:

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-27T16:49:26Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TeseRodrigo-VersaoCORRETA.pdf: 3944929 bytes, checksum: dc865365ba68c88ed986c5498d77b3f8 (MD5)
Made available in DSpace on 2016-01-27T16:49:26Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TeseRodrigo-VersaoCORRETA.pdf: 3944929 bytes, checksum: dc865365ba68c88ed986c5498d77b3f8 (MD5) Previous issue date: 2015-02-20
Como reflexo da globalização, empresas de software começaram a distribuir seus processos de desenvolvimento em lugares diferentes, criando o Desenvolvimento Distribuído de Software (DDS). A distribuição de equipes no desenvolvimento de software trouxe uma série de novos desafios, tais como, comunicação e compartilhamento de informação. Um outro problema é que pela falta de conhecimento dessas organizações, estas resolvem seus problemas de forma independente e de diversas maneiras diferentes, cada uma com suas práticas, algumas mais e outras menos eficientes, onde as melhores práticas são pouco difundidas na comunidade DDS. A utilização de conceitos e técnicas da Inteligência Artificial é bastante utilizado para aperfeiçoar o funcionamento de alguns sistemas e processos. Neste caso, este trabalho expõe três conceitos fundamentais: 1) o uso de Ontologias que permite a formalização do conhecimento de um domínio. Em ambientes distribuídos, a utilização de Ontologias traz alguns benefícios como compreensão uniforme das informações entre as equipes e facilidade de comunicação. Adicionalmente, conceitos como 2) Raciocínio Baseado em Casos (RBC) e 3) Processamento de Linguagem Natural (PLN) também podem ser utilizados para se tentar fazer um melhor uso de experiências já vivenciadas com intuito de mitigar possíveis problemas. Desta maneira, o objetivo desta pesquisa é propor um mecanismo baseado em ontologias que possa extrair e recomendar informações relevantes para apoiar decisões em projetos de software com times distribuídos sendo de fato uma solução viável na resolução de problemas nesse contexto. Para levantamento do estado da arte dessa pesquisa, foi realizado um mapeamento sistemático, que identificou 51 estudos primários. Estes apresentam técnicas, modelos e ferramentas que utilizam ontologias para auxiliar equipes distribuídas, bem como ontologias propostas nesse contexto. Dessa forma, os resultados principais deste trabalho são: 1) uma ontologia específica para times distribuídos de software, 2) sua ferramenta de manipulação e acesso à informação e 3) o sistema de RBC utilizando PLN. Assim, através dos resultados constatados nos testes realizados, é possível afirmar que houve uma taxa de sucesso de 91,67% na recomendação das soluções para possíveis problemas. Essa abordagem auxilia os times distribuídos recomendando técnicas ou melhores práticas para evitar ou solucionar os desafios encontrados.
As an effect of globalization, software companies began to distribute the development process along different places, which led to the rise of Distributed Software Development (DSD). The multisite nature of DSD brings with it many new challenges, such as communication issues and sharing information efficiently. The fact that these companies have a tendency to face these challenges in an individual and isolated fashion poses another important problem, this way, good practices are thus not widespread in the DSD community. In other contexts, concepts and techniques from Artificial Intelligence are heavily used for improving how some systems and processes work. This work makes use of three of these concepts: Ontologies, Case-based Reasoning (CBR) and Natural Language Processing (NLP). Ontologies allow the formalization of a domain's knowledge, which applied to distributed development environments will bring benefits like a uniform comprehension of the information shared by the teams and ease of communication. CBR and NLP also have an important role in the attempt of making better use of past experiences, with the purpose of mitigating potential problems. An approach based on Ontologies and Case-Based Reasoning is proposed: an access tool to the ontology and a CBR tool that utilizes PLN, whose purpose is to support the entire software development process for distributed teams by recommending techniques or best practices for avoiding or solving potential challenges that may be faced. The state-of-the-art survey for this research consisted in a systematic mapping that retrieved 51 primary researches. These researches present techniques, models and tools that use ontologies for supporting distributed teams, as well as the proposed ontologies for this context. Thus, the main results of this work are: 1) a specific ontology for distributed teams of software, 2) its manipulation tool and access to information and 3) the RBC system using PLN. Thus, by the results observed in the tests, it is clear that there was a 91.67% success rate on the recommendation of solutions to possible problems. This approach helps teams distributed recommending techniques or best practices to avoid or solve the challenges encountered.

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Chiarello, Marcos Antonio. "Abordagem para a elicitação de requisitos de software baseada em modelo de processo de negócio." Universidade Tecnológica Federal do Paraná, 2013. http://repositorio.utfpr.edu.br/jspui/handle/1/882.

Повний текст джерела

Анотація:

A alta competitividade entre as organizações empresariais exige constante inovação e evolução em seus processos produtivos, necessitando que seus sistemas de informação sejam produzidos e modificados com a mesma agilidade. A elicitação dos requisitos, no entanto, ainda é feita por meio de métodos empíricos sem efetiva garantia de seu alinhamento com os problemas e necessidades inerentes ao negocio. Deste contexto, a Engenharia de Software necessita de mecanismos mais precisos para uma etapa, do processo de desenvolvimento, que é considerada crítica para o sucesso do desenvolvimento do software. Este trabalho realiza o desenvolvimento de uma abordagem para elicitação de requisitos de software por meio da notação para modelagem de negocio BPMN - Business Process Model and Notation, definida pela OMG - Object Management Group. Do ponto de vista da abordagem do problema é utilizada a pesquisa qualitativa, pois privilegia questões conceituais, padrões, opiniões expressas e suas respectivas análises e, sob o ponto de vista dos procedimentos técnicos, é baseada em estudos de caso. Como resultado desta dissertação foi criada uma abordagem para a elicitação de requisitos para o desenvolvimento de sistemas de informação baseado na notação BPMN para a modelagem de processos de negócios. Com a finalidade de verificar a viabilidade da utilização da abordagem proposta, foram realizados estudos de caso.
High competitivity among business organizations demands constant inovation and evolution of productive processes of companies, also pushing the same agility to development and modification of information systems. Besides that, elicitation of software requirements are still made using empiric methods without a warranty of its alignment with business problems and needs. Software Engineering needs better and precise mechaninsms to be used on a phase which is considered critical to the success of software development. This work realize the development of an approach to software requirements elicitation using BPMN - Business Process Model and Notation, defined by OMG - Object Management Group. As an approach to the problem, qualitative research will be used as it favors conceptual questions, patterns, opinions and its respective analysis, and on behalf technical procedures its based on study cases. As result of this research, an approach to elicitation of information systems development requirements was built based on BPMN notation to model business process. In order to check the feasibility of using the proposed approach, were made case studies.

Стилі APA, Harvard, Vancouver, ISO та ін.

23

SANTOS, Leonardo da Costa. "Uma abordagem para a definição de valores de referência de métricas de software baseada em contexto usando redes Bayesianas." Universidade Federal de Campina Grande, 2017. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/330.

Повний текст джерела

Анотація:

Submitted by Lucienne Costa (lucienneferreira@ufcg.edu.br) on 2018-03-28T20:50:30Z No. of bitstreams: 1 LEONARDO DA COSTA SANTOS - DISSERTAÇÃO (PPGCC) 2017.pdf: 1052959 bytes, checksum: 86527931b8f10cbdea926396a36e5169 (MD5)
Made available in DSpace on 2018-03-28T20:50:30Z (GMT). No. of bitstreams: 1 LEONARDO DA COSTA SANTOS - DISSERTAÇÃO (PPGCC) 2017.pdf: 1052959 bytes, checksum: 86527931b8f10cbdea926396a36e5169 (MD5) Previous issue date: 2017
Métricas possuem um papel fundamental no processo de gerenciamento da qualidade de software. Apesar dos seus potenciais benefícios, elas geralmente são utilizadas apenas para quantificação, não oferecendo suporte adequado à tomada de decisão durante o ciclo de vida do software. Para potencializar a utilização das métricas, é essencial definir valores de referência significativos (i.e., thresholds), atribuindo, assim, significado para os números coletados. O objetivo deste trabalho é apresentar uma abordagem para definição de valores de referência de métricas de software de acordo com o contexto do projeto. A abordagem consiste em definir os fatores de contexto que influenciam os valores de referência da métrica em questão a partir de conhecimento elicitado de especialistas. Essas informações são utilizadas para construir uma rede Bayesiana que pode ser utilizada para auxiliar na tomada de decisão. A solução proposta foi avaliada por meio de um estudo piloto realizado com três gerentes de projetos reais de desenvolvimento de software. Os dados foram coletados com os profissionais para construir redes Bayesianas, para identificar e validar os valores de referência para as métricas Número de Bugs Minor, Número de Alertas de Análise Estática e Porcentagem de Cobertura de Código. A abordagem proposta mostrou-se promissora para auxiliar os profissionais a identificar valores de referência representativos, potencializando tomadas de decisões mais assertivas no processo de gerenciamento de projetos de software
Metrics play a key role in the software quality management process. Despite their potential benefits, they are generally only used for quantification, not providing adequate support to the decision-making process during the software’s life cycle. To enhance the use of metrics, it is essential to define meaningful reference values (i.e., thresholds), thus giving meaning to the data collected. This work aims to propose an approach to define the software metrics’ reference values according to the project’s context. The approach consists of using the specialists’ elicited knowledge to define context factors that influence the metric’s reference values. This information is used to build a Bayesian network that can be used to aid in the decision-making process. The proposed solution was evaluated through a pilot study conducted with three managers of real software development projecst. Data were collected from the software project managers in order to build Bayesian networks to identify and validate reference values for the Number of Minor Bugs, the Number of Static Analysis Alerts, and the Code Coverage Percentage metrics. Each metric was validated in three scenarios. The proposed approach has shown to be promising in helping professionals to identify representative reference values, promoting a more assertive decision making when it comes to the software project management process

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Degan, Joyce Otsuka Cortes. "Integração de dados corporativos : uma proposta de arquitetura baseada em serviços de dados." [s.n.], 2005. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276489.

Повний текст джерела

Анотація:

Orientador: Claudia Maria Bauzer Medeiros
Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-06T01:54:46Z (GMT). No. of bitstreams: 1 Degan_JoyceOtsukaCortes_M.pdf: 741022 bytes, checksum: fd622b661f3e290b2e182bc5666dc8f3 (MD5) Previous issue date: 2005
Resumo: A necessidade da integração de dados em ambientes empresariais, apesar de antiga, ainda é um problema crucial a ser resolvido para a maioria das empresas, permitindo integração entre clientes, parceiros e fornecedores. Fusões e aquisições corporativas conjugadas com sistemas legados resultantes de diferentes implementações, por diferentes fornecedores em diferentes momentos tecnológicos, resultam em uma base distribuída, redundante, heterogênea e de difícil gerenciamento. A integração necessita de mecanismos confiáveis e procedimentos integrados para assegurar a consistência, segurança e controle dos dados corporativos. As soluções para integração de dados disponíveis no mercado ainda têm uma visão fragmentada da integração nesse nível. Este trabalho analisa problemas encontrados na prática em ambientes empresaruus para integração de dados que considera todos esses fatores e propõe uma arquitetura para a solução desses problemas. A arquitetura combina enfoques .de bancos de dados, sistemas distribuídos e soluções atuais do ponto de vista de serviços e sistemas Web
Abstract: The need for data integration in enterprises dates back to several decades. However, it is still a pressing problem for most environments, since it is seen as a means to allow integration among customers, partners and suppliers. Besides needs that arise from fusion of companies, there is always the issue of legacy systems that result from distinct implementations in different technologies. The resulting scenario is a distributed set of files and databases, which are redundant heterogeneous and hard to manage. Data integration requires reliable mechanisms, as well as an integrated set of procedures to ensure consistency, security and control of corporate data. Offthe shelf solutions still provide fragmented views of data integration. This work analyzes problems found in enterprises during data integration processes, taking alI previously mentioned factors into consideration. It proposes an architecture to solve these problems. The solution combines research in databases, distributed systems, and Web services and systems
Mestrado
Mestre em Ciência da Computação

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Souza, Draylson Micael de. "Ensino e aprendizado de fundamentos de programação: uma abordagem baseada em teste de software." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19072012-101604/.

Повний текст джерела

Анотація:

O ensino de fundamentos de programação não é uma tarefa trivial muitos estudantes têm dificuldades em compreender os conceitos abstratos de programação e possuem visões erradas sobre a atividade de programação. Uma das iniciativas que tem sido investigada a fim de amenizar os problemas associados refere-se ao ensino conjunto de conceitos básicos de programação e de teste de software. A introdução da atividade de teste pode ajudar o desenvolvimento das habilidades de compreensão e análise nos estudantes. Além disso, aprendendo teste mais cedo os alunos podem se tornar melhores testadores e desenvolvedores. Seguindo esta tendência, em trabalhos anteriores foram investigados alguns mecanismos de apoio ao ensino integrado de fundamentos de programação e teste. Dentre os mecanismos investigados destaca-se a proposição de um ambiente de apoio para submissão e avaliação automática de trabalhos práticos dos alunos, baseado em atividades de teste de software PROGTEST. Em sua primeira versão, a PROGTEST foi integrada à ferramenta JABUTISERVICE, que apoia o teste estrutural de programas escritos em Java. O presente projeto de mestrado visou a dar continuidade aos trabalhos já realizados, tendo como principal objetivo a identificação e integração de diferentes ferramentas de teste ao ambiente PROGTEST, explorando tanto técnicas e critérios de teste diferenciados como linguagens de programação distintas. O ambiente PROGTEST também foi aplicado e validado em diferentes cenários de ensino, considerando diferentes linguagens e técnicas de teste. Em linhas gerais, os resultados evidenciam a viabilidade da aplicação do ambiente em cenários de ensino e aprendizagem
The teaching of programming foundations is not a trivial task - many students have difficulty to understand the abstract concepts of programming and have wrong views about the programming activity. Initiatives have been investigated in order to address the related issues. One of them refers to the integrated teaching of programming foundations and software testing. The introduction of testing can help students to develop programming comprehension and analysis skills. Moreover, teaching testing earlier could become the students better testers and developers. Following this perspective, previous studies have investigated mechanisms to support the integrated teaching of programming foundations and software testing. Among them, we highlight the proposition of a environment for the submission and automatic evaluation of programming assignments, based on testing activities - PROGTEST. In its first version, PROGTEST was integrated with JABUTISERVICE tool, which supports the structural testing of Java programs. This work aims at identifying and integrating different testing tools to the PROGTEST environment, exploring both different testing criteria and different programming languages. The PROGTEST environment was also applied and validated in different teaching scenarios, with different languages and testing techniques. In general, the results show the feasibility of applying the environment in the integrated teaching of programming foundations and software testing

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Fantinato, Marcelo. "Uma abordagem baseada em caracteristicas para o estabelecimento de contratos eletronicos para serviços Web." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276212.

Повний текст джерела

Анотація:

Orientadores: Maria Beatriz Felgar de Toledo, Itana Maria de Souza Gimenes
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-08-09T18:54:25Z (GMT). No. of bitstreams: 1 Fantinato_Marcelo_D.pdf: 3209399 bytes, checksum: 13b34fd65beb74d94dbaf8aa344ab705 (MD5) Previous issue date: 2007
Resumo: Contratos eletrônicos descrevem processos de negócio interorganizacionais em termos de fornecimento e consumo de serviços eletrônicos (atualmente serviços Web). O estabelecimento de contratos eletrônicos em um determinado domínio de negócios normalmente envolve um conjunto de pontos comuns e pontos de variação bem definidos. Essas propriedades não são completamente exploradas pelas abordagens existentes para o estabelecimento de contratos eletrônicos. Modelos de características têm sido amplamente usados para capturar e gerenciar pontos comuns e variabilidades em famílias de produtos no contexto de linha de produto de software. Esta tese apresenta uma abordagem baseada em modelos de características para ser aplicada no estabelecimento de contratos eletrônicos para serviços Web. Seu objetivo é melhorar a estruturação e o reuso de informação em contratos eletrônicos, incluindo atributos de qualidade de serviço. Características são usadas para representar possíveis elementos de contratos eletrônicos para serviços Web com o objetivo de orientar a criação de instâncias de molde de contrato eletrônico e atuar, portanto, como um gerenciador de espaço de configuração. A abordagem proposta usa as linguagens WS-BPEL e WS-Agreement para especificar, respectivamente, processos de negócio e atributos de qualidade de serviço. Para oferecer apoio automatizado à abordagem proposta, um conjunto de ferramentas, chamado FeatureContract, foi desenvolvido como parte deste trabalho. Para demonstrar aplicabilidade da abordagem, foi realizado um estudo de caso dentro do contexto de sistemas para telecomunicações
Abstract: Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). The establishment of electronic contracts in a particular business domain usually involves a set of well-defined common and variation points. These properties are not fully exploited by the existing electronic contract establishment approaches. Feature modeling is a software engineering technique that has been widely used for capturing and managing commonalities and variabilities of product families in the context of software product line. This thesis presents a feature-based approach to be applied in the establishment of Web services electronic contracts. The approach aims at improving the structure and reuse of information in electronic contracts, including quality of service attributes. Features are used to represent possible elements in Web services electronic contracts in order to drive contract template instantiation and act, therefore, as a configuration space manager. The proposed approach uses WS-BPEL and WS-Agreement languages to specify business processes and quality of service attributes respectively. To provide automatic support for the proposed approach, a toolkit, named FeatureContract, was developed as part of this work. Aiming at demonstrating the approach applicability, a case study was carried within the telecommunication systems context
Doutorado
Sistemas de Informação
Doutor em Ciência da Computação

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Medeiros, Otavio Soares Cavalcante de. "Uma abordagem para migração de aplicações monolíticas para microservices baseada em programação orientada a aspectos." Universidade de Fortaleza, 2018. http://dspace.unifor.br/handle/tede/108440.

Повний текст джерела

Анотація:

Made available in DSpace on 2019-03-30T00:23:41Z (GMT). No. of bitstreams: 0 Previous issue date: 2018-12-14
Recently, organizations are facing difficulties related to the migration of their systems in production from a traditional monolithic architecture to a distributed, decoupled solution based on a set of services developed, deployed and scaled independently, called microservices. An example of success of implementation of this pattern is the Netflix software whose migration process took 10 years due to the complexity involved in migrating a solution that was already in production with a vast customer base. This work proposes an approach for migrating monolithic systems to microservices based on the concept of aspect-oriented programming that enables a simple way to implement the migration in a gradual fashion with few code changes. This enables not only to change the monolithic code gradually, but also to switch back to the monolithic easily by switching off the aspects based on configuration properties. A case study conducted demonstrates the efficiency of the approach for migrating a real monolithic application with low effort and few code changes. Keywords: Software Engineering. Architecture. Monolithic. Microservices, Migration Process. Production. Distributed Computing
Recentemente, organizações estão enfrentando dificuldades na migração de seus sistemas em produção de um modelo arquitetural tradicional monolítico para uma arquitetura de solução distribuída e mais desacoplada baseada em um conjunto de serviços desenvolvidos, implantados e escalados de forma independente, chamados microservices. Um exemplo de sucesso de implementação deste padrão é o software Netflix cujo processo de migração levou 10 anos devido à complexidade envolvida em migrar uma solução já em produção e com uma vasta base de clientes. Este trabalho propõe uma abordagem para a migração de sistemas monolíticos para microservices baseado no conceito de programação orientada a aspectos, que permite uma maneira simples de realizar a migração de forma gradual e com poucas modificações no código do monolítico. Isso permite não apenas migrar a aplicação aos poucos, mas também voltar para o monolítico facilmente apenas através da desativação dos aspectos baseado em propriedades de configuração. Um Estudo de caso realizado demonstra a eficácia da abordagem na migração de uma aplicação real monolítica com pouco esforço e poucas modificações no código. Palavras-Chave: Engenharia de Software. Arquitetura. Monolítico. Microservice. Processo de Migração. Produção. Computação Distribuída

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Lima, Alysson Alves de. "Seleção automatizada de serviços web baseada em métricas funcionais e estruturais." Universidade Federal da Paraíba, 2016. http://tede.biblioteca.ufpb.br:8080/handle/tede/9037.

Повний текст джерела

Анотація:

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-06-29T15:06:59Z No. of bitstreams: 1 arquivototal.pdf: 2340814 bytes, checksum: bdce9ccd956442015a53d57f06a00741 (MD5)
Made available in DSpace on 2017-06-29T15:06:59Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2340814 bytes, checksum: bdce9ccd956442015a53d57f06a00741 (MD5) Previous issue date: 2016-08-23
Software Engineering is a discipline that encompasses all aspects of the production of a software system, from the early stages of the system specification to maintenance, when the system is already being used. A very interesting area in Software Engineering is software reuse, which impacts positively on reducing time, costs and risks in software development processes. Therefore, it can be stated that software reuse improves not only the software development process, but also the product itself. One of the main approaches for software reuse is service oriented development, which adopts the Service-Oriented Architecture (SOA) paradigm. In SOA, services represent a natural evolution of component-based development, and therefore can be defined as loosely coupled, reusable software components, that encapsulate discrete functionality, can be distributed and remotely accessed through coding. It is important to highlight that while SOA is an architectural paradigm for developing software systems, Web Services represent the most widely existing technology adopted to implement SOA exploring protocols based on Internet standards and on XML. With the growth of the market and the use of web services, the tendency is always increase the number of services available for assembly applications in different contexts, making impractical the task of manually selecting the services required to compose a software system. Consequently, one can state that the effort needed to select the required services tends to increase more and more, creating a problem with a large and complex search space, making it necessary the automation of the selection process based on metaheuristic search techniques. In this context, the proposed work aims to automate the web services selection process using techniques of Search-Based Software Engineering, in which the selection strategy is guided by structural and functional metrics that have the purpose of evaluating the similarity between the specifications and respective implementations of candidate services as well as their dependencies, thus reducing the effort of adaptation and integration of web services developed by different suppliers.
Engenharia de Software é uma disciplina que engloba todos os aspectos da produção de um sistema de software, incluindo desde os estágios iniciais da especificação do sistema até sua manutenção, quando o sistema já está sendo utilizado. Uma área de estudo bastante interessante da Engenharia de Software é o reuso de software, que impacta positivamente na redução do tempo, dos custos e dos riscos provenientes de um processo de desenvolvimento de software. Portanto, é possível afirmar que o reuso de software melhora, não apenas o processo de desenvolvimento de software, mas também o próprio produto. Uma das principais abordagens de reuso de software é o desenvolvimento orientado a serviços, que adota o paradigma da Arquitetura Orientada a Serviços (SOA – Service-Oriented Architecture). No paradigma SOA, serviços representam uma evolução natural do desenvolvimento baseado em componentes, e, portanto, podem ser definidos como componentes de software de baixo acoplamento, reusáveis, que encapsulam funcionalidades discretas, que podem ser distribuídos e acessados remotamente de forma programática. É importante destacar que, enquanto SOA é um paradigma arquitetural para desenvolvimento de sistemas de software, serviços web (web services) representam a tecnologia existente mais amplamente adotada para implementar SOA explorando protocolos baseados em padrões da internet e em XML (eXtensible Markup Language). Com o crescimento do mercado e utilização dos serviços web, a tendência é sempre aumentar o número de serviços disponíveis para montagem de aplicações em diferentes contextos, tornando impraticável a tarefa de selecionar de forma manual os serviços requeridos para compor um sistema de software. Consequentemente, é possível afirmar que o esforço necessário para selecionar os serviços requeridos tende a aumentar cada vez mais, gerando um problema com um grande e complexo espaço de busca, tornando necessária a automatização do processo de seleção baseada em técnicas de busca metaheurística. Neste contexto, o trabalho proposto visa automatizar o processo de seleção de serviços web utilizando técnicas da Engenharia de Software Baseada em Buscas, cuja estratégia de seleção é orientada por métricas funcionais e estruturais, que têm o propósito de avaliar a similaridade entre as especificações e as respectivas implementações dos serviços candidatos, bem como as suas dependências, reduzindo assim o esforço de adaptação e integração de serviços web desenvolvidos por fornecedores distintos.

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Lourenço, Vanessa Cristina. "Inter-OA : uma metodologia para produção de objetos de aprendizagem baseada em princípios de design instrucional e engenharia de software." reponame:Repositório Institucional da UFABC, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Beder, Delano Medeiros. "Uma arquitetura de software baseada em padrões de projeto para o desenvolvimento de aplicações concorrentes confiaveis." [s.n.], 2001. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276503.

Повний текст джерела

Анотація:

Orientador : Cecilia Mary Fischer Rubira
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação
Made available in DSpace on 2018-07-29T03:01:20Z (GMT). No. of bitstreams: 1 Beder_DelanoMedeiros_D.pdf: 6260164 bytes, checksum: a5ce8b558373ebd1cec526a6993f9999 (MD5) Previous issue date: 2001
Resumo: Sistemas computacionais complexos estão sujeitos a diferentes tipos de falhas, e a maneira mais adequada de lidar com tais falhas é aceitar que qualquer sistema pode apresenta-lás e empregar técnicas apropriadas para tolerá-Ias durante a execução do sistema. Desta forma, a abordagem mais apropriada para a construção de sistemas complexos confiáveis consiste na utilização de técnicas de tolerância a falhas que nos permitem definir regiões de confinamento e recuperação de erros. No entanto, técnicas de tolerância a falhas são geralmente utilizadas na fase de implementação do ciclo de desenvolvimento do sistema. Desta forma, não é freqüentemente fácil empregá-las, desde que projetistas necessitam levar em conta muitos detalhes de implementação. Neste contexto, este trabalho faz duas contribuições relevantes. A primeira contribuição é a utilização prática de técnicas recentes de estruturação de sistemas na definição de uma arquitetura de software genérica para introduzir atomicidade, redundância de software, tratamento de exceções e recuperação de erros coordenada no desenvolvimento de sistemas orientados a objetos confiáveis durante o ciclo de desenvolvimento do sistema, iniciando-se na fase de projeto arquitetural passando pelo projeto detalhado e terminando na fase de implementaçãojcodificação do sistema. A segunda contribuição é a definição de um conjunto coeso de padrões de projetos que refinam os elementos arquiteturais da arquitetura de software proposta e provêem uma clara e transparente separação de interesses entre a funcionalidade da aplicação e a funcionalidade relacionada à provisão da confiabilidade do sistema
Abstract: Complex computer systems are prone to errors of many kinds, and the most reasonable way of dealing with them is to accept that any complex system has faults and to employ appropriate features for tolerating them during run time. We claim that the most beneficial way of achieving fault tolerance in complex systems is to use system structuring which has fault tolerance measures associated with it. ln this case, structuring units serve as natural areas of error containment and error recovery. However, these techniques are mainly developed for employment at the implementation phase of the system development. Hence, it is not often easy to apply them correctly, as the designers have to take into account many implementation details. ln this context, this work makes two main contributions. The first contribution is the practical employment of recent system structuring techniques in the definition of a generic software architecture for introducing atomicity, exception handling, and coordinated error recovery into dependable object-oriented systems at the earlier phases of system development. That is, from architectural design, through detailed design to coding. The second contribution is the definition of a set of design patterns which refine the architectural elements of the proposed software architecture and provide a clear and transparent separation of concerns between the application functionality, and the functionality related to providing system dependability
Doutorado
Doutor em Ciência da Computação

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Mello, Claudia Alves de Souza. "Metadados para apoio à recuperação de componentes de software baseada em agrupamento por rede neural." Universidade Federal de São Carlos, 2005. https://repositorio.ufscar.br/handle/ufscar/614.

Повний текст джерела

Анотація:

Made available in DSpace on 2016-06-02T19:06:25Z (GMT). No. of bitstreams: 1 DissCASM.pdf: 1200630 bytes, checksum: 31a29b879fb6e724926c4a08c9870967 (MD5) Previous issue date: 2005-08-26
New software development approaches have been proposed in order to permit the increasing of productivity and application quality. Among these approaches, the software development based on components can be evidenced. This approach is characterized by the software component reuse. In order to permit this reuse, it is necessary a repository which is responsible for storing, searching and retrieving software components. In this context, this work aims to identify and model component metadata on databases, allowing the definition of eficient search strategies to retrieve such components. For reaching these goals, information retrieval concepts and the ART-2A self-organizing artificial neural network architecture were adopted. Experiments were conduced to conrm the viability of this proposal.
Novas abordagens de desenvolvimento de software tÍm sido propostas para possibilitar o aumento da produtividade e qualidade das aplicaÁıes. Entre essas abordagens pode-se destacar o desenvolvimento de software baseado em componentes (DBC). Essa abordagem È caracterizada pelo reuso de componentes de software. Para possibilitar esse reuso È necess·rio um repositório que armazene componentes e forneÁa mecanismos eficazes para a sua localização. Nesse contexto, esta pesquisa tem como objetivo identificar e modelar metadados de componentes em um banco de dados possibilitando a definição de estratÈgias de busca eficazes para sua recuperação, o. Para alcançar tais objetivos são utilizados conceitos da área de recuperação de informação e da arquitetura de rede neural artificial auto-organizável ART-2A. São apresentados resultados de experimentos que comprovam a viabilidade da proposta.

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Pretz, Eduardo. "Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2000. http://hdl.handle.net/10183/70704.

Повний текст джерела

Анотація:

Vários métodos de especificação procuram realizar a modelagem de sistemas sob três visões: uma visão funcional, que procura apresentar as informações que trafegam entre os diversos componentes do sistema, uma visão de dados, que apresenta as relações entre as estruturas de dados estáticas do sistema e a visão dinâmica, que mostra as transformações que o sistema pode sofrer ao longo do tempo. Alguns modelos procuram integrar mais de uma visão, mas, em geral, os modelos possuem sérias deficiências ao tentarem representar mais de um aspecto do sistema ao mesmo tempo, sendo necessário o apoio de outros métodos. Este trabalho apresenta um método de especificação de sistemas que procura integrar a modelagem de dados com a modelagem funcional e dinâmica utilizando-se, para isso, das Gramáticas de Grafos como método formal de especificação. Sendo um grafo formado por vértices, arestas e rótulos, pode-se facilmente criar uma camada de abstração em que o usuário (em geral responsável pela análise de sistemas) manipule um método de especificação com o qual já convive, agora com uma semântica formal definida. Espera-se, com a aplicação do método, gerar modelos passíveis de prova, não ambíguos e que promovam um incremento de qualidade no sistema gerado.
Several specification methods try to realize system modeling following three visions: the functional vision, which is based on representing the information exchange among the several components of the system; the data vision, which represents the relations among the static data structures of the system; and the dynamic vision, which presents the transformations the system may endure over the time. Some models exist that try to integrate more than one of these visions, but, in general, they suffer from deficiencies when trying to represent more than one aspect of the system at the same time, in which case the use of other methods is necessary. This work presents a novel method of systems specification that attempts to integrate data modeling with functional and dynamic modelings using, for this, Graph Grammars as its formal specification method. A graph, being made of nodes, edges and labels, is appropriate for creating, easily, an abstraction layer in which the user (usually responsible for the system analysis) manipulates a specification method which is known to him, but now with a well defined formal semantics. We hope, by applying this method, to generate provable, unambiguous models which promote an increase in the quality of the generated system.

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Monte-Mor, Juliano de Almeida. "Uma infraestrutura baseada em tecnologias da web semântica para o controle de versão de software." Instituto Tecnológico de Aeronáutica, 2014. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=3187.

Повний текст джерела

Анотація:

Durante o desenvolvimento de software, diversos artefatos inter-relacionados são gerados, tais como: requisitos, modelos, códigos-fonte, entre outros. Apesar das vantagens obtidas com a adoção das ferramentas atuais de controle de versão em projetos de software, os sistemas tradicionais têm controlado as versões no nível de arquivos, dificultando o versionamento dos relacionamentos entre artefatos e a composição de artefatos complexos. Existem poucos esforços no sentido de proporcionar uma granularidade mais fina no controle de versão de artefatos estruturados ou semi-estruturados. Além disto, os principais mecanismos para comparação e fusão de versões encontram-se orientados à linhas de texto, dificultando o cálculo das diferenças entre versões de artefatos estruturados como grafos, e.g., diagramas UML. Assim, os sistemas atuais não proveem uma base apropriada para construção de mecanismos para apoiar atividades da Engenharia de Software (ES), como reusabilidade, rastreabilidade e análise do impacto de mudanças. De forma a mitigar este problema, considerou-se a aplicação de tecnologias da Web Semântica em projetos de software, provendo um formalismo para possibilitar um versionamento com granularidade mais fina e mecanismos automatizados para apoiar outras atividades da Engenharia de Software. Neste contexto, foi proposta uma infraestrutura, denominada GALO, para controle de versão de software, com base nas tecnologias da Web Semântica, buscando proporcionar um versionamento com granularidade mais fina e também reduzir os recursos necessários para o cálculo do delta entre versões. Para isto, considerou-se relacionamentos de agregação no modelo de versionamento, representado por uma ontologia. Além disso, criou-se um método heurístico, chamado ApproxMap, para calcular os deltas entre versões, que pode assumir uma complexidade de O(n2), no seu pior caso. Ele busca encontrar um mapeamento entre blank nodes, i.e., recursos não identificados, de dois grafos RDF, que reduza o tamanho do delta entre versões. Buscando avaliar a infraestrutura GALO, desenvolveu-se uma prova de conceito, com a instanciação da ontologia e a construção de um protótipo. Nela, os conceitos definidos na ontologia retrataram com sucesso as situações exploradas. As tecnologias da Web Semântica também foram aplicadas com sucesso, sendo base para mecanismos que apoiam outras atividades da ES. Elas proporcionaram o controle de versão de relacionamentos entre artefatos, além de verificações, validações e inferências de conhecimentos. O ApproxMap também foi aplicado com sucesso no cálculo do delta de versões dos artefatos da prova de conceito e dos demais experimentos realizados. Ele obteve um desempenho satisfatório, sendo o algoritmo que mais se aproximou dos valores ótimos. Assim, recomenda-se a aplicação da infraestrutura GALO e do seu algoritmo ApproxMap na construção de sistemas para controle de versão de artefatos, como os produzidos por processos com desenvolvimento iterativo e incremental.

Стилі APA, Harvard, Vancouver, ISO та ін.

34

de, Souza Costa Catarina. "Uma abrodagem baseada em evidências para o gerenciamento de projetos no desenvolvimento distribuído de software." Universidade Federal de Pernambuco, 2010. https://repositorio.ufpe.br/handle/123456789/2226.

Повний текст джерела

Анотація:

Made available in DSpace on 2014-06-12T15:55:35Z (GMT). No. of bitstreams: 2 arquivo2269_1.pdf: 2224179 bytes, checksum: ce2767d5b921989420a840ff814bbadf (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010
Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco
Nas últimas décadas, evidências da prática industrial e da literatura científica têm deixado claro que o gerenciamento profissional de projetos é fundamental para o sucesso de projetos co-localizados (tradicionais) de software. Com o aumento das práticas de desenvolvimento distribuído na indústria, novas variáveis, tais como distância e separação física entre equipes, comunicação virtual, diferenças culturais e de fuso horário, foram acrescentadas ao já bastante complexo problema de gerenciar projetos de software. Porém, boa parte dos guias e modelos de suporte ao gerenciamento de projetos foi criada para o desenvolvimento co-localizado e não existe um conhecimento amplamente reconhecido pela literatura que possa apoiar o gerenciamento de projetos distribuídos. Neste contexto, esta pesquisa tem como objetivo identificar o que muda no gerenciamento de projetos quando o desenvolvimento é distribuído e propor uma abordagem para apoiar o gerenciamento destes projetos. O método de pesquisa utilizado foi uma revisão sistemática da literatura que analisou 54 trabalhos publicados entre 1998 e 2009, da qual foram extraídos os maiores desafios, as melhores práticas, os modelos e as ferramentas evidenciados na literatura para o gerenciamento de projetos de desenvolvimento distribuído de software. A partir dos resultados coletados na revisão sistemática, foi construída uma proposta de abordagem baseada em evidências para o gerenciamento de projetos no desenvolvimento distribuído de software, através da relação e combinação de desafios e soluções (melhores práticas, modelos e ferramentas). As principais contribuições deste trabalho para a prática industrial são uma melhor compreensão sobre como as equipes distribuídas devem ser gerenciadas e um guia para o gerenciamento de projetos distribuídos com o qual a gerência, diante dos desafios intensificados pela dispersão da equipe, pode identificar soluções ou boas práticas. Por fim, o trabalho também contribui com as pesquisas na área de desenvolvimento distribuído de software, coletando e sistematizando as evidências existentes sobre o tema e identificando lacunas nos estudos que possibilitem novas pesquisas.

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Oliveira, Cassio Pinheiro. "Tratamento e avaliação postural baseada em sensores vestíveis e de mapeamento dos movimentos do corpo." Universidade de Fortaleza, 2016. http://dspace.unifor.br/handle/tede/100608.

Повний текст джерела

Анотація:

Made available in DSpace on 2019-03-30T00:08:34Z (GMT). No. of bitstreams: 0 Previous issue date: 2016-12-02
According to the World Health Organization, about 85% of the world¿s population suffers from back pain, caused mainly by the incorrect posture. Lower back pain is very prevalent in the adult population and in the adolescent population. For this reason, we propose here the development of a dress composed by flexible sensors that capture all movements performed by the spine, in order to identify postural deviations and assist in postural reeducation. In addition, another contribution of this work is the use of the Microsoft Kinect V2 sensor and the photogrammetry to map the points of the limbs of the human body and to calculate their asymmetry to support specialists in the diagnosis and treatment of postural changes and asymmetries. In order to validate the proposed approaches, students and physiotherapy professionals performed tests and compared the results obtained with traditional methods, showing that both proposed methods are quite promising to diagnose and treat diseases caused by incorrect posture.
De acordo com Organização Mundial de Saúde, cerca de 85% da população mundial sofre com dores na coluna, sendo a principal causa a má postura. As dores na região lombar (lombalgia), são muito prevalentes na população adulta e também na população adolescente, por esta razão, é proposto neste o desenvolvimento de uma vestimenta composta por sensores flexíveis que captura todos os movimentos realizado pela coluna vertebral, sendo capaz de identificar desvios posturais e auxiliar na reeducação postural. Além do mais, outra contribuição deste trabalho, é a utilização do sensor Microsoft Kinect V2 e a fotogametria para mapear os pontos dos membros do corpo humano e calcular sua assimetria para apoiar os especialistas no diagnóstico e tratamento de alterações e assimetrias posturais. Para validar as abordagens propostas, estudantes e profissionais de Fisioterapia realizaram testes e compararam os resultados obtidos com métodos tradicionais, mostrando que ambos os métodos propostos são bastante promissores para diagnosticar e tratar doenças oriundas da má postura.

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Pires, Vanessa Barbisan. "An?lise de impacto de mudan?a de software : uma metodologia baseada em ontologias." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2007. http://tede2.pucrs.br/tede2/handle/tede/5080.

Повний текст джерела

Анотація:

Made available in DSpace on 2015-04-14T14:49:19Z (GMT). No. of bitstreams: 1 421352.pdf: 1990541 bytes, checksum: 50bb269d146dfb27631bf26a1d95c2bf (MD5) Previous issue date: 2007-01-23
Quando um requisito de mudan?a ? solicitado durante um projeto de manuten??o, toda a informa??o referente a ele deve ser rastreada a fim de que seja poss?vel desenvolv?-lo. Nessa realidade est? inserida a an?lise de impacto de uma mudan?a que visa, entre outras coisas, estabelecer a probabilidade de impacto que um artefato ter?. O principal objetivo desse trabalho ? o desenvolvimento de uma metodologia de an?lise de impacto de mudan?a em pro-jetos de manuten??o de software. Para que seja poss?vel realiz?-la, ? preciso rastrear os artefatos que comp?em o sistema. O rastreamento ? realizado pelos conceitos da ontologia gerada durante o processo de desenvolvimento de software a partir do modelo de dom?nio.

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Martins, Daniel Henrique Penna de Oliveira. "Uma abordagem baseada em serviços web semânticos para integração de objetos de aprendizagem." Instituto Tecnológico de Aeronáutica, 2008. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=599.

Повний текст джерела

Анотація:

Esta pesquisa propõe uma abordagem baseada no uso de metadados, serviços web e semântica para integração de conteúdos de aprendizagem, denominados objetos de aprendizagem. Com base nesta abordagem projeta-se e implementa-se um protótipo, que apresenta uma arquitetura em camadas, constituídas por repositórios de metadados, camada de tradução para serviços web, de mediação para serviços web semânticos e aplicação cliente. O protótipo foi utilizado em experimentos e os resultados apresentados demonstram a viabilidade do uso da abordagem na integração de conteúdos formados por objetos de aprendizagem de diversos formatos armazenados em plataformas distintas.

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Castro, Eduardo Studzinski Estima de. "K-Aspects : uma abordagem baseada em aspectos para implementação de sistemas de conhecimentos." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2009. http://hdl.handle.net/10183/17035.

Повний текст джерела

Анотація:

Esse trabalho define K-Aspects (Knowledge Aspects), uma abordagem para a implementação de Sistemas de Conhecimento (SC) em linguagens orientadas a objetos usando o paradigma orientado a aspectos (OA) e anotações de metadados. Essa abordagem define uma forte correspondência entre o Modelo de Conhecimento (MC) e sua implementação no paradigma da orientação a objetos (OO). K-Aspects fornece um conjunto de anotações documentacionais para facilitar a leitura da associação entre o modelo de implementação e o modelo conceitual do conhecimento; um conjunto de anotações para facilitar a separação de interesses na implementação do SC usando OA; um conjunto de bibliotecas para realizar a interpretação das anotações e sua execução em aspectos; e uma ferramenta para geração de documentação do MC a partir das anotações no código. A abordagem busca atender tanto os engenheiros de conhecimento quanto os engenheiros de desenvolvimento em projetos de SC. Os engenheiros de conhecimento tem ao seu alcance um modo adequado para elaborar a especificação do MC que resulta em uma especificação em uma linguagem orientada a objetos, permitindo aos engenheiros de desenvolvimento implementarem o sistema preservando a estrutura do modelo conceitual e mantendo clara distinção entre os requisitos associados ao MC dos demais requisitos. K-Annotations adicionam recursos de OA ao modelo conceitual do conhecimento OO, oferecendo facilidades de tratamento separado de diversas funcionalidades transversais de um SC, através do particionamento do sistema em aspectos que implementam funcionalidades específicas, ativadas através das anotações inseridas no componente do modelo conceitual. Anotações distinguem, clara e visualmente, no código, os elementos do MC em relação ao restante do código do programa, facilitando a leitura do código pelos engenheiros de conhecimento. A função principal das anotações é prover as informações necessárias para a interpretação dos elementos de conhecimento durante a execução do programa. Anotações identificam as funcionalidades transversais relativas aos construtos do modelo e são gerenciadas pela biblioteca de aspectos. A abordagem foi validada re-escrevendo com o uso de K-Annotations um sistema de conhecimento no domínio da análise da qualidade de reservatórios de petróleo. O modelo desse sistema representa uma ontologia de domínio sobre o qual métodos de solução de problemas para interpretação e classificação de rochas são aplicados. A análise dos resultados identificou um conjunto de vantagens no uso de K-Aspects, como distinção clara entre a implementação do MC e a implementação dos demais requisitos, suporte nativo aos construtos providos no modelo de conhecimento e alto grau de rastreabilidade entre o modelo e sua implementação. Além disso, provê redução de tarefas repetitivas de implementação e redução da dispersão de código a partir da geração automática de código. As bibliotecas de aspectos garantem o encapsulamento de inferências e tarefas. As bibliotecas tratam os construtos do modelo para garantir a reutilização em diferentes projetos de SCs.
This work defines K-Aspects (Knowledge Aspects), an approach for implementing Knowledge Systems (KS) with object-oriented languages using the aspect-oriented paradigm (AO) and metadata annotations. This approach defines a strong link between the knowledge model (KM) and its implementation in the object-oriented paradigm (OO). K-Aspects provides a set of documentational annotations to make the association between the implementation model and the knowledge conceptual model easier to read; a set of annotations to enable the separation of concerns, using aspect orientation, of the implementation of the different requirements of the knowledge system; a set of libraries to perform the interpretation and execution as aspects of annotations; and a tool for documentation generation of the KM extracted from the annotations on the code. The approach aims to support both knowledge engineers and development engineers in KS projects, by providing to the knowledge engineers a well-defined way to elaborate the KS specification, which results in a specification presented in an object oriented language, making it easily understandable and extensible by development engineers that can thus implement the knowledge system preserving its conceptual knowledge structure and keeping a clear distinction of the requirements associated to the KM from the other requirements. K-Annotations add aspect oriented resources to the OO conceptual knowledge model, providing features to manage separately the multiple crosscutting concerns of a KS, partitioning the system in aspects that implement specific features, activated by annotations inserted in the knowledge conceptual model. Annotations distinguish, clearly and visually, within the code, KM elements from the rest of the code, making easier the code reading by the knowledge engineers. The most important function of the annotations is to provide information necessary for interpreting knowledge elements during runtime. Annotations identify several crosscutting concerns related to the model constructs. Annotations are managed and executed by the aspect libraries. This approach was validated by re-coding, using K-Annotations, a complex commercial KS on the domain of oil reservoir quality analysis. The model of this system represents a domain ontology on which problem-resolving methods for rock interpretation and classification are performed. The analysis of the results identified several advantages of using K-Aspects as: a clear distinction of the KM implementation among other requirements; native support for knowledge model constructs; and high traceability between the knowledge conceptual model and its implementation. Moreover, the use of K-Aspects reduces repetitive implementation tasks and code dispersion because of the automatic code generation. The provided aspect libraries enable the encapsulation of inferences and the execution of several tasks. The libraries manage the constructs of the model thus providing reusability among multiple KS projects.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Medeiros, Cabral Davi. "Um framework para extração de informações: uma abordagem baseada em XML." Universidade Federal de Pernambuco, 2005. https://repositorio.ufpe.br/handle/123456789/2780.

Повний текст джерела

Анотація:

Made available in DSpace on 2014-06-12T16:01:08Z (GMT). No. of bitstreams: 2 arquivo7169_1.pdf: 1406961 bytes, checksum: c55f5388badc5c0c67457d0f7e47902c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005
Com o crescimento da Internet, muitas informações vêm se tornando rapidamente disponíveis, a cada ano, devido à facilidade do processo de publicação digital. Porém, a existência de diferentes formatos de representação (HTML, PS, RTF, etc.) e de conteúdo (estruturado, semi-estruturado e livre) torna o gerenciamento eficiente de documentos uma tarefa altamente complexa. Os atuais tratamentos de busca são pouco eficientes, deixando a obtenção das informações contidas no documento a cargo da atividade humana. Dentro dessa conjuntura, destacam-se os sistemas de Extração de Informação para obtenção de informações encontradas em documentos-texto, visando à realização de um processamento posterior. Porém, tais sistemas ainda são muito difíceis de ser desenvolvidos, exigindo conhecimentos de especialistas em Inteligência Artificial e no domínio dos documentos a serem analisados. Tal complexidade estimulou as pesquisas de sistemas, cada vez mais, genéricos para os mais variados domínios de textos simples e HTML. Contudo, para diferentes fontes de entrada e saída e formatos de documentos utilizados, pouco ou nenhum cuidado vem sendo dado em relação à flexibilidade e extensibilidade desses sistemas. Esta dissertação propõe um framework, baseado em XML, para o desenvolvimento de sistemas de extração capazes de lidar com diferentes formatos de entrada e saída. Esses formatos representam as funcionalidades específicas, implementadas para cada uma de suas instâncias, enquanto as funcionalidades reutilizadas no domínio do problema são definidas pelo algoritmo de extração empregado. Dentre as diversas técnicas de extração de informações e aprendizagem de máquinas existentes, foi usada uma abordagem semi-automática baseada no algoritmo de indução definido no STALKER. Experimentos efetuados sobre artigos científicos mostram que o framework proposto é aplicável aos formatos de entrada PDF, PS, DOC, RTF e HTML; obtendo-se resultados satisfatórios quando comparados aos de sistemas já consolidados

Стилі APA, Harvard, Vancouver, ISO та ін.

40

MELO, Cecil Accetti Resende de Ataíde. "Projeto de uma arquitetura baseada num processador RISC-V para desenvolvimento de aplicações em software-defined radio." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/26036.

Повний текст джерела

Анотація:

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-22T19:41:45Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Cecil Accetti Resende de Ataíde Melo.pdf: 2769633 bytes, checksum: f491d3b88b08cb65e70c14b653034fdf (MD5)
Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-29T21:40:28Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Cecil Accetti Resende de Ataíde Melo.pdf: 2769633 bytes, checksum: f491d3b88b08cb65e70c14b653034fdf (MD5)
Made available in DSpace on 2018-08-29T21:40:28Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Cecil Accetti Resende de Ataíde Melo.pdf: 2769633 bytes, checksum: f491d3b88b08cb65e70c14b653034fdf (MD5) Previous issue date: 2016-08-26
CNPq
Os sistemas de software-defined radio práticos normalmente se dividem em duas classes: arquiteturas reconfiguráveis em FPGA que implementam os algoritmos de processamento de digital de sinais, com granularidade alta e, as arquiteturas baseadas em processador. Um dos problemas no projeto de arquiteturas de processamento digital de sinais baseadas em processador é o do suporte a compiladores e linguagens de alto nível. Arquiteturas muito especializadas, com conjuntos de instruções extensos e muitos modos de endereçamento, dificultam a implementação de compiladores para linguagens de alto nível. Neste trabalho buscou-se explorar a viabilidade de um conjunto de instruções emergente, RISC-V, e uma extensão do seu conjunto de instruções para a aplicação em processamento digital de sinais de banda base, sobretudo nas funcionalidades de modem, em aplicações de software-defined radio. A análise das operações de um modem, para as modulações digitais mais utilizadas, revela que as operações feitas para modulação/ demodulação envolvem números complexos. No entanto, aritmética de complexos não é normalmente suportada pelo hardware em arquiteturas tradicionais. Além da arquitetura proposta para o processador, com suporte a novas instruções especializadas, os periféricos necessários para o front-end de rádio frequência e o software de suporte foram implementados, resultando num SoC para software defined radio.
Practical software-defined radio systems are usually classified in two main architecture classes: Reconfigurable architectures on FPGAs, that implement coarse grained digital signal processing algorithms, or processor-based architectures. One of the issues in the design of processor-based digital signal processing architectures is compiler and high-level languages support. Highly specialized architectures, with extensive instruction sets (ISA) and addressing modes turn high-level languages compiler design a complex task. In this work we explore the viability to extend the emerging RISC-V instruction set for baseband processing applications for software-defined radio, especially for modem applications. The analysis of modem functions, for the most used digital modulation schemes, reveals that the modulation/demodulation tasks involve complex number operations. Complex number arithmetic, however, is not supported on traditional architectures. The proposed platform includes a 3-stage pipelined processor with new specialized instructions, as well as the peripherals needed to the radio-frequency front-end and supporting software, resulting on a system-on-a-chip for software-defined radio applications. software-defined radio.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Santana, Leonardo. "Avaliação de uma impressora 3D baseada em projeto de código aberto na fabricação de peças em PLA." reponame:Repositório Institucional da UFSC, 2015. https://repositorio.ufsc.br/xmlui/handle/123456789/160786.

Повний текст джерела

Анотація:

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2015
Made available in DSpace on 2016-04-19T04:20:29Z (GMT). No. of bitstreams: 1 336485.pdf: 3810278 bytes, checksum: 46f3a10a1b5813edb5168cbf536d3c2a (MD5) Previous issue date: 2015
A recente expansão na manufatura aditiva ou tecnologia de impressão 3D de baixo custo é decorrente, em partes, da expiração das patentes iniciais baseadas na tecnologia FDM e do crescimento dos chamados movimentos open source, disseminados através da internet. Diferentemente dos modelos comerciais, os modelos de baixo custo permitem maior flexibilidade e adaptações para pesquisas, já que, muitas vezes, permitem acesso aos protocolos de controle e funcionamento da tecnologia utilizada. Estas impressoras 3D, como são conhecidas, estão ganhando popularidade principalmente para uso em prototipagem rápida ou manufatura em pequena escala. Apesar disto, pouco se sabe sobre a qualidade das peças fabricadas por nestes equipamentos, e as limitações de seu desempenho. O objetivo deste trabalho foi avaliar uma impressora 3D de código aberto a partir da construção de peças em Poli Ácido Lático (PLA). A pesquisa foi dividida em três etapas. Inicialmente foram realizados estudos para caracterização dos filamentos de PLA por meio de calorimetria diferencial de varredura (DSC), análise termogravimétrica (TGA), espectroscopia por infravermelho (FTIR) e medição da densidade. Em seguida, foram conduzidos dois estudos de caso para avaliar a máquina na fabricação de peças com variação de parâmetros de processo e de materiais. As peças produzidas foram avaliadas através de microscopia óptica, medição da massa e ensaio mecânico de flexão. A terceira etapa da pesquisa caracterizou-se pela avaliação da confiabilidade do cabeçote extrusor do equipamento, através de um estudo de extrusão livre, onde foi monitorada a alimentação de filamento ao sistema. Verificou-se que o equipamento não possui repetibilidade na construção de peças fabricadas com os mesmos parâmetros de processo, o que fez com que as variáveis analisadas não fossem significativas sobre as respostas. Por fim, o estudo do módulo extrusor indicou como uma das principais causas para as variações na qualidade das peças o comportamento heterogêneo do cabeçote extrusor na função de fornecimento de material para a deposição. A ação foi influenciada por efeitos como o escorregamento do filamento sobre a polia ranhurada do módulo de tracionamento do sistema de deposição e por efeitos de perda de comando de acionamento proporcionais ao aumento da velocidade de extrusão.

Abstract : Additive manufacturing, or 3D printing, is currently expanding due to the patent´s expiration of many FDM technologies and to the growth of open source communities widespread on Internet. Unlike commercial models, low cost ones allow more flexibility and adaptations for research, as, many times, allow access to the control protocols. These printers are becoming popular specially for rapid prototyping or small scale manufacturing use. Nevertheless, very little is known about the quality of the parts built with these equipments and about its performance limitations. This research goal was to evaluate an open source 3D printer by its capacity of building Poly-Lactic Acid (PLA) parts. The research was divided in three stages. First were made studies to characterize the PLA filaments using Differential Scanning Calorimetry (DSC), Thermogravimetric Analysis (TGA), Fourier Transform Infrared Spectroscopy (FTIR) and density measurement. Next, two case studies were conducted to analyze the machine capability of building samples made with different building parameters and materials. The parts produced were evaluated using optical microscopy, mass measurement and bending test. The third stage consisted on the reliability evaluation of the extruder head through a free extrusion study, where the system´s feed stock was monitored. It was observed that the equipment does not have repeatability when building samples with the same parameters, which made the variables analyzed unsignificant for the answers. Finally, the extrusion module study showed that the extrusion head heterogeneous behavior while supplying material for deposition was one of the main causes for part´s quality variation. This action was influenced by thes filament´s slippage over the hobbed pulley of the traction module and effects caused by the lost of the driving command, proportional to the extrusion speed increasing.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Cavalcanti, Júnior Antonio Luiz de Oliveira. "Métricas como Ferramenta de Auxílio para o Gerenciamento de Dívida Técnica em Produtos de Software." Universidade Federal de Pernambuco, 2012. https://repositorio.ufpe.br/handle/123456789/11379.

Повний текст джерела

Анотація:

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-09T12:50:30Z No. of bitstreams: 2 Dissertacao Antonio Cavalcanti.pdf: 1847589 bytes, checksum: d68a6d0a8cf07180e223791edb011bfb (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Made available in DSpace on 2015-03-09T12:50:30Z (GMT). No. of bitstreams: 2 Dissertacao Antonio Cavalcanti.pdf: 1847589 bytes, checksum: d68a6d0a8cf07180e223791edb011bfb (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-11-01
É amplamente aceito que o custo de manutenção de um software representa mais de 90% do custo total do produto durante todo seu ciclo de vida. O custo de desenvolvimento do produto tende a se tornar insignificante principalmente em softwares com longos ciclos de vida. Softwares perdem sua importância e tendem a cair em desuso caso não sejam evoluídos. Naturalmente, durante esse processo de evolução diversas forças externas e internas corroboram para o decaimento da qualidade do código fonte do software, como por exemplo, pressões do mercado, diminuição dos orçamentos para manutenção, mudanças no time de desenvolvedores, dentre outros. Apesar de existirem técnicas para acompanhar a qualidade do código fonte de um software utilizando-‐se métricas, nenhuma leva em consideração o contexto e decisões tomadas que levaram à diminuição da qualidade se tornando então técnicas reativas. Para explicar esse decaimento de qualidade, inserir informações contextuais sobre as decisões tomadas, permitir planejamento preventivo e acompanhar o aumento dos custos de manutenção em softwares com código fonte já comprometido, é utilizada a metáfora de Dívida Técnica. A metáfora de Dívida Técnica é uma analogia ao conceito de empréstimo financeiro. Ao comprometer a qualidade do código fonte do sistema em detrimento a algum benefício imediato, contrai-‐se uma dívida onde o valor do empréstimo é o esforço economizado na execução da tarefa. Como toda dívida, são aplicados juros sobre o empréstimo contraído e se a dívida não for adequadamente controlado, no futuro a maior parte do esforço de manutenção e evolução será gasto amortizando os custos da dívida. Apesar de intuitiva, muito popular na comunidade de profissionais de software e útil para diminuir a distância entre o vocabulário técnico e o gerencial, a metáfora tem sua definição em evidências anedóticas, por isso se faz necessário estudos que possam descrever o fenômeno com rigor científico. Nesse contexto, o objetivo desse estudo é caracterizar a metáfora de Dívida Técnica sob a ótica de métricas de software, descrevendo relações existentes entre as tomadas de decisões e os impactos causados na qualidade, utilizando-‐se de suítes clássicas de métricas, fundamentado em 7 anos de dados históricos de projetos reais e companhamento por 8 meses de um projeto vivo.

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Soares, Junior Amilcar. "X-GAT: uma ferramenta baseada em XML para otimização com algoritmos genéticos." Universidade Federal da Paraíba, 2011. http://tede.biblioteca.ufpb.br:8080/handle/tede/6155.

Повний текст джерела

Анотація:

Made available in DSpace on 2015-05-14T12:36:58Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2207161 bytes, checksum: 5877bbc22ccba855f94681eca5267aa6 (MD5) Previous issue date: 2011-03-04
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
In many different fields of science we are faced to optimization problems. Many approaches have been proposed to solve such types of problems, including the use of Evolutionary Algorithms (AEs) and Genetic Algorithms (GAs). However, just a low quantity of works tried to create generic tools, capable to be reused in many different problems. Most of the current proposals show different implementations of GAs or AEs applied to specific purposes. Raising all these assertions, it is verified the need for the development of optimization tools that are capable of solving any kind of optimization problems. In such context, the main objective of this work is the development of an optimization tool, named X-GAT (XML based Genetic Algorithm Toolkit), that is: capable of solving any kind of optimization problem; configurable; operating system portable; extensible; a framework that helps the implementation of AEs; and can be used to build heterogenic systems. Using some computational techniques, parts of the algorithm can be abstracted, preventing that much time is spent on coding and validating the optimization technique. Aiming to achieve such objectives, some tools and techniques were used: Java programming language and its reflection API; the data description language XML (eXtensible Markup Language); and software design patterns. In order to verify and validate that the developed tool attended the proposed objectives, many different optimization problems were chosen. First, it is shown the optimization of some mathematical functions that have known optimum value. Then, the X-GAT tool is applied to the calibration of for rainfall-runoff models input parameters, which are common problems in hydrology. Finally, the X-GAT tool is used in an optimization process of input parameters of clustering algorithms for grouping trajectories points of moving objects. The motivation behind applying these algorithms is the addition of semantic information to spatiotemporal data. From the results obtained in many different fields of science, the proposed toolkit showed to be flexible and robust, in addition to being able to be easily applied in many problems, once it is properly configured.
Em vários campos da ciência nos deparamos com problemas de otimização. Muitas abordagens foram propostas para resolver tais problemas, incluindo o uso de algoritmos evolucionários (AEs) e algoritmos genéticos (AGs). Entretanto poucos trabalhos tentaram criar ferramentas genéricas, capazes de serem reutilizadas em vários problemas distintos. A maior parte dos trabalhos vistos na literatura mostram diversas implementações de AGs ou AEs, sendo estas dirigidas a um propósito específico. Verifica-se assim a necessidade da criação de ferramentas de otimização que sejam de propósito geral. O objetivo deste trabalho é desenvolver uma ferramenta de otimização, chamada X-GAT (XML based Genetic Algorithm Toolkit), que resolva problemas de otimização através do uso AGs, sendo esta ferramenta de propósito geral, configurável, portável, expansível, que possa funcionar em sistemas heterogêneos e que também seja um framework de suporte a otimizações com AEs. Diante disso, o esforço para realizar uma otimização se concentra na forma de configurar a ferramenta, e não em como a técnica deve ser implementada. A partir de algumas técnicas computacionais utilizadas algumas partes do algoritmo podem ser abstraídas, evitando que se gaste muito tempo em codificação e validação da técnica. Para que estes objetivos fossem alcançados, foram utilizados no seu desenvolvimento: a linguagem de programação Java e sua API de reflexão, a linguagem de descrição de dados eXtensible Markup Language (XML) e padrões de projeto (design patterns) de software. A fim de validar e verificar que a ferramenta atendeu a todos os princípios propostos, foram selecionados problemas de otimização de áreas distintas. Primeiramente, são mostradas otimizações de algumas funções matemáticas a fim de validar o algoritmo. Posteriormente a ferramenta é aplicada a problemas de otimização de parâmetros de entrada de modelos hidrológicos de transformação de chuva em vazão. Por fim, a ferramenta é aplicada no processo de otimização de parâmetros de entrada de algoritmos de clusterização de pontos de trajetórias de objetos móveis, que são usados com freqüência para adição de informações semânticas em dados espaciais. A partir dos resultados obtidos em diferentes áreas da ciência, pode-se concluir que a ferramenta é bastante flexível e robusta, podendo ser aplicada de forma simples e prática, desde que configurada de forma adequada.

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Tenório, Ramon Nobrega. "Transferência de tecnologia entre academia e indústria em engenharia de software: um mapeamento sistemático." Universidade Federal de Pernambuco, 2014. https://repositorio.ufpe.br/handle/123456789/11970.

Повний текст джерела

Анотація:

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T17:18:26Z No. of bitstreams: 2 DISSERTAÇÃO Ramon Nobrega Tenório.pdf: 1455668 bytes, checksum: ca6a4170a2a084801f077bd2e8267772 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
Made available in DSpace on 2015-03-11T17:35:39Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Ramon Nobrega Tenório.pdf: 1455668 bytes, checksum: ca6a4170a2a084801f077bd2e8267772 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-04-30
A transferência de tecnologia é o processo pelo qual a indústria se mantém em constante evolução e competitividade. Esta atividade proporciona um modo em que as empresas possam alcançar maior efetividade no uso de seus recursos, provendo informação e auxílio, que conduz a melhorias em diversas áreas do negócio. Em engenharia de software, o processo tende a ser laborioso, dependente de condução rigorosa e de fatores (ou influenciadores), que geralmente estão inclinados a assumir papel decisivo quando do momento da adoção. Evidência contundente, benefício claro, apoio organizacional e treinamento são alguns dos muitos fatores que podem atuar com protagonismo e mudar o curso da atividade. A parceria entre academia e indústria é propensa a ser uma fonte fértil para inovações tecnológicas de forma a saciar o anseio do mercado e impulsionar a criação de novas ideias e visões renovadas. Este estudo tem como objetivo a coleta e investigação do conhecimento disponível na literatura, de forma sistemática, que tenham relação com fatores que influenciam positiva ou negativamente a transferência de tecnologia entre academia e indústria no campo da engenharia de software, assim como as abordagens existentes. De modo a alcançar o objetivo, foi utilizado, como método de pesquisa, o estudo de mapeamento sistemático. Este mapeamento obteve um total de 6228 estudos, por meio de buscas automatizadas e manuais, dentre os quais 87 estudos primários foram identificados como relevantes e classificados de acordo com as perguntas de pesquisa. Com base na análise realizada, conclui-se que a transferência de tecnologia em engenharia de software é uma atividade que envolve fatores tecnológicos, organizacionais, culturais e sociais e que estes têm influência em todo o processo. Além disso, fatores pouco explorados foram identificados, proporcionando abertura à condução de novos estudos

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Martins, Jefferson Gustavo. "Uma arquitetura baseada em agentes inteligentes para ambientes computacionais voltados à educação a distância." Florianópolis, SC, 2002. http://repositorio.ufsc.br/xmlui/handle/123456789/82400.

Повний текст джерела

Анотація:

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção.
Made available in DSpace on 2012-10-19T14:42:45Z (GMT). No. of bitstreams: 0
A disseminação do conhecimento sempre esteve presente em toda a existência humana. Neste percurso, a evolução dos recursos disponíveis fez com que técnicas e métodos utilizados no processo de ensino-aprendizagem se adequassem e propiciassem melhores condições a professores e estudantes. Apesar do destaque recebido pela modalidade a distância e por ela permitir que milhares de pessoas consigam concluir cursos de aperfeiçoamento profissional e cursos regulares, tais como graduação e pós-graduação, a crescente exigência de atualização permanente e o conseqüente aumento do número de pessoas interessadas em continuar seus estudos fazem com que o sistema não consiga atender a todos e causa queda dos índices de qualidade do ensino disponibilizado. Com o intuito de melhorar o processo de ensino-aprendizagem, este trabalho apresenta uma arquitetura para ambientes computacionais educacionais, unindo técnicas de inteligência artificial e os diversos meios que possam ser utilizados neste processo e garantindo escalabilidade e a manutenção de seus níveis de qualidade, mesmo com o crescimento do número de estudantes. Além disso, é apresentado o Ambiente VIAS K, construído sobre as definições da arquitetura proposta, com uma interface em realidade virtual e um agente virtual inteligente, que ajuda o estudante a construir seu conhecimento dentro do ambiente, possui várias fontes de informação e é capaz de examiná-las, compará-las e manipulá-las, respondendo a consultas dos alunos, guiando-os no ambiente e procurando sanar suas dificuldades.

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Feij?, Rafael Heider Barros. "Uma arquitetura de software baseada em componentes visualiza??o de informa??es industriais." Universidade Federal do Rio Grande do Norte, 2007. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15183.

Повний текст джерела

Анотація:

Made available in DSpace on 2014-12-17T14:55:04Z (GMT). No. of bitstreams: 1 RafaelHBF.pdf: 1344356 bytes, checksum: 59147ac38d8bc26157fd77c84bc1474f (MD5) Previous issue date: 2007-07-02
Petr?leo Brasileiro SA - PETROBRAS
Due to the current need of the industry to integrate data of the beginning of production originating from of several sources and of transforming them in useful information for sockets of decisions, a search exists every time larger for systems of visualization of information that come to collaborate with that functionality. On the other hand, a common practice nowadays, due to the high competitiveness of the market, it is the development of industrial systems that possess characteristics of modularity, distribution, flexibility, scalability, adaptation, interoperability, reusability and access through web. Those characteristics provide an extra agility and a larger easiness in adapting to the frequent changes of demand of the market. Based on the arguments exposed above, this work consists of specifying a component-based architecture, with the respective development of a system based on that architecture, for the visualization of industrial data. The system was conceived to be capable to supply on-line information and, optionally, historical information of variables originating from of the beginning of production. In this work it is shown that the component-based architecture developed possesses the necessary requirements for the obtaining of a system robust, reliable and of easy maintenance, being, like this, in agreement with the industrial needs. The use of that architecture allows although components can be added, removed or updated in time of execution, through a manager of components through web, still activating more the adaptation process and updating of the system
Devido ? atual necessidade da ind?stria de integrar dados do ch?o-de-f?brica oriundos de diversas fontes e de transform?-los em informa??es ?teis para tomadas de decis?es, existe uma procura cada vez maior por sistemas de visualiza??o de informa??es que venham colaborar com essa funcionalidade. Por outro lado, uma pr?tica comum hoje em dia, devido ? alta competitividade do mercado, ? o desenvolvimento de sistemas industriais que possuam caracter?sticas de modularidade, distribui??o, flexibilidade, escalabilidade, adapta??o, interoperabilidade, reusabilidade e acesso via web. Essas caracter?sticas proporcionam uma agilidade extra e uma maior facilidade em se adaptar ?s freq?entes mudan?as de demanda do mercado. Baseado nos argumentos expostos acima, este trabalho consiste em especificar uma arquitetura baseada em componentes, com o respectivo desenvolvimento de um sistema baseado nessa arquitetura, para a visualiza??o de dados industriais. O sistema foi concebido para ser capaz de fornecer informa??es on-line e, opcionalmente, informa??es hist?ricas de vari?veis oriundas do ch?o-de-f?brica. Neste trabalho ? mostrado que a arquitetura baseada em componentes desenvolvida possui os requisitos necess?rios para a obten??o de um sistema robusto, confi?vel e de f?cil manuten??o, estando, assim, de acordo com as necessidades industriais. O uso dessa arquitetura permite ainda que componentes possam ser adicionados, removidos ou atualizados em tempo de execu??o, atrav?s de um gerenciador de componentes via web, agilizando ainda mais o processo de adapta??o e atualiza??o do sistema

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Arias, García Janier. "Implementação em FPGA de uma biblioteca parametrizável para inversão de matrizes baseada no algoritmo Gauss-Jordan, usando representação em ponto flutuante." reponame:Repositório Institucional da UnB, 2010. http://repositorio.unb.br/handle/10482/7908.

Повний текст джерела

Анотація:

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2010.
Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-04-12T16:33:59Z No. of bitstreams: 1 2010_JanierAriasGarcia.pdf: 1477625 bytes, checksum: 49f129291f7b6557c3d4729d552f872f (MD5)
Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2011-05-20T15:41:00Z (GMT) No. of bitstreams: 1 2010_JanierAriasGarcia.pdf: 1477625 bytes, checksum: 49f129291f7b6557c3d4729d552f872f (MD5)
Made available in DSpace on 2011-05-20T15:41:00Z (GMT). No. of bitstreams: 1 2010_JanierAriasGarcia.pdf: 1477625 bytes, checksum: 49f129291f7b6557c3d4729d552f872f (MD5)
As operações computacionais em que se desenvolvem cálculos matriciais são à base, ou melhor, o coração de muitos algoritmos computacionais científicos, por exemplo: processamento de sinais,visão computacional, robótica, entre outros. Esse tipo de algoritmos em que desenvolvem-se cálculos matriciais terminam sendo tarefas computacionalmente custosas, e suas implementações em hardware exigem grandes esforços e tempo. Existe então uma crescente demanda por arquiteturas que permitam cálculos matriciais, proporcionando soluções rápidas e eficientes para este tipo de problema. Este trabalho apresenta diferentes arquiteturas computacionais para inverter matrizes em hardware reconfigurável, FPGA: (a) sequencial, (b) pipeline e (c) Paralelo. Estas arquiteturas usam uma representação de ponto flutuante tanto em precisão simples (32 bits) quanto precisão dupla (64 bits), visando o uso em implementações de baixo consumo de recursos lógicos, na qual a unidade principal é o componente de processamento para redução Gauss-Jordan. Esse componente consiste de outras pequenas unidades organizadas de tal forma que mantêm a precisão dos resultados sem a necessidade de internamente normalizar e de-normalizar os dados em ponto flutuante. No intuito de gerar arquiteturas de baixo custo, este trabalho propõe o estudo de diferentes formas de abordar o problema, descrevendo em código VHDL estas arquiteturas em que os tamanhos de matrizes são definidos pelos usuários. Os resultados de erro e de tempo de execução das arquiteturas desenvolvidas foram comparados contra o MatLab, que faz uma simulação comportamental do código VHDL gerado através do ambiente de simulação ModelSim. A implementação das operações e da própria unidade procura explorar os recursos disponíveis na FPGA Virtex-5. O desempenho e o consumo de recursos são apresentados, comparando as diferentes arquiteturas desenvolvidas entre si e entre outras arquiteturas propostas encontradas em publicações anteriores. Além disso, é mostrado o decremento no desempenho a medida que o tamanho da matriz aumenta. ______________________________________________________________________________ ABSTRACT
Computer operations demanding matrix calculations are at the heart of many scientific computing algorithms such as: signal processing, computer vision, robotics, among others. Because these algorithms perform matrix calculations, they are often computationally expensive, and their hardware implementations require much effort and time. So there is a growing demand for architectures that perform matrix calculations, fast and efficiently. This work presents different computer architectures for matrix inversion in FPGA reconfigurable hardware: (a) sequential, (b) pipeline and (c) Parallel. These architectures use a floating point representation in both single-precision (32 bit) and double precision (64 bits), suitable for use in low cost implementations, and where main component is Gauss-Jordan reduction. This component consists of other small units arranged in such a way that maintains the accuracy of results without the need of internally normalizing and de-normalizing the floating point data. In order to generate low-cost architectures, this work proposes to study different ways of approaching the problem in VHDL code, and allowing that sizes of matrices be defined by users. All architectures were simulated using MatLab, with a behavioral simulation of VHDL code generated by ModelSim simulation environment. As a result of comparing the error obtained by the architecture, with the inversion performed using MatLab as static estimator. The implementation of operations and the unit seeks to explore the resources available in Virtex-5 FPGA. The performance and resource consumption are presented, comparing the different architectures developed between themselves and with others proposed in previous publications. In addition, it is shown the influence of the array size in the performance.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Melo, Raimundo Williame Rocha de, and 92-99345-3625. "Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes." Universidade Federal do Amazonas, 2017. https://tede.ufam.edu.br/handle/tede/6261.

Повний текст джерела

Анотація:

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-21T17:40:38Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Raimundo W. R. Melo.pdf: 1511352 bytes, checksum: 35f1429da9fc237f23a6e983f4c6abd9 (MD5)
Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-21T17:40:50Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Raimundo W. R. Melo.pdf: 1511352 bytes, checksum: 35f1429da9fc237f23a6e983f4c6abd9 (MD5)
Made available in DSpace on 2018-03-21T17:40:50Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Raimundo W. R. Melo.pdf: 1511352 bytes, checksum: 35f1429da9fc237f23a6e983f4c6abd9 (MD5) Previous issue date: 2017-08-10
FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas
The use of embedded systems, i.e., computer systems focused on performing specific functions in larger (electronic or mechanical) systems, has been growing lately, and ensuring the robustness of such systems has become increasingly important. There are several techniques to ensure that a system is released without errors. In particular, formal verification of programs is proving itself to be effective in the search for failures. In this work, an induction-proof algorithm is described, which combines k-induction and invariants to verify and refute safety properties in embedded ANSI-C software. Moreover, the proposed k-induction-based approach infers invariants in the program to assist in verification tasks, using constraint refinement (i.e., polyhedral) to specify pre- and post-conditions. We adopted two invariant generators to produce such and feed the k-induction algorithm, which is implemented in the Efficient SMT-Based Context-Bounded Model Checker tool. Public benchmarks were used to assess the effectiveness of our approach. In addition, a comparison to other state-of-the-art verification tools using a set of benchmarks from the International Competition for Software Verification in addition to embedded systems applications. Experimental results have shown that the proposed approach, with and without invariants, can verify a wide variety of safety properties in programs with loops and embedded software from telecommunications, control systems, and medical domains.
O uso de sistemas embarcados, sistemas computacionais especializados para execução em sistemas eletrônicos ou mecânicos tem crescido de forma vertiginosa devido a utilização cada vez mais intensa de sensores, interfaces de rede e protocolos de comunicação em diversas áreas. Por isso, é cada vez mais importante garantir a robustez desses sistemas, uma vez que estão se tornando mais complexos e integrados. Existem várias técnicas para garantir que um sistema seja entregue ao cliente sem erros, em particular, a verificação formal dos programas tem se revelado eficaz na busca de falhas. Neste trabalho é descrito um algoritmo de indução matemática conhecido como k-induction combinado ao uso de invariantes para verificar e refutar propriedades de segurança em programas desenvolvidos na linguagem ANSI-C. Em particular, a abordagem proposta infere invariantes no programa para auxiliar na verificação de programas ANSI-C através da técnica de indução matemática através do refinamento de restrição (i.e, poliédrico) para especificar pré- e pós-condições. No método proposto, adotamos dois geradores de invariantes para produzir e alimentar o algoritmo de indução matemática o qual é implementado na ferramenta Efficient SMT-Based Context-Bounded Model Checker. A motivação para a combinação de invariantes com o algoritmo de indução matemática é fechar um gap na verificação formal de programas que possuam variáveis globais, além de programas com loops que possuem desvios condicionais e o número de iterações é desconhecido. PIPS e PAGAI são as ferramentas utilizadas para analisar o código e produzir invariantes indutivas responsáveis por guiar o algoritmo de indução matemática na verificação do benchmark, sendo este o principal desafio do método proposto. Para avaliar a eficácia da abordagem proposta neste trabalho, além de aplicações de Sistemas Embarcados foram utilizados benchmarks públicos disponibilizados pela Competição Internacional de Verificação de Software onde participam Universidades, pesquisadores, estudandantes de doutorado de várias partes do mundo, e fornece amplo conjunto de casos de teste para verificação. Além disso, foram utilizadas ferramentas estado-da-arte para a comparação dos resultados e, assim mensurar a eficácia do método proposto. Os resultados experimentais foram positivos e mostraram que o algoritmo de indução matemática com invariantes pode verificar uma grande variedade de propriedades de segurança em programas com loops e aplicações de sistemas embarcados de telecomunicações, sistemas de controle e dispositivos médicos.

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Emer, Maria Claudia Figueiredo Pereira. "Abordagem de teste baseada em defeitos para esquemas de dados." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261002.

Повний текст джерела

Анотація:

Orientadores: Mario Jino, Silvia Regina Vergilio
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-09T21:13:12Z (GMT). No. of bitstreams: 1 Emer_MariaClaudiaFigueiredoPereira_D.pdf: 934024 bytes, checksum: dbb2079115b56358ff3dc9e747df6386 (MD5) Previous issue date: 2007
Resumo: Dados são manipulados em várias aplicações de software envolvendo operações críticas. Em tais aplicações assegurar a qualidade dos dados manipulados é fundamental. Esquemas de dados definem a estrutura lógica e os relacionamentos entre os dados. O teste de esquemas por meio de abordagens, critérios e ferramentas de teste específicos é uma forma pouco explorada de assegurar a qualidade de dados definidos por esquemas. Este trabalho propõe uma abordagem de teste baseada em classes de defeitos comumente identificados em esquemas de dados. Um metamodelo de dados é definido para especificar os esquemas que podem ser testados e as restrições aos dados nos esquemas. Defeitos possíveis de serem revelados são os relacionados à definição incorreta ou ausente de restrições aos dados no esquema. A abordagem inclui a geração automática de um conjunto de teste que contém instâncias de dados e consultas a essas instâncias; as instâncias de dados e as consultas são geradas de acordo com padrões definidos em cada classe de defeito. Experimentos nos contextos de aplicações Web e de base de dados foram realizados para ilustrar a aplicação da abordagem
Abstract: Data are used in several software applications involving critical operations. In such applications to ensure the quality of the manipulated data is fundamental. Data schemas define the logical structure and the relationships among data. Testing schemas by means of specific testing approaches, criteria and tools has not been explored adequately as a way to ensure the quality of data defined by schemas. This work proposes a testing approach based on fault classes usually identified in data schemas. A data metamodel is defined to specify the schemas that can be tested and the constraints to the data in schemas. This testing approach provides means for revealing faults related to incorrect or absent definition of constraints for the data in the schema. The approach includes the automatic generation of a test set which contains data instances and queries to these instances; the data instances and queries are generated according to patterns defined in each fault class. Experiments in the contexts of Web and database applications were carried out to illustrate the testing approach application
Doutorado
Engenharia de Computação
Doutor em Engenharia Elétrica

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Czelusniak, Dani Juliano. "Arquitetura de software baseada em agentes para gerenciamento de portfólio de fontes de informação existentes na web." reponame:Repositório Institucional da UFSC, 2013. https://repositorio.ufsc.br/handle/123456789/106864.

Повний текст джерела

Анотація:

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2013.
Made available in DSpace on 2013-12-05T22:35:54Z (GMT). No. of bitstreams: 1 320415.pdf: 5184421 bytes, checksum: 2154b4dffa39e7b45a5590ba9947dc4c (MD5) Previous issue date: 2013
Observando-se as novas tecnologias em software que surgiram com o advento da plataforma da rede Internet, constata-se que algumas ganharam destaque por possibilitar o armazenamento do conhecimento narrado intacto e catalogado como, por exemplo, os wikis e fóruns da rede Internet. Entretanto, os gestores muitas vezes não conseguem utilizar essas informações dentro do processo de tomada de decisão. Esse fato se deve principalmente à impossibilidade de tratamento dessas informações por meio dos sistemas informatizados tradicionais, devido a particularidades do armazenamento de informações nos ambientes distribuídos. Nesse sentido, o objetivo deste trabalho é desenvolver uma arquitetura de software baseada em agentes para gerenciamento de portfólio de fontes de informação existentes na web, com o objetivo de auxiliar o gestor no processo de tomada de decisão. As metodologias da pesquisa utilizadas são as revisões bibliográfica e sistemática, na conceituação dos conceitos que regem o atual panorama tecnológico e inovador atual, a Inteligência Competitiva e os softwares envolvidos, os sistemas agentes e, estudo de caso, na proposta da ferramenta informatizada e grupo focal em sua validação. Os resultados demonstram que é viável a implementação de estruturas de software a fim de efetuar coleta de dados na Internet, para apoiar o gestor em processos de tomada de decisão

Abstract : Observing the new software technology that cames with the Internet platform, appears that some gained prominence by store narrated knowledge intact and cataloged, eg, wikis and forums over the Internet. However, managers has fail to use this information in decision-making processes. This fact occurs towards the impossibility of treating these information through traditional information systems, due details of storage information in distributed environments. The focus of this work is to develop a Competitive Intelligence process model and agent based software modeling, to help managers in decision making processes. The research methodologies used are literature systematically review on the bibliographical concepts, that shows the current technological panorama, Competitive Intelligence and involved software, the agents systems; case study, in the models and focus group on the validation of the applied case study. The results shows that it is possible to develop software structures to perform data collection on the Internet, to support the manager in decision-making processes.

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Engenharia de software baseada em valor"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями