BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Perfil da fluência da fala na síndrome de Williams-Beuren: estudo preliminar

TEMA: o padrão de fala fluente atribuído aos indivíduos com a síndrome de Williams-Beuren sustenta-se pela efetividade da alça fonológica. Alguns estudos citaram a ocorrência de disfluências decorrentes de prejuízos léxico-semânticos, entretanto, a quebra de fluência não foi bem especificada quanto ao tipo e freqüência de ocorrência. OBJETIVO: obter o perfil da fluência da fala de indivíduos com a SWB e comparar com um grupo controle pareado por gênero e idade mental semelhante. MÉTODO: foram avaliados 12 sujeitos com síndrome de Williams-Beuren a com idade cronológica entre 6,6 a 23,6 e idade mental de 4,8 a 14,3 anos que foram comparados a outros 12 sujeitos de idade mental semelhante com ausência de dificuldades de linguagem/aprendizagem. Para avaliação da fluência foi utilizado o Teste de Linguagem Infantil - ABFW, na área de fluência, que possibilitou classificar, quantificar e comparar os dois grupos quanto às tipologias e freqüência de rupturas e velocidade de fala. RESULTADOS: o grupo com a síndrome de Williams-Beuren (SWB) apresentou maior porcentagem de descontinuidade de fala e freqüência aumentada para disfluências comuns do tipo hesitação e repetição de palavras quando comparados aos indivíduos com idade mental semelhante e com desenvolvimento típico de fala e linguagem. CONCLUSÃO: O perfil da fluência da fala apresentado pelos indivíduos com a SWB neste estudo mostrou a presença de disfluências que podem ser decorrentes de prejuízo no processamento léxico-semântico e sintático da informação verbal; ressaltando-se, pois a necessidade de investigações mais sistemáticas sobre este tema.

Caracterização dos processos de leitura em escolares com dislexia e distúrbio de aprendizagem

OBJETIVO: Caracterizar e comparar o desempenho de escolares com dislexia, distúrbio de aprendizagem e bom desempenho acadêmico nos processos de leitura. MÉTODOS: Participaram 60 escolares de ambos os gêneros, de primeira a quarta série do ensino fundamental de uma cidade no interior de São Paulo, que foram divididos em: GI - 20 escolares com diagnóstico interdisciplinar de dislexia; GII - 20 escolares com diagnóstico interdisciplinar de distúrbio de aprendizagem; e GIII - 20 escolares com bom desempenho acadêmico, pareados por gênero, faixa etária e escolaridade com o GI e GII. Os escolares foram submetidos à aplicação da adaptação brasileira da Avaliação dos Processos de Leitura - PROLEC, composta por quatro blocos: identificação de letras, processos léxicos, sintáticos e semânticos. RESULTADOS: Os escolares de GIII apresentaram desempenho superior em relação ao GI e ao GII. Foram encontradas diferenças nas provas referentes aos sinais de pontuação e compreensão de orações e textos, em que foi evidenciado desempenho inferior do GII em relação ao GI. Quanto à classificação dos resultados, a maior parte dos escolares do GI apresentou desempenho normal no processo de identificação de letras e dificuldade grande no processo léxico, comprometendo os demais processos, e o GII apresentou dificuldade grande em todos os processos. CONCLUSÃO: Os escolares com dislexia e distúrbio de aprendizagem apresentam desempenho inferior nas provas dos processos de leitura. Os escolares com dislexia apresentam dificuldades no domínio dos processos léxico, sintático e semântico e os escolares com distúrbio de aprendizagem apresentam dificuldades em todos os processos avaliados.

As abordagens teóricas e os formalismos para o tratamento computacional do significado lexical

No âmbito do Processamento Automático de Línguas Naturais (PLN), o desenvolvimento de recursos léxico-semânticos é premente. Ao conceber os sistemas de PLN como um exercício de engenharia da linguagem humana, acredita-se que o desenvolvimento de tais recursos pode ser beneficiado pelos modelos de representação do conhecimento, desenvolvidos pela Engenharia do Conhecimento. Esses modelos, em particular, fornecem simultaneamente o arcabouço teórico-metodológico e a metalinguagem formal para o tratamento computacional do significado das unidades lexicais. Neste artigo, após a apresentação da concepção linguístico-computacional de léxico, elucidam-se os principais paradigmas de representação do conhecimento, enfatizando a abordagem do significado e a metalinguagem formal vinculadas a cada um deles.

Ambigüidade gerada pela homonímia: revisitação teórica, linhas limítrofes com a polissemia e proposta de critérios distintivos

O presente trabalho almeja expor o fenômeno da homonímia no português do Brasil, enquanto ambigüidade presente em uma língua natural, por meio de uma revisitação teórica em diversos autores e em confronto com a polissemia. Ademais, pretende-se, além de redefinir conceitualmente a homonímia, propor critérios semânticos distintivos para esse fenômeno lingüístico, tais como a análise sêmica, o campo léxico, o uso de expressões cristalizadas e a ocorrência de traços especificadores.

Libro blanco de interoperabilidad de gobierno electrónico para América Latina y el Caribe: versión 3.0

Incluye Bibliografía

O emprego do presente indicativo em entrevistas com enfoque no passado

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Organização prosódica e interpretação de canções: a frase entonacional em quatro diferentes interpretações de Na batucada da vida

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um estudo das modalidades deôntica e volitiva nos discursos do presidente Lula

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A gramaticalização de então no português paulista: um estudo pancrônico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

As interrogativas de conteúdo na história do Português brasileir o: uma abordagem discursivo-funcional

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

Acessibilidade semântica nas construções relativas em línguas indígenas brasileiras: um estudo tipológico-funcional

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

Proposta de um dicionário eletrônico terminológico onomasiológico bilíngue inglês-português no domínio das redes neurais artificiais

Pós-graduação em Estudos Linguísticos - IBILCE

O vocabulário básico do português no processo de aquisição da língua materna

Pós-graduação em Estudos Linguísticos - IBILCE

As criações neológicas apresentadas por José Simão no jornal Folha de São Paulo

Pós-graduação em Estudos Linguísticos - IBILCE