Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Acordo de Acionistas e qualidade dos lucros contábeis : Evidências empíricas no Mercado Brasileiro

O trabalho teve por objetivo verificar a influência da presença dos acordos de acionistas na qualidade das informações contábeis divulgadas pelas empresas listadas na BM&FBOVESPA, do ano de 2001 a 2011. Para inferir a respeito da qualidade das informações contábeis foram utilizadas as métricas de informatividade e value relevance. Foram analisados em separado: os acordos de comando (utilizados para garantir o controle) dos acordos de defesa (utilizados para garantir o acesso a determinados direitos através do alcance de um percentual mínimo de capital votante). A amostra teve como critério de corte o mínimo de 0,001 de liquidez na BM&FBOVESPA. Foi utilizada regressão linear múltipla com dados em painel desequilibrado, tendo como variáveis de controle: concentração de votos, tamanho, endividamento, market-to-book e perdas. Com base nos efeitos cumprimento e monitoramento, com a utilização da metodologia proposta, o trabalho aponta que empresas com qualquer um dos tipos de acordo entre acionistas possuem maior qualidade das informações contábeis divulgadas.

Conciliação entre formação esportiva e formação escolar : um estudo das seleções brasileiras masculinas de basquetebol de base

A pesquisa se caracteriza pela abordagem plurimetodológica do tipo qualitativa/quantitativa, e tem como objetivo investigar de que maneira se constroem as estratégias de conciliação entre a formação esportiva e escolar em atletas de elite que servem às seleções brasileiras masculinas de basquetebol Sub 17 e Sub 19. O estudo se organizou em três capítulos. Do tipo “estado do conhecimento”, o primeiro capítulo tem por objetivo mapear as produções acadêmicas que tratam da conciliação entre formação escolar e formação esportiva. Utiliza como fonte a base de dados Scielo para busca nacional e o Portal Periódicos Capes para busca internacional. Foram encontrados 17 artigos distribuídos em 13 periódicos. Os dados foram classificados/analisados por meio de indicadores bibliométricos, como distribuição anual, distribuição por revista, relação autoral e origem demográfica. Para análise também foram levados em consideração uma tese de doutorado, três dissertações de mestrado e três trabalhos apresentados em congresso, além de um número especial de periódico, não localizado nas bases escolhidas. Mostra que a preocupação com o tema surge na Europa e nos Estados Unidos, na década de 70, e que, no Brasil, essa questão passa a ser abordada nos anos 2000. Demonstra tentativas de conciliação entre as formações realizadas em países da Europa, Estados Unidos e Brasil, além da importância da família e do pertencimento de classes sociais na possibilidade de priorização a uma das formações envolvidas. O segundo capítulo, de natureza quali-quantitativa, investiga as estratégias utilizadas pelos atletas convocados em 2013 para as seleções brasileiras de basquetebol masculinas de base Sub 17 e Sub 19 anos, quanto às possíveis conciliações entre formação esportiva e escolar. Busca, ainda, compreender a influência das convocações para as seleções nacionais nos índices de escolaridade desses atletas de elite, como abandono, atraso e repetência escolar. A pesquisa mostra que esse grupo de atletas de elite apresenta médias de repetência, abandono e atraso escolar maiores que as médias nacionais. O terceiro capítulo analisa o entendimento desse grupo de jovens atletas em relação à formação escolar ou, ainda, se um possível desinteresse do grupo pelo modelo atual de escola se daria apenas pelo fato de serem esportistas de elite. Para isso, recorre às possibilidades de investigação oriundas da segunda metade do questionário utilizado como instrumento para adotar uma metodologia de livre associação de palavras direcionadas a partir de quatro palavras indutoras (estruturas semânticas), a saber: “treinar”, “estudar”, “ir a escola” e “competir”. Essa associação livre é usualmente utilizada como suporte teórico/metodológico em pesquisas que investigam representação social (ACOSTA, 2005). Ao dar visibilidade a essas questões nota-se que a posição desses atletas, em relação à escola, não difere das encontradas em outras pesquisas que tratam de jovens inseridos no ensino médio. A falta de significado do que se aprende na escola em relação ao que eles desejam desenvolver como atividade laboral, faz com que a escola seja entendida como monótona, mas, ao mesmo tempo, necessária, caso seus projetos de formação esportiva não aconteçam.

Hedge accounting no mercado acionário brasileiro : efeitos na qualidade da informação contábil e disclosure

Este trabalho investiga, no mercado acionário brasileiro, o efeito da contabilidade de hedge na qualidade das informações contábeis divulgadas, no disclosure dos instrumentos financeiros derivativos e na assimetria de informação. Para medir a qualidade da informação contábil, foram utilizadas as métricas de relevância da informação contábil e informatividade dos lucros contábeis. Para a execução deste trabalho, foi constituída uma amostra geral com empresas brasileiras, não financeiras, listadas na Bolsa de Valores de São Paulo, compreendendo as 150 empresas com maior valor de mercado em 01/01/2014. A partir da amostra geral, foram constituídas amostras para a aplicação dos modelos de value relevance, informativeness, disclosure e assimetria de informação. A amostra para relevância contou com 758 observações firmas-anos, para o período de 2008 a 2013. A amostra para informatividade contou com 701 observações firmas-anos, para o período de 2008 a 2013. A amostra para disclosure contou com 100 observações firmas-anos, para o período de 2011 a 2012. A amostra para assimetria de informação contou com 100 observações firmas-anos, para o período de 2011 a 2012. Para as análises dos dados, utilizou-se regressões com errospadrão robustos com abordagem POLS e Efeitos Fixos, aplicadas sobre dados em painel. Complementarmente, para as análises do efeito do hedge accounting sobre o disclosure e assimetria de informação, foi aplicado o método de Propensity Score Matching. As evidências encontradas para a influência da contabilidade de hedge na relevância da informação contábil apontaram uma relação positiva e significante na interação com o LL. Na análise da informatividade dos lucros contábeis, a pesquisa evidenciou uma relação negativa e estatisticamente significante do lucro quando interagido com a variável dummy de hedge accounting. Quanto às evidências encontradas para a influência do hedge accounting sobre o disclosure dos derivativos, verificou-se uma relação positiva e estatisticamente significante da dummy de hedge accounting com o indicador de evidenciação dos derivativos. Em relação às evidências para a assimetria de informação, embora os coeficientes se mostrassem no sentido esperado, os mesmos não foram estatisticamente significativos. Adicionalmente, incorporamse às análises econométricas uma análise descritiva, na amostra geral, da utilização do hedge accounting no Brasil, para o ano de 2013. Dentre as 150 empresas da amostra, 49 empresas utilizaram hedge accounting, onde 41 empresas adotam apenas 1 tipo de hedge. O hedge de fluxo de caixa é o tipo de hedge mais adotado pelas empresas, sendo utilizado por 42 companhias.

Roteamento sensível ao contexto em redes de sensores sem fio : uma abordagem baseada em regras de aplicação para o Protocolo RPL

Este trabalho apresenta um serviço de reconfiguração dinâmica para Redes de Sensores sem Fio. O trabalho inclui o projeto e a definição de uma arquitetura conceitual que suporta a coleta de uma variedade de informações contextuais e provê uma abstração alto nível para especificação de roteamento sensível ao contexto através de reconfiguração de métricas de roteamento e parâmetros de comunicação. O objetivo da infraestrutura proposta é possibilitar a criação de regras que adaptem o comportamento da rede em tempo de execução, em função dessas informações contextuais. Uma implementação da arquitetura para o protocolo RPL e o sistema operacional Contiki foi realizada, mostrando a viabilidade da abordagem proposta.

Estudo da evolução da paisagem da área do município de Linhares (ES) nos anos de 1985 e de 2013/2014, por meio das métricas

Trata a presente pesquisa sobre o estudo da evolução da área da paisagem que compõe o município de Linhares (ES), nos anos de 1985 e 2013/2014, que constitui o maior município do Estado do Espírito Santo. Foi realizada, por meio de processamento digital de imagens de satélites LANDSAT 5 e 8, a classificação de uso e ocupação da terra da área em estudo. Além disso usou-se as imagens do satélite RapdEye para acurácia da classificação digital das imagens. A partir dos resultados levantados de uso e ocupação foram definidas as matrizes da paisagem para 1985 e 2013/2014, bem como avaliadas as manchas que compõem a matriz. Foram aplicadas as métricas da paisagem utilizando a ferramenta de estatística Fragstats, possibilitando o cálculo dos Índices de Paisagem afim de avaliar a evolução qualitativa e quantitativa da paisagem do município de Linhares.

Representing organizational structures in enterprise architecture : an ontology-based approach

Arquitetura Corporativa promove o estabelecimento de uma visão holística da estrutura e forma de trabalho de uma organização. Um dos aspectos abordados em Arquitetura Corporativa está associada a "estrutura ativa" da organização, que diz respeito a “quem" realiza as atividades organizacionais. Várias abordagens têm sido propostas a fim de proporcionar um meio para a representação de Arquitetura Corporativa, entre as quais ARIS, RM-ODP, UPDM e ArchiMate. Apesar da aceitação por parte da comunidade, as abordagens existentes se concentram em propósitos diferentes, têm limitações de escopo e algumas não têm semântica de mundo real bem definida. Além das abordagens de modelagem, muitas abordagens de ontologias têm sido propostas, a fim de descrever o domínio de estrutura ativa, incluindo as ontologias de SUPER Project, TOVE, Enterprise Ontology e W3C Org Ontology. Embora especificadas para fundamentação semântica e negociação de significado, algumas das abordagens propostas têm fins específicos e cobertura limitada. Além disso, algumas das abordagens não são definidas usando linguagens formais e outras são especificadas usando linguagens sem semântica bem definida. Este trabalho apresenta uma ontologia de referência bem fundamentada para o domínio organizacional. A ontologia organizacional de referência apresentada abrange os aspectos básicos discutidos na literatura organizacional, tais como divisão do trabalho, relações sociais e classificação das unidades estruturais. Além disso, também abrange os aspectos organizacionais definidos em abordagens existentes, levando em consideração tanto abordagens de modelagem quanto abordagens ontológicas. A ontologia resultante é especificada em OntoUML e estende os conceitos sociais de UFO-C.

Ciclo de vida empresarial e qualidade da informação contábil das companhias abertas brasileiras

Esta dissertação busca identificar se os diferentes Estágios de Ciclo de Vida (ECVs) estão relacionados com a qualidade da informação contábil nas empresas brasileiras. Segundo pesquisas internacionais, os diferentes ECVs influenciam a qualidade da informação contábil. Aqui, foram empregadas as métricas de relevância, tempestividade e conservadorismo, de maneira semelhante às utilizadas por Lopes (2009) para verificar a qualidade da informação contábil. Para identificar os Estágios de Ciclo de Vida, foi utilizada a forma de identificação orgânica elaborada por Dickinson (2011), fundamentada nos sinais dos fluxos de caixa da empresa. A amostra deste trabalho é composta por empresas brasileiras que negociaram ações na BM&FBovespa, no período de 2008 à 2013, sendo excluídas as empresas do setor financeiro. O total de empresas que compõem a amostra é de 330, sendo 1.163 observações para o modelo de relevância, 1.163 para o modelo de tempestividade e 1.167 observações para o modelo de conservadorismo. Para verificar os efeitos dos ECVs na qualidade da informação contábil foram utilizados dados em painel desbalanceado e regressões robustas, com a correção de White, identificando os ECVs através de dummies. Os resultados encontrados indicam que os ECVs afetam a qualidade da informação contábil e que nos estágios de Crescimento e Maturidade as informações contábeis apresentam maior relevância e tempestividade. Não foi possível identificar os efeitos dos diferentes ECVs no conservadorismo, pois as variáveis de interesse não foram estatisticamente significantes.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

Towards a Catalog of Usability Smells

This paper presents a catalog of smells in the context of interactive applications. These so-called usability smells are indicators of poor design on an application’s user interface, with the potential to hinder not only its usability but also its maintenance and evolution. To eliminate such usability smells we discuss a set of program/usability refactorings. In order to validate the presented usability smells catalog, and the associated refactorings, we present a preliminary empirical study with software developers in the context of a real open source hospital management application. Moreover, a tool that computes graphical user interface behavior models, giving the applications’ source code, is used to automatically detect usability smells at the model level.

Minha filha aprende a falar: percurso de aquisição da linguagem de uma criança brasileira nos tempos actuais

RESUMO: A linguagem é o traço distintivo do ser humano. É por meio dela que nos comunicamos, formamos todos os nossos conceitos, temos uma estória e cultura. A capacidade humana para adquirir um sistema de regras tão complexo como é a linguagem verbal, em um espaço de tempo relativamente curto, tem despertado o interesse de estudiosos ao longo do tempo. Conforme a literatura consultada, a linguagem, de caráter inato, é adquirida em um meio de falantes, seguindo etapas universais de desenvolvimento. Interrogamo-nos então se, nos tempos atuais, marcados pela globalização, esse processo mantem-se igual ou pode sofrer modificações. Esta dissertação resulta de um estudo feito durante os anos 2007/2009, com uma criança brasileira, e teve como objetivo principal descrever o percurso de aquisição da linguagem nos tempos atuais, utilizando a metodologia do estudo de caso. Os dados coletados foram analisados sob os cinco componentes da linguagem: Fonologia, Morfologia, Sintaxe, Semântica e Pragmática, e comparados ao referencial teórico, no intuito de identificar semelhanças e/ou diferenças entre ambos. ABSTRACT: The language is the human‟s differential trace. It is whereby that we communicate, we form all our concepts, we have a story and culture. The human capacity to acquire a rules system such complex as the verbal language, in a relatively short time space, has been awaking the interest of studious along time. According to the consulted literature, the languae, of innate character, is acquired in a way of speakers, following universal stages of development. So, we asked us if, in the current times, marked by globalization, this process keep equal or can suffer modifications. This dissertation results from a study reayized during years 2007/2008, with a Brazilian child, and it had as main goal to describe the language acquisition route in the current times, using the case study as methodology. The collected data were analyzed under the five language components: Phonology, Morphology, Syntax, Semantic and Pragmatic, and compared to theory, intending identifying similarities and/or differences between both.

Methods for automatic and assisted image annotation

Personal memories composed of digital pictures are very popular at the moment. To retrieve these media items annotation is required. During the last years, several approaches have been proposed in order to overcome the image annotation problem. This paper presents our proposals to address this problem. Automatic and semi-automatic learning methods for semantic concepts are presented. The automatic method is based on semantic concepts estimated using visual content, context metadata and audio information. The semi-automatic method is based on results provided by a computer game. The paper describes our proposals and presents their evaluations.

Impacto de um programa de estimulação do desenvolvimento lexical em crianças pré-escolares, sem ou com necessidades educativas especiais

Dissertação apresentada à Escola Superior de Educação de Lisboa para a obtenção do grau de mestre em Ciências da Educação - Especialização em Educação Especial

Quase-verdade e pragmatismo

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