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.

Concepções de alfabetização, leitura e escrita que ancoram o Projeto Trilhas

Este trabalho tem como objeto de estudo os impressos do Projeto Trilhas, material pedagógico produzido em parceria entre o Instituto Natura, a Comunidade Educativa CEDAC e o Ministério da Educação. Trata-se de uma análise documental com as quais se procurou envolver as noções de enunciado, texto, gênero e suporte que possibilitaram fundamentar a proposta metodológica, pautada pelo diálogo, que teve como escopo problematizar como esse conjunto de materiais pode contribuir no processo do ensino e da aprendizagem das crianças matriculadas nas turmas do primeiro ano do Ensino Fundamental, com foco na análise das concepções de alfabetização, leitura e escrita, engendradas nos materiais. Para isso, o referencial teórico que balizou as reflexões se fundamentou nas contribuições da perspectiva bakhtiniana de linguagem e lançou ancoragens no conceito de alfabetização proposto criticamente por Gontijo (2008). As análises se constituíram como uma arena, isto é, um palco de alteridade. Logo, buscaram compreender como o conceito e as concepções se materializaram nas atividades produzidas pelos sujeitos-autores e problematizaram como os impressos do Projeto Trilhas podem contribuir para a melhoria do ensino e da aprendizagem das crianças matriculadas no primeiro ano do Ensino Fundamental. Com as análises, sustenta-se que o conceito que solidifica a constituição dos impressos deste projeto se aproxima das contribuições de Ferreiro e Teberosky (1999), isto é, a alfabetização é o processo pelo qual as crianças assimilam o código escrito e compreende os usos que são dados a ele nas culturas do escrito. A leitura se configurou como decodificação dos signos linguísticos e compreensão de significados, e a escrita como codificação.

Análise sociolinguística da aprendizagem dos clíticos de 3º pessoa por crianças do 4º ano do ensino fundamental

Diversas pesquisas apontam um contínuo desuso dos clíticos de 3ª pessoa (lhe, o, a, os, as e suas variantes) na modalidade oral do Português Brasileiro (PB), sendo substituídos pelo pronome reto, pelo objeto nulo ou pela repetição do sintagma a que eles fazem referência. Por outro lado, os clíticos de 3ª pessoa aparecem comumente em textos escritos veiculados pela mídia, bem como nos estilos mais formais da língua falada, o que faz com que esses elementos constem dos programas da disciplina Língua Portuguesa, nas escolas brasileiras. Dessa feita, esta pesquisa tem por objetivo descrever esse processo de aprendizagem do ponto de vista linguístico e social, procurando investigar como as crianças interpretam o uso dessas formas – e, por conseguinte, da variedade padrão da língua –, e se e/ou como a escola favorece a aprendizagem dessas formas. Para respondermos a essas perguntas, procedemos a uma pesquisa sociolinguística, que analisa os fatores linguísticos e sociais que poderiam influenciar essa aprendizagem. Para tanto, os clíticos de 3ª pessoa foram trabalhados gradualmente durante um ano letivo. Assim, o corpus desta pesquisa compõe-se de textos escritos livremente e de testes de compreensão – que visava verificar a compreensão dos clíticos presentes em textos infantis – e de desempenho – que consistia na substituição de expressões pelos clíticos adequados. Os dados foram colhidos em uma turma de 4º ano do Ensino Fundamental durante 10 meses letivos, numa escola pública de Belo Horizonte, Minas Gerais, cujos alunos pertencem a diferentes níveis socioeconômicos. Os resultados obtidos revelam que: i) o contexto em que o clítico é inserido contribui significativamente para a sua compreensão; ii) com relação aos fatores extralinguísticos, os alunos, independentemente de sua origem social e sexo/gênero, apresentam dificuldades em compreender os clíticos; entretanto, há uma leve tendência de um melhor aproveitamento quanto aos meninos da classe socioeconômica favorecida

Tradução como ponte plástica : hibridismo e identidade em verbetes da Wikipédia

Este trabalho apresenta os conceitos de tradução de forma ampla, rompendo com a concepção de transformação de uma mensagem em um determinado código linguístico para outro, na qual busca-se apenas uma equivalência literal. Objetiva-se discutir a partir de teóricos em torno das teorias pós-coloniais e desconstrucionistas como Bhabha (2010), Hall (2006), Derrida (2006), Ottoni (2005), Orlandi (2008) e Niranjana (2011), a possibilidade de reposicionar a tradução, entendendo-a como ferramenta capaz de desconstruir paradigmas dominantes e, assim, recontar histórias, constituindo-se pontes plásticas. Assim, buscar-se-á pensar a tradução, na sua plasticidade, promovendo pontes que manifestam os cruzamentos existentes entre línguas, evidenciando o homem como cruzamento de diversos sujeitos. Como objeto empírico de análise, utilizaremos três verbetes presentes no site Wikipédia, nos quais traços da identidade brasileira estão envolvidos e investigar-se-á, a partir da leitura estereoscópica e da Teoria da Relevância proposta por Speber & Wilson (2001), os nuances nos processos tradutórios que podem contribuir para a forma como o Brasil é representado tanto pelas comunidades locais quanto estrangeiras, levando à constituição de estereótipos. A pesquisa aqui proposta se mostra relevante, uma vez que, objetiva estudar um corpus pouco explorado academicamente, mas em voga socialmente, já que o site Wikipédia se encontra entre os dez mais acessados da atualidade, com mais de 300 milhões de acessos únicos, além da importância de ser uma fonte de construção coletiva do pensamento, reinventando o conceito de enciclopédia. A pesquisa também se torna relevante sob a ótica dos estudos da tradução já que discorre sobre a importância do tradutor como ferramenta de formação de identidades sejam nacionais, culturais e sociais, além de propor o conceito híbrido de tradução-resenha, como uma tendência ao mundo multilingual contemporâneo

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

A comunicação de informações nas instituições públicas e privadas: o caso XBRL - eXtensible Business Reporting Language no Brasil

O XBRL - eXtensible Business Report Language - é uma linguagem que está sendo implementada em vários países para divulgação das informações contábil-financeiras pela internet. Este artigo mostra o estado-da-arte do XBRL e como se deu sua evolução, bem como avalia o estágio atual do Brasil na divulgação de informações contábil-financeiras pela internet. Foi realizada uma pesquisa do tipo survey com empresas de capital aberto no Brasil. A pesquisa revelou uma forte aceitação do meio eletrônico para divulgação de informações financeiras e também que ainda é muito pequeno o conhecimento da linguagem XBRL no país e, conseqüentemente, menor ainda o número de entidades que já iniciaram formalmente os estudos para sua implementação. Mostrou ainda a inexistência de um padrão de divulgação de informações eletrônicas, tendo predominado os formatos PDF, HTML e DOC, o que dificulta a análise e comparação de informações entre órgãos reguladores e com o público em geral.

A Concepção Arquitectónica Como Processo: o exemplo de Christopher Alexander

Começam a surgir indícios de que se procura uma substituição da capacidade criativa humana pela programação de processos passíveis de uma automatização informática. Utilizamos o exemplo da obra de Christopher Alexander e advogamos que a concepção arquitectónica proposta por aquele arquitecto é, desde o início, a construção de uma linguagem de estrutura formal funcionalista, por isso programável e algorítmica, cuja discriminação varia da, função focada sobre a concepção do objecto (produção-exigências) para a função focada sobre o sujeito (fruiçãonecessidades). A estrutura de processamento daquele sistema tem origem, no conceito de “resolução de problema” ( problem solving ) e tem como objectivo, a efectiva programação daquilo que hoje é o trabalho criativo humano. Comprova-o o facto de o sistema da “pattern language” ter uma utilização cada vez maior nas investigações informáticas, desde a própria estrutura de programas evolutivos, até aos “object oriented design” ligados à investigação da Inteligência Artificial, passando pelo conceito de “Patterns”, como uma disciplina de engenharia informática para a resolução de problemas 1 . Verificámos na nossa investigação que, paradoxalmente, o mesmo sistema que procura uma libertação democrática da arquitectura – segundo o princípio, “arquitectura de todos para todos” – parece ser, no actual contexto histórico ocidental, um dos sistemas capazes de limitar a Arquitectura, através de um processamento algorítmico de concepção que visa a manipulação de modelos formais preestabelecidos – não obrigatoriamente estáticos – numa “performance” funcional.

Language and trade: the (new) route of portuguese in the 21st century

Globalisation has eliminated frontiers and in the case of Europe helped the crossing of borders and changed forever the concept of social (and I would also say individual) geography: the rest of the world is out there; we can pretend not to see it, but we cannot avoid it. Moreover, Europe is undergoing a serious crisis, also economic, and new markets and business partners are welcome. In this context, cultural bonds like a common language can open new investment paths and give rise to successful stories. In this paper we intend to present an example of how low linguistic distance can lead to good business, even if a) in the internationalization process of the companies’ language is often forgotten as a management element and b) consumers of language products (like User Guides) are also not stimulating investment in language by the companies. Through the results of 2 studies carried out in 2010 and 2011 we will show how a pluricentric language like Portuguese is managed in multinational companies (MC) and Small and medium Enterprises (SMEs). The second study is based on an online survey questioning the effectiveness, efficiency and general quality of User Guides and the reaction of consumers to language. Results show that although playing a role in the internationalization process of companies in the same linguistic space, language is opportunistically used. On the other hand, Portuguese and Brazilian consumers show a very functional perception of the Portuguese language...

Scheduling maintenance activities of electric power transmission networks using an hybrid constraint method

In this paper we present a Constraint Logic Programming (CLP) based model, and hybrid solving method for the Scheduling of Maintenance Activities in the Power Transmission Network. The model distinguishes from others not only because of its completeness but also by the way it models and solves the Electric Constraints. Specifically we present a efficient filtering algorithm for the Electrical Constraints. Furthermore, the solving method improves the pure CLP methods efficiency by integrating a type of Local Search technique with CLP. To test the approach we compare the method results with another method using a 24 bus network, which considerers 42 tasks and 24 maintenance periods.

Addressing the facilities layout design problem through constraint logic programming

One of the most difficult problems that face researchers experimenting with complex systems in real world applications is the Facility Layout Design Problem. It relies with the design and location of production lines, machinery and equipment, inventory storage and shipping facilities. In this work it is intended to address this problem through the use of Constraint Logic Programming (CLP) technology. The use of Genetic Algorithms (GA) as optimisation technique in CLP environment is also an issue addressed. The approach aims the implementation of genetic algorithm operators following the CLP paradigm.

Dificuldades sentidas pelos professores à entrada da profissão

Dissertação apresentada à Escola Superior de Educação para a obtenção do Grau de Mestre em Ciências da Educação, especialidade em Supervisão em Educação

Numerical experiments with a modified regularization scheme for mathematical programs with complementarity constraints

On this paper we present a modified regularization scheme for Mathematical Programs with Complementarity Constraints. In the regularized formulations the complementarity condition is replaced by a constraint involving a positive parameter that can be decreased to zero. In our approach both the complementarity condition and the nonnegativity constraints are relaxed. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.

An Interface to Retrieve Personal Memories Using an Iconic Visual Language

Relevant past events can be remembered when visualizing related pictures. The main difficulty is how to find these photos in a large personal collection. Query definition and image annotation are key issues to overcome this problem. The former is relevant due to the diversity of the clues provided by our memory when recovering a past moment and the later because images need to be annotated with information regarding those clues to be retrieved. Consequently, tools to recover past memories should deal carefully with these two tasks. This paper describes a user interface designed to explore pictures from personal memories. Users can query the media collection in several ways and for this reason an iconic visual language to define queries is proposed. Automatic and semi-automatic annotation is also performed using the image content and the audio information obtained when users show their images to others. The paper also presents the user interface evaluation based on tests with 58 participants.