Notaaao
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
2. FormaÃÃo Musical de Professores em Ambientes Virtuais de Aprendizagem. / Musical Education of Teachers in Virtual Learning Environments
A realidade escolar brasileira demonstra uma carÃncia de professores com formaÃÃo adequada para o trabalho com MÃsica em sala de aula. A lei 11.769/2008 ampliou essa demanda, tornando necessÃrio estabelecer condiÃÃes para a formaÃÃo musical docente, garantindo o alcance dos objetivos da legislaÃÃo. Nesse sentido, buscamos atravÃs deste estudo ide
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/12/2010
-
3. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
4. Mapeando CSP em UML-RT
A integraÃÃo de mÃtodos formais com notaÃÃes semi-formais visuais à uma tendÃncia em engenharia de software. MÃtodos formais apresentam uma semÃntica precisa e permitem verificaÃÃo de propriedades. No entanto, nÃo sÃo considerados intuitivos. Por outro lado, notaÃÃes semi-formais visuais, como UML, sÃo facilmente integradas no processo de des
Publicado em: 2008
-
5. RelaÃÃo entre formas espontÃneas de comunicaÃÃo e desempenho ortogrÃfico de crianÃas : um estudo com o dispositivo didÃtico Jogo de comunicaÃÃo por telefone
O objetivo deste estudo foi o de analisar a relaÃÃo entre o conhecimento das correspondÃncias fonogrÃficas da norma ortogrÃfica do portuguÃs (regulares diretas e contextuais e irregulares) e as formas de comunicaÃÃo (repetiÃÃo da mensagem, silabaÃÃo e comentÃrios sobre a escrita) adotadas em trÃs situaÃÃes textuais (anÃncio, receita de bolo
Publicado em: 2007
-
6. AperfeiÃoamento de testes de hipÃteses para modelos nÃo-lineares simÃtricos
Neste trabalho, tratamos de refinamentos para testes de hipÃteses em modelos de regressÃo nÃo-lineares simÃtricos, assumindo que o parÃmetro de escala à desconhecido. Apresentamos, em notaÃÃo matricial, fatores de correÃÃo de Bartlett e tipo-Bartlett para melhorar as estatÃsticas da razÃo de verossimilhanÃas e escore, respectivamente, nesta clas
Publicado em: 2007
-
7. RecuperaÃÃo de imagens baseada em uma abordagem hÃbrida
Nos Ãltimos anos. tÃm-se registrado um crescente interesse e popularizaÃÃo de imagens digitais. atravÃs de dispositivos tais como cÃmeras digitais. celulares, webcam ou filmadoras digitais. Com a grande quantidade ele informaÃÃo visual disponÃvel, cresce a dificuldade do usuÃrio em recuperar essas inforrnaÃÃes de forma precisa e eficiente. Atualm
Publicado em: 2007
-
8. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
9. GeraÃÃo automÃtica de casos de teste CSP orientada por propÃsitos
O processo de desenvolvimento de software està sujeito a inserÃÃo de erros diversos cuja presenÃa compromete a qualidade final dos produtos de software. Teste à uma atividade dinÃmica e bastante custosa dentro das vÃrias empregadas pela Garantia da Qualidade de Software. O objetivo de teste à demonstrar que um comportamento especÃfico (cenÃrio) de
Publicado em: 2006
-
10. EqualizaÃÃo adaptativa e autodidata de canais lineares e nÃo-lineares utilizando o algoritmo do mÃdulo constante / Autodidact and adaptive equalization of the nonlinear and linear channels using the constant module algorithm
Este trabalho trata da proposiÃÃo de algoritmos para equalizaÃÃo cega de canais lineares e nÃao-lineares inspirados no Algoritmo do MÃdulo Constante (CMA). O CMA funciona de maneira bastante eficiente com constelaÃÃes nas quais todos os pontos possuem a mesma amplitude, como em modulaÃÃes do tipo Phase Shift Keying (PSK). Entretanto, quando os pont
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/08/2005
-
11. "meuqueridoblog.com": A notaÃÃo escrita produzida no gÃnero weblog e sua influÃncia na notaÃÃo escrita escolar
Este estudio ha tenido como objetivo analizar si la notaciÃn escrita producida en el gÃnero weblog (bitÃcoras de web) està influenciando la notaciÃn escolar. Para la construcciÃn de la pesquisa, de la cual han participado dos adolescentes bloguistas, hemos reconstituido la historia y hemos caracterizado el gÃnero emergente de los medios de comunicaci�
Publicado em: 2005
-
12. O ensino e a avaliaÃÃo do aprendizado do sistema de notaÃÃo alfabÃtica numa escolarizaÃÃo organizada em ciclos
Esse trabalho buscou analisar como estava ocorrendo o ensino e a avaliaÃÃo do aprendizado do Sistema de NotaÃÃo AlfabÃtica num regime ciclado. TÃnhamos como aspectos a serem investigados, durante a pesquisa, os encaminhamentos didÃticos na Ãrea de lÃngua, as formas de avaliaÃÃo, o tratamento dado aos erros dos educandos, as formas de registro, o t
Publicado em: 2004