Metodos Formais Ciencia Da Computacao
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Geração automática de casos de testes para máquinas de estados finitos / Automatic test case generation for finite state machines
Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetiv
Publicado em: 2010
-
2. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
3. Verificação formal de workflows com spin / Formal workflow verification with spin
O gerenciamento de workflows é uma realidade atualmente, mas os sistemas atuais carecem de suporte à verificação de correção em modelos de workflow. Este trabalho visa a realização de verificações em processos, objetivando a detecção de erros sintáticos, como a existência de atividades mal modeladas, ou seja, sem condições de entrada ou de sa
Publicado em: 2010
-
4. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
5. Formal verification of fair exchange protocols using the strand spaces method / Verificação formal de protocolos de trocas justas utilizando o metodo de espaços de fitas
Fair exchange protocols were first proposed as a solution to the problem of exchanging digital items, between two or more entities, without forcing them to trust each other. The popularization of the internet resulted in an increasing amount of lay users, which constantly participate in exchange transactions, such as electronic commerce (ecommerce), internet
Publicado em: 2009
-
6. Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade
Behind the growth of the amount of broadband users connections in the world, the wide use of mobile devices as cell phones and PDAs and other access from anywhere throughout Internet, always require some level of availability to support customer needs. This necessity made which the high availability architectures were used on large scale and they were migrat
Publicado em: 2009
-
7. Uma proposta de taxonomia de boas práticas em desenvolvimento de software / A proposed taxonomy of best practices in software development
Desde o início da década de 90, as empresas de software têm passado por transformações no seu modo de desenvolver produtos. Conseqüentemente, as abordagens de Engenharia de Software ganharam força no mercado e a busca por utilização de métodos científicos e ferramentas que façam aumentar a qualidade dos serviços têm crescido consideravelmente.
Publicado em: 2009
-
8. Uma proposta metodológica para construção de ontologias: uma perspectiva interdisciplinar entre as Ciências da Informação e da Computação
A pesquisa apresenta princípios metodológicos para desenvolvimento de ontologias formais, construídos através da análise da literatura sobre metodologias para construção de ontologias e de normas internacionais para construção de software e construção de vocabulários controlados. Através de pesquisa teórica e empírica, foi possível construir
Publicado em: 2008
-
9. Diretrizes para avaliação de IHC baseada em modelos
Tradicionalmente, a avaliação de IHC é aplicada nas fases finais do processo de desenvolvimento de um sistema interativo, quando existe, pelo menos, um protótipo do mesmo. Executar esta avaliação antecipadamente ainda na etapa de projeto pode diminuir os custos com reparos de eventuais problemas. Normalmente, este tipo de avaliação é feito sobre mod
Publicado em: 2008
-
10. ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT
Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados
Publicado em: 2007
-
11. Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes s
Publicado em: 2007
-
12. Identificação de nomes ativos em agentes-π baseada em tipos
Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algo
Publicado em: 2007