Geracao De Codigo
Mostrando 25-36 de 176 artigos, teses e dissertações.
-
25. Os códigos de obras: tradições e potencialidades
A presente dissertação discute o instrumento de política urbana conhecido como Código de Obras, elemento base em um processo de aprovação de projeto arquitetônico e presente em cerca de 60% dos municípios brasileiros. Remontando sua atual configuração às discussões de caráter higienista do século XIX as quais influenciaram na publicação do C�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/09/2011
-
26. Software adaptativo: método de projeto, representação gráfica e implementação de linguagem de programação. / Adaptive software: project method, graphical representation and programming language implementation.
Linguagem para programação adaptativa se apresenta como um tema relativo às tecnologias adaptativas que suscita muitas pesquisas, até que venha a se constituir em mais uma ferramenta disponível ao programador. Nessa perspectiva, esta dissertação apresenta uma linguagem de alto nível, básica, que permita a geração de código adaptativo, bem como os
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/09/2011
-
27. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
28. A model-based approach to user interfaces automatic building for information systems / Uma abordagem baseada em modelos para construção automática de interfaces de usuário para Sistemas de Informação
A construção de interfaces de usuário para Sistemas de Informação (SI) envolve modelagem e codificação de aspectos de aparência (apresentação) e comportamento (forma de interação). Este trabalho propõe uma abordagem baseada em modelos para construção dessas interfaces com o apoio de ferramentas de transformação automática de modelos e de ge
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/06/2011
-
29. Uma abordagem baseada em modelos para construção automática de interfaces de usuário para Sistemas de Informação / A model-based approach to user interfaces automatic building for information systems
A construção de interfaces de usuário para Sistemas de Informação (SI) envolve modelagem e codificação de aspectos de aparência (apresentação) e comportamento (forma de interação). Este trabalho propõe uma abordagem baseada em modelos para construção dessas interfaces com o apoio de ferramentas de transformação automática de modelos e de ge
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/06/2011
-
30. Model Driven RichUbi processo dirigido a modelos para a construção de interfaces ricas de aplicações ubíquas sensíveis ao contexto
A Web 2.0 permitiu aos usuários maior interatividade com as aplicações Web. As chamadas Aplicações de Internet Ricas (RIAs Rich Internet Applications) transpuseram os limites das interfaces simples construídas apenas em Hypertext Markup Language (HTML). Através da adoção de tecnologias que permitem a criação de interfaces mais avançadas, as RIAs
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/05/2011
-
31. Uma abordagem orientada a modelos para desenvolvimento de aplicações sensíveis ao contexto no ambiente de TV digital
Com a implantação do Sistema Brasileiro de Televisão Digital, e com a possibilidade de criação de aplicações interativas, o domínio de Televisão Digital (TVD) é um ambiente a ser explorado por aplicações inovadoras, como é o caso das Aplicações Sensíveis ao Contexto. Aplicações Sensíveis ao Contexto utilizam informações contextuais do us
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/04/2011
-
32. AGRICULTURA FAMILIAR DO MUNICÍPIO DE SANTA ROSA/RS, ENTRE A PRODUÇÃO E A LEGISLAÇÃO AMBIENTAL: LIMITES E POSSIBILIDADES / FAMILY FARM IN THE MUNICIPALITY OF SANTA ROSA / RS, BETWEEN PRODUCTION AND ENVIRONMENTAL LEGISLATION: LIMITS AND POSSIBILITIES
Desde a Revolução Industrial o desenvolvimento econômico baseia-se na utilização dos recursos naturais e dos recursos não-renováveis, causando impactos ambientais e a perda da biodiversidade, gerando problemas para os seres vivos como um todo. Diante dessa problemática têm-se aumentado os debates sobre a necessidade da preservação do meio ambiente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2011
-
33. Unidades de conservação e áreas de preservação permanente: estudo de caso para a bacia do Rio São Francisco / Conservation units and permanent preservation areas: case study for the São Francisco river basin
A bacia hidrográfica do Rio São Francisco, situada entre as coordenadas 46,67 - 45,09 O e 19,06 - 20,36 S, pertence à bacia hidrográfica da represa hidroelétrica de Três Marias MG, que por sua vez insere-se na grande bacia hidrográfica do Rio São Francisco. A escolha desta área realizou-se com base na importância ecológica e hidrológica que possu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/02/2011
-
34. Redes complexas de expressão gênica: síntese, identificação, análise e aplicações / Gene expression complex networks: synthesis, identification, analysis and applications
Os avanços na pesquisa em biologia molecular e bioquímica permitiram o desenvolvimento de técnicas capazes de extrair informações moleculares de milhares de genes simultaneamente, como DNA Microarrays, SAGE e, mais recentemente RNA-Seq, gerando um volume massivo de dados biológicos. O mapeamento dos níveis de transcrição dos genes em larga escala é
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/02/2011
-
35. Development tool for generating maps for use in dengue control at São Paulo state / Desenvolvimento de ferramenta de geração de mapas para uso no controle de dengue no estado de São Paulo
A situação epidemiológica da dengue vem se agravando no país como um todo e em particular no Estado de São Paulo. Grande quantidade de recursos são gastos na execução das ações de controle, sem considerar as diferentes vulnerabilidades do espaço urbano. O objetivo desse trabalho foi construir uma ferramenta de geração de mapas para análise das
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/02/2011
-
36. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011