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.

Análise da produção científica nacional fonoaudiológica acerca da linguagem escrita

TEMA: a produção científica nacional sobre a linguagem escrita no âmbito da Fonoaudiologia. OBJETIVO: analisar parte da produção fonoaudiológica brasileira acerca da linguagem escrita, entre os anos de 1980 a 2004, levando em conta o período da publicação; a distribuição de freqüência por período; os tipos de publicações; as sub-temáticas abordadas e a autoria. MÉTODO: a pesquisa de caráter documental configurou a opção metodológica selecionada para a realização desse estudo. Foram analisados livros, capítulos de livros e artigos publicados em sete periódicos nacionais de Fonoaudiologia (1980 a 2004). RESULTADOS: as produções científicas em torno da linguagem escrita, no período considerado, perfazem um total de 236 publicações. Desse total, 3,39% foram publicadas na década de 1980; 44,1% na década de 1990; e 52,5% durante o período de 2000-2004. Quanto ao tipo das publicações, 18,5% foram publicadas em forma de livro, 39% de capítulo de livro e 42,5% de artigo em periódico. Quanto à autoria das publicações, 42 autores (76,36%), são vinculados a instituições de ensino superior, como docentes ou discentes, com maior concentração no Estado de São Paulo e menor no Rio de Janeiro. As produções analisadas versaram sobre cinco sub-temáticas: distúrbios de linguagem escrita (52%); processo de apropriação da linguagem escrita (23,5%); surdez e linguagem escrita (8,90%); alterações neurológicas e linguagem escrita (8,22%) e escola e linguagem escrita (7,53%). CONCLUSÃO: a pesquisa permitiu recuperar parte da memória acerca da construção de um campo de atuação e de conhecimento da área fonoaudiológica: a linguagem escrita. O ascendente crescimento de publicações em torno dessa temática aponta para o implemento de pesquisas nesse campo da Fonoaudiologia e, portanto, a pertinência de estudos que objetivem analisar os rumos da produção científica relativa ao mesmo.

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.

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]

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

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

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Crítica ao fundacionismo cartesiano com base no argumento contra a linguagem privada

This assignment ains to prove the pertinency of using the wittgenstein´s argument against private language as a criticism to cartesian fundacionism. Therefore, I want to demonstrate in the first chaper the conceptual viability of facing the cartesian argument of cogito not as a simple silogism but as an exemple of a private experience (process of thinking). At the second chaper, the subordination of the argument against private language give us the idea that rules can only be followed by means of corrections givem by a linguistic community that is external to the private subject, in a way to be unviable the assumption that is possible to name an internal experience without searching external rules of the use of terms. At the chaper 3 the pertinency of the hypothesis raised by A. Kenny, about the overtaking of the argument against private language can be extended to the idea of epistemic and ontologic privacy that would lend validity to the fundacion present at the argument at the cartesian cogito. In oder to become evident the pertinency of use of Wittgenstein´s argument agaist Descartes´ fundation, it´s necessary, at the chaper 3, to demonstrate the impertinency of the objection to the A. Kenny´s hypothesis, based on the experiency of the thought of the brain at the recipient, to make clear the incompatibility existing between the cartesian idea of cogito and Wittgenstein´s notion that language is an activitie followed by rules, wich correction criterion may be external and intersubjective