Verificacao Formal
Mostrando 1-12 de 107 artigos, teses e dissertações.
-
1. Os efeitos do Programa Bolsa Família sobre a duração do emprego formal dos indivíduos de baixa renda
Resumo Neste artigo utilizamos microdados do Cadastro Único combinados com dados da Relação Anual de Informações Sociais (Rais) para examinar a duração do emprego entre indivíduos de famílias beneficiárias do Programa Bolsa Família. Para tanto, estimamos modelos de riscos proporcionais de Cox para comparar a duração no emprego entre beneficiári
Rev. Adm. Pública. Publicado em: 2017-10
-
2. Adaptação cultural do Test of Narrative Language (TNL) para o Português Brasileiro
RESUMO Objetivo Realizar a tradução e a adaptação cultural do Test of Narrative Language (TNL) para o Português Brasileiro. Métodos O TNL é um instrumento formal que avalia a compreensão e a narração oral de crianças entre cinco e 11 anos e 11 meses. O processo de tradução e adaptação do TNL teve as seguintes etapas: (1) tradução para a l�
CoDAS. Publicado em: 26/09/2016
-
3. O desenvolvimento do conceito de probabilidade em pre-adolescentes e adolescentes
Este trabalho, baseado na teoria de Jean Piaget sobre o desenvolvimento do pensamento adolescente, visa continuar a mesma linha de investigação no que se refere à aquisição do conceito de probabilidade. O conceito de probabilidade na teoria piagetiana representando a intercepção do real e do possível, foi submetido, neste trabalho, a uma análise cr�
Publicado em: 10/04/2012
-
4. Padrões baseados em metas: uma abordagem quantitativa aplicada à emissão de gases por veículos marítimos e automotivos. / Goal based standards: a quantitative approach applied to gases emissions of marine and automotive
Este trabalho propõe um método com base no planejamento estatístico de testes de confiabilidade para proporcionar um tratamento quantitativo aos dois primeiros níveis da abordagem de padrões baseados em metas (Goal-Based Standards). O uso do método é demonstrado em dois exemplos práticos, através da sua aplicação na meta de confiabilidade dos comp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/02/2012
-
5. As concepções de professores pós-graduandos sobre provas formais
Este estudo de caso, realizado com professores pós-graduandos em cursos universitários nos quais atua o autor, na Turquia, é parte de uma pesquisa de grande escala. O objetivo principal do estudo é identificar as concepções desses pós-graduandos sobre a prova formal e a atividade de implementá-la. Este artigo explicita os resultados preliminares da p
Bolema: Boletim de Educação Matemática. Publicado em: 2012-04
-
6. Metodologia para o desenvolvimento de sistemas de controle de APM (Automated People Movers) com aplicação ao sistema aeromovel de transporte de passageiros
Este trabalho consiste na proposição de uma metodologia que garanta o projeto efetivo de controladores para utilização em sistemas de proteção, operação e supervisão de sistemas APM (Automated People Movers), utilizando como estudo de caso o Sistema Aeromovel. Automated People Movers (APM) são sistemas de transporte de passageiros com operação co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
7. 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
-
8. 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
-
9. 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
-
10. 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
-
11. 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
-
12. Antropologia e semântica formal : fenomenologia e linguagem
O objetivo do texto consiste em demonstrar que a Semântica formal, enquanto campo de articulação entre Lógica e Ontologia, exige sua fundamentação em uma Antropologia. Para isto será necessário demonstrar que a distinção entre fundamento relativo e absoluto conduz a Semântica formal ao modo de fundamentação da fenomenologia de Heidegger. Isto si
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/08/2011