Modelagem Formal
Mostrando 13-24 de 121 artigos, teses e dissertações.
-
13. Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Este trabalho de pesquisa propõe um método orientado a processo para elicitação de requisitos, visando melhorar a compreensão de negócios e reduzir informações erradas ou omitidas, bem como os conflitos de visões e propagações de erros no desenvolvimento de Sistemas Computadorizados (SCs). O método proposto encontra-se estruturado em duas fases:
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/08/2012
-
14. Estudo e definição de ontologias como apoio ao desenvolvimento de módulos educacionais / Ontologies study and definition to support the development of educational modules
O desenvolvimento de conteúdos educacionais e a adoção de mecanismos de modelagem representam fatores importantes a serem considerados no contexto de ensino e aprendizagem. Nesse cenário, a utilização de ontologias proporciona vantagens tais como definção formal do conhecimento, reusabilidade e interoperabilidade de informações. Além disso, facili
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/04/2012
-
15. Elementos estruturais de um modelo formal dos esportes coletivos de invasão
O desenvolvimento de um modelo formal da estratégia e da dinâmica do jogo constitui uma contribuição científica original no contexto dos esportes coletivos de invasão. O procedimento construtivo de uma estratégia definido no modelo é composto de cinco conjuntos de elementos ordenados em níveis hierárquicos, que suportam o desenho de estratégias ca
Rev. bras. educ. fís. esporte. Publicado em: 2012-12
-
16. Higher-order graph rewriting systems / Sistemas de reescrita de grafos de alta ordem
Programas sofrem diversas modificações ao longo das etapas de desenvolvimento, implantação e manutenção. A evolução de um software pode ter várias causas: correção de erros, inclusão de novas funcionalidades ou até mesmo, como é o caso de programas orientados a aspecto, transformações estruturais podem fazer parte da semântica do sistema. Ap
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
17. Modelagem e verificação formal do software embarcado de um simulador de satélite
Este trabalho tem como objetivo a análise da aplicação de métodos formais para a modelagem e verificação de produtos de software embarcado para aplicações aeroespaciais de tempo-real. Como abordagem para modelagem, utilizam-se autômatos temporizados e a ferramenta UPPAAL. A verificação do modelo construído é realizada por meio da abordagem de mo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
18. Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/10/2011
-
19. Estendendo CRefine para o suporte de táticas de refinamento
A utilização de aplicações de software cada vez mais complexas está exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplicações. Diante desse contexto, novas técnicas estão sendo utilizadas na área de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
20. Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Geralmente, a análise de requisitos é feita por proposições ad hoc de especialistas. O personagem que detém o conhecimento a respeito do domínio a ser desenvolvido, normalmente, não compreende a linguagem dos especialistas. Assim, as pessoas que deveriam especificar o software são relegadas a um segundo plano, como é o caso de alunos e professores d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
21. Especificação do micronúcleo FreeRTOS utilizando o método B
Este trabalho apresenta uma contribuição para o esforço internacional do Verified Software Repository através da especificação formal da biblioteca de sistema de tempo real FreeRTOS. Tal especificação foi realizada de forma abstrata utilizando o método B. Para isso, propriedades disponibilizadas por essa biblioteca foram elencadas e selecionadas com
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/08/2011
-
22. Modelagem e análise de sistemas de transporte de íons em membranas celulares usando verificação de modelos
Recentemente há um interesse crescente na aplicação da Verificação Probabilística de Modelos (PMC) na especificação formal e análise de sistemas biológicos. PMC é uma técnica que permite uma exploração exaustiva do conjunto de estados de um sistema estocástico e pode fornecer visões valiosas do seu comportamento que são mais difíceis de se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/07/2011
-
23. Arquitetura com orientação a serviços para sistemas produtivos teleoperados e dispersos. / Architecture with orientation services for teleoperated and dispersed production systems.
Este documento é resultado de uma pesquisa que envolve a proposta de uma arquitetura com orientação a serviços de um sistema que integra e coordena um conjunto de sistemas produtivos teleoperados e geograficamente dispersos, no qual se adota uma abordagem de modelagem baseada em uma ferramenta formal, como é a rede de Petri, a fim de estruturar um proce
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/04/2011
-
24. Otimização da forma para captação da radiação solar sobre superfícies de edifícios : um exercício de integração entre os programas Rhinoceros e Ecotect
Este trabalho tem como objetivo explorar a forma de planos de fachada vinculados à incidência solar, potencializando a aplicação de sistemas fotovoltaicos. A identificação e parametrização de formas segundo os princípios geométricos de captação fotovoltaica, sugerem a aplicação de uma metodologia de projeto para superfícies de fachadas fotovol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011