Verificacao De Assembly
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Autoassociação de sais complexos de surfatantes e copolímeros aleatórios e enxertados / Self-assembly of complex salts formed by surfactants and random or grafted copolymers
Este trabalho se insere em uma linha de pesquisa de nosso grupo sobre a autoassociação de surfatantes iônicos que são neutralizados por contraíons poliméricos, formando os chamados sais complexos. A proposta do presente projeto trata da verificação do efeito de diferentes arquiteturas ou composições químicas de poliânions sobre as propriedades de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/06/2012
-
2. Aplicação do método B ao projeto formal de software embarcado
Este trabalho apresenta um método de projeto proposta para vericação formal do modelo funcional do software até o nível da linguagem assembly. Esse método é fundamentada no método B, o qual foi desenvolvido com o apoio e interesse da multinacional do setor de petróleo e gás British Petroleum (BP). A evolução dessa metodologia tem como objetivo co
Publicado em: 2009
-
3. Modelagem do processo de AIV em veículos de sondagem espacial.
Como um aprimoramento ao processo de AIV (Montagem, Integração e Verificação, do inglês, Assembly, Integration and Verification), fundamental e tendencioso a erros, este trabalho apresenta novos método e linguagem de modelagem. Esta linguagem foi criada sobre uma ontologia construída especificamente para essa finalidade e é particularmente aplicável
Publicado em: 2008
-
4. Geração automatica de montadores em ArchC / Automatic generation of assemblers using ArchC
Projetistas de sistemas dedicados enfrentam atualmente novos desafios em todas as fases do projeto. A difusão da tecnologia conhecida como SoC (System on a Chip) requer novos paradigmas para a especificação, implementação e verificação do projeto. A alta complexidade de tais sistemas e a grande variedade de configurações disponíveis podem tornar a
Publicado em: 2005