BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Produção de conhecimento sobre narrativas orais: contribuições para as investigações em linguagem infantil

Este estudo tem como objetivo indicar um panorama geral sobre a produção de conhecimento no que tange os padrões para o desenvolvimento da narrativa oral, nos últimos quatro anos por meio de uma revisão bibliográfica sistematizada, voltada para a temática de intervenção em linguagem infantil, com o uso de narrativas orais. A revisão foi realizada em uma única etapa, com critérios específicos, utilizando os seguintes descritores: narrativas, narrativa, narrativas de crianças, linguagem e desenvolvimento, linguagem oral, habilidades linguísticas, linguagem falada, linguagem infantil, narração/narração de histórias e linguagem. O período considerado foi de 2007 a 2011. Foram obtidos 900 registros, dentre os quais, nove (1%) atenderam aos critérios estabelecidos para análise. A maioria dos estudos relacionou-se com análises psicolinguísticas. Apenas um estudo utilizou método experimental. No período considerado foram produzidos poucos estudos abordando narrativas orais infantis; a sua grande maioria levou em consideração, fundamentalmente, aspectos cognitivos e linguísticos no processo de desenvolvimento da habilidade narrativa; a grande maioria das pesquisas foi realizada com crianças que possuem algum tipo de alteração em seu desenvolvimento linguístico. Considera-se que a produção de conhecimento, em relação ao desenvolvimento de narrativas orais infantis, exige, atualmente, um olhar voltado para as intervenções que utilizem metodologia experimental. Por fim, considera-se que é necessária uma atenção maior em relação ao desenvolvimento típico da habilidade narrativa.

Projeto criança saudável, educação dez: resultados com e sem intervenção do nutricionista

OBJETIVO: Planejar e aplicar um programa de orientação em nutrição, realizado por nutricionista e destinado a professores de 1ª a 4ª série do ensino fundamental, visando analisar a contribuição desse profissional no resultado do projeto Criança Saudável, Educação Dez quanto ao conhecimento dos escolares. MÉTODOS: O trabalho foi realizado em duas escolas públicas, A e B, nas quais foi desenvolvido o projeto educativo, sendo que na primeira os professores foram apoiados por um programa de orientação realizado por profissional nutricionista. Antes e depois do desenvolvimento do projeto educativo foi aplicado um instrumento para avaliar o conhecimento dos escolares sobre alimentação e nutrição. RESULTADOS: Os escolares da Escola A apresentaram mudança significante (p<0,01) no conhecimento de alimentação e nutrição após o desenvolvimento do projeto educativo, o que não ocorreu entre os estudantes da Escola B (p>0,05). CONCLUSÃO: Os resultados obtidos sugerem que a realização de programa de orientação, prestada por nutricionistas aos professores para desenvolverem o projeto educativo, maximizou os resultados, gerando mudança significante no conhecimento dos escolares sobre alimentação e nutrição. Tais resultados apontam a importância da capacitação do nutricionista para atuar em educação nutricional, indicando que o campo pedagógico merece aprofundamento nos cursos de graduação, de modo a permitir ao aluno e futuro profissional uma compreensão alicerçada e sólida do processo educativo.

A inclusão da criança com necessidades especiais na visão de berçaristas

A inserção das crianças de zero a 18 meses em creches poderá estimular o seu desenvolvimento motor e perceptocognitivo, podendo essa fase ser considerada a primeira da educação inclusiva. Objetivou-se verificar as concepções das profissionais do berçário relativas à inserção da criança com necessidades especiais na rotina de atividades desenvolvidas. Foram entrevistadas sete berçaristas da Secretaria Municipal de Educação de Bauru. Os dados, organizados segundo categorias analíticas: conceitos relativos ao processo de inclusão, benefícios para a criança e diferenças entre as crianças nessa faixa etária, foram submetidos à análise qualitativa. Os resultados mostraram que a inclusão de crianças com necessidades especiais é vista com reservas, explicitando ideias preconcebidas sobre a deficiência. Eles se justificam pela falta de conhecimento do desenvolvimento infantil e dos fatores que o envolvem, bem como pelo fato de os profissionais vincularem suas atividades às experiências pessoais.

Contraste fônico encoberto entre /t/ e /k/: um estudo de caso de normalidade e de transtorno fonológico

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Aquisição da coda vibrante: o estabelecimento de pistas fonético-acústicas

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Perfil de habilidades do desenvolvimento em crianças com holoprosencefalia e holoprosencefalia like

OBJETIVO: investigar e comparar o desempenho nas habilidades relacionadas ao desenvolvimento motor, cognitivo, linguístico, de socialização e autocuidados de indivíduos com holoprosencefalia e com holoprosencefalia-like. MÉTODO: participaram deste estudo 20 indivíduos com diagnóstico de holoprosencefalia, na faixa etária de 18 a 72 meses, de ambos os sexos, divididos em 2 grupos. O grupo 1 (G1) composto por 12 indivíduos com sinais clínicos do espectro da holoprosencefalia, e o grupo 2 (G2) com holoprosencefalia-like composto por 8 indivíduos com sinais clínicos do espectro da holoprosencefalia-like. A coleta de dados foi realizada por meio da aplicação do Inventário Portage Operacionalizado que avalia as áreas alvos deste estudo. Para a análise estatística utilizou-se análise descritiva da mediana e dos valores mínimos e máximos e foi aplicado o teste estatístico de Mann Whitney (< 0,05% para significância). RESULTADOS: os grupos 1 e 2 apresentaram alterações em todas as áreas do desenvolvimento avaliadas. Entretanto, os indivíduos do G1, com holoprosencefalia apresentaram maiores comprometimentos nas habilidades: motora, cognitiva, de linguagem, de socialização e autocuidados, quanto comparados aos indivíduos do G2, com holoprosencefalia-like. CONCLUSÃO: o desempenho nas áreas motoras, cognitivas, de linguagem, de socialização e autocuidados de indivíduos com holoprosencefalia e holoprosencefalia-like foi aquém do esperado, principalmente naqueles indivíduos com holoprosencefalia, que se justifica pelo maior comprometimento no sistema nervoso central. A natureza destas alterações pode estar associada ao universo de alterações neurológicas e craniofaciais descritas nestes quadros clínicos e também à influência do ambiente social.

Desempenho escolar de crianças com Distúrbio Específico de Linguagem: relações com habilidades metafonológicas e memória de curto prazo

OBJETIVO: Descrever o desempenho de crianças com Distúrbio Específico de Linguagem (DEL) em provas de leitura, escrita, aritmética, consciência fonológica e memória seqüencial auditiva, assim como, verificar se há associação positiva entre as provas que avaliam a aprendizagem escolar e as que avaliam o processamento da informação. MÉTODOS: Vinte sujeitos com diagnóstico de DEL, com idades entre 7 e 12 anos, foram submetidos ao Teste de Desempenho Escolar (TDE) e a duas provas, que avaliam o processamento da informação (Perfil de Habilidades Fonológicas e Subteste de Memória Seqüencial Auditiva do Teste de Illinois de Habilidades Psicolingüísticas - ITPA). RESULTADOS: A maioria apresentou alteração em todas as provas realizadas. As associações entre o desempenho do grupo nas diferentes provas demonstram que a habilidade metafonológica apresentou associação estatisticamente significante com as habilidades de leitura (p=0,02) e escrita (p=0,02). Por sua vez, a habilidade de memória seqüencial auditiva apresentou associação estatisticamente significante apenas com a habilidade de aritmética (p=0,0003). CONCLUSÃO: O desempenho escolar, assim como as habilidades de consciência fonológica e memória de curto prazo mostraram-se defasados na maioria dos sujeitos avaliados, havendo associação positiva entre: a prova de memória de curto prazo e a prova de aritmética; a prova de consciência fonológica e as provas de leitura e escrita. Neste contexto, reforça-se aqui a utilização de programas de intervenção baseados em Modelos Psicolingüísticos, que sugerem o uso de estratégias individuais para o desenvolvimento das habilidades metafonológicas.

Terapia de linguagem no espectro autístico: a interferência do ambiente terapêutico

OBJETIVO: Analisar o perfil funcional da comunicação de crianças e adolescentes com distúrbios do espectro autístico em dois ambientes de terapia de linguagem, que se diferenciam quanto ao aspecto físico. MÉTODOS: Participaram dez sujeitos com distúrbios do espectro autístico, seis do gênero masculino e quatro do gênero feminino, com idades entre 4 e 13 anos. Na coleta de dados, foram realizadas filmagens de oito sessões de terapia de linguagem individual com duração de 30 minutos, sendo quatro sessões em uma sala comum e quatro em uma sala com ambientação específica (sala NIC), intercaladamente, durante um mês. Para a análise dos dados foi empregado o Protocolo de Pragmática, e os resultados receberam tratamento estatístico. RESULTADOS: Verificou-se que não houve diferença significativa entre o perfil pragmático apresentado pelos dez sujeitos na sala comum e na sala NIC. CONCLUSÃO: O contexto físico aqui estudado não influenciou significativamente no perfil funcional da comunicação de indivíduos do espectro autístico, ainda que se tenha verificado tendências individuais apresentando melhor desempenho em uma sala ou em outra.

Estudo da viabilidade do desenvolvimento de sistemas integrados baseados em redes em chip sem processadores: sistema IPNoSys

The increase of capacity to integrate transistors permitted to develop completed systems, with several components, in single chip, they are called SoC (System-on-Chip). However, the interconnection subsystem cans influence the scalability of SoCs, like buses, or can be an ad hoc solution, like bus hierarchy. Thus, the ideal interconnection subsystem to SoCs is the Network-on-Chip (NoC). The NoCs permit to use simultaneous point-to-point channels between components and they can be reused in other projects. However, the NoCs can raise the complexity of project, the area in chip and the dissipated power. Thus, it is necessary or to modify the way how to use them or to change the development paradigm. Thus, a system based on NoC is proposed, where the applications are described through packages and performed in each router between source and destination, without traditional processors. To perform applications, independent of number of instructions and of the NoC dimensions, it was developed the spiral complement algorithm, which finds other destination until all instructions has been performed. Therefore, the objective is to study the viability of development that system, denominated IPNoSys system. In this study, it was developed a tool in SystemC, using accurate cycle, to simulate the system that performs applications, which was implemented in a package description language, also developed to this study. Through the simulation tool, several result were obtained that could be used to evaluate the system performance. The methodology used to describe the application corresponds to transform the high level application in data-flow graph that become one or more packages. This methodology was used in three applications: a counter, DCT-2D and float add. The counter was used to evaluate a deadlock solution and to perform parallel application. The DCT was used to compare to STORM platform. Finally, the float add aimed to evaluate the efficiency of the software routine to perform a unimplemented hardware instruction. The results from simulation confirm the viability of development of IPNoSys system. They showed that is possible to perform application described in packages, sequentially or parallelly, without interruptions caused by deadlock, and also showed that the execution time of IPNoSys is more efficient than the STORM platform

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Uma arquitetura de referência para o desenvolvimento de sistemas interativos multiplataformas

It is increasingly common use of a single computer system using different devices - personal computers, telephones cellular and others - and software platforms - systems graphical user interfaces, Web and other systems. Depending on the technologies involved, different software architectures may be employed. For example, in Web systems, it utilizes architecture client-server - usually extended in three layers. In systems with graphical interfaces, it is common architecture with the style MVC. The use of architectures with different styles hinders the interoperability of systems with multiple platforms. Another aggravating is that often the user interface in each of the devices have structure, appearance and behaviour different on each device, which leads to a low usability. Finally, the user interfaces specific to each of the devices involved, with distinct features and technologies is a job that needs to be done individually and not allow scalability. This study sought to address some of these problems by presenting a reference architecture platform-independent and that allows the user interface can be built from an abstract specification described in the language in the specification of the user interface, the MML. This solution is designed to offer greater interoperability between different platforms, greater consistency between the user interfaces and greater flexibility and scalability for the incorporation of new devices

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work