Especificacao Formal
Mostrando 1-12 de 111 artigos, teses e dissertações.
-
1. Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
RESUMO Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação. O arcabouço é desenvolvido com base em Programação em Lógica, e consiste em uma linguagem formal que utiliza o paradigma de metamodela
Perspect. ciênc. inf.. Publicado em: 2017-06
-
2. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos / A conceptual model for smart environments based on formal interactions in physical spaces
Neste trabalho apresentamos um modelo para ambientes inteligentes baseado em organizações de agentes, onde interações entre entidades são associadas a espaços físicos, pessoas carregam dispositivos e se movimentam entre diferentes espaços físicos e cada espaço físico contém definições de interações (comportamentos definidos por normas) própr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/11/2012
-
3. Modelo de especificação de interfaces tangíveis de mesa TTUI-SM
No cenário de desenvolvimento de interfaces computacionais, os avanços nas pesquisas buscam oferecer novas formas de interação que se aproximam da forma natural com que o homem interage com o mundo real. Dentre as diversas interfaces avançadas, as interfaces tangíveis de mesa (tabletop), promovem a ligação entre objetos físicos e objetos virtuais, p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/09/2012
-
4. 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
-
5. O princípio da legalidade no direito tributário revisto: uma questão de hermenêutica
O Direito Tributário, por lidar com o relevante valor liberdade, é ramo do direito em que a preservação da segurança jurídica se mostra obremodo necessário, aparecendo, neste contexto, os princípios como meios de restringir o poder estatal, sendo o princípio da legalidade que é um dos postulados de maior relevância, pelo qual perpassa toda relaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2012
-
6. Especificação de bibliotecas digitais de objetos complexos / Specification of digital libraries of digital complex objects
Digital libraries are advanced and complex information systems that store, aggregate, and manage correlated information. These systems are used by specific communities to access digital objects of interest. Due to the creation of huge collections of heterogeneous data (in terms of type and format), some of these data are organized in digital complex objects,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
7. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
8. Plano de segurança para autenticação de dados em redes orientadas à informação / Security plane for data authentication in information-centric networks
A segurança da informação é responsável pela proteção das informações contra o acesso nãoautorizado, uso, modificação ou a sua destruição. Com o objetivo de proteger os dados contra esses ataques de segurança, vários protocolos foram desenvolvidos, tais como o Internet Protocol Security (IPSEC) e o Transport Layer Security (TLS), provendo mec
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/09/2011
-
9. Joker: um realizador de desenhos animados para linguagens formais
Usando métodos formais, o desenvolvedor pode aumentar a confiabilidade e corretude do software. Além disso, o desenvolvedor pode concentrar-se mais nos requisitos funcionais. Porém há muita resistência em se adotar essa abordagem de desenvolvimento de software. A razão principal e a escassez de suporte ferramental adequado, útil e de fácil utilizaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2011
-
10. JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Esta dissertação tem como objetivo estender a ferramenta JCircus, um tradutor de especificações formais para código que recebe uma especificação em Circus como entrada, e traduz a especificação para código Java. Circus é uma linguagem formal cuja sintaxe é baseada nas sintaxes das linguagens Z e CSP. O código gerado por JCircus faz uso de JCSP,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/08/2011
-
11. 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
-
12. Processo de pré-autoria de atividades de aprendizagem com uso de jogos e cooperação
O uso de jogos e cooperação em um processo de aprendizagem pode introduzir aspectos tais como ludicidade e interatividade, favorecendo o desenvolvimento de atividades de aprendizagem mais enriquecidas e motivadoras. Atualmente, contudo, esses dois aspectos são utilizados de forma isolada nas atividades de aprendizagem desenvolvidas. Entretanto, acredita-s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011