Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Um ambiente para o processamento de linguagens adaptativas de programação

Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento são automaticamente detectadas por estes dispositivos para, em seguida, reagirem a elas de forma espontânea. Historicamente tais dispositivos emergiram das pesquisas na área de linguagens formais e autômatos. No entanto, o formalismo suscitou aplicações em diversas outras áreas. Programas com código auto-modificável, que perderam terreno em conseqüência do advento da Engenharia de Software nos anos 70, voltaram à vida recentemente em aplicações diversas. Uma das formas de programação de código auto-modificável é a utilização de linguagens de programação especificamente projetadas para isso. Linguagens adaptativas de programação são dispositivos adaptativos que empregam uma linguagem de programação convencional como mecanismo subjacente. Com o correr de sua execução, um programa escrito em uma linguagem adaptativa exibirá um comportamento auto-modificável em decorrência da ativação de suas ações adaptativas. O artigo apresenta aspectos do projeto e implementação de um ambiente para gerenciar a execução de uma linguagem adaptativa. Com o emprego de linguagem adaptiva, um novo estilo de programação é concebido, uma vez que o seu comportamento está diretamente associado ao conjunto de regras que o define, o qual se altera à medida que o código é executado.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

A Definição em Terminologia: Perspetivas Teóricas e Metodológicas

Este estudo tem como objetivo a delineação dos pressupostos epistemológicos subjacentes ao tratamento da definição em terminologia, enquanto atividade e produto, considerando os seguintes aspetos: a entidade a definir, a definição de definição e suas tipologias, métodos e regras de formulação de boas definições, refletindo sobre os seus limites. Começando por nos situar no período clássico, em que surgiram os primeiros questionamentos sobre a definição, avança-se para a análise das teorias terministas integradas no contexto da linguagem da mente. Percorremos, em seguida, uma época em que se deu especial atenção às questões conceptuais e na qual surgiram propostas de linguagens formais que ambicionavam ultrapassar os constrangimentos da língua natural. Não poderíamos seguir este trajeto sem nos fixarmos sobre as teorias referenciais da filosofia e da linguagem, num momento em que as ciências afirmavam o seu estatuto e metodologias. Na contemporaneidade, é estabelecida uma ponte entre os estudos epistemológicos e a terminologia, detendo-nos sobre as problemáticas teóricas e metodológicas subjacentes à formulação de definições.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Entre o humano e a linguagem: um estudo sobre a filosofia de Wittgenstein

Pós-graduação em Filosofia - FFC

O aprendizado de regras matemáticas: uma pesquisa de inspiração wittgensteiniana com crianças da 4ª série no estudo da divisão

Neste trabalho, investigamos o aprendizado de regras matemáticas no contexto da sala de aula, com ênfase, principalmente, nas discussões sobre a linguagem. Nosso objetivo principal foi pesquisar as dificuldades de ordem lingüística, enfrentadas pelos alunos no decurso do aprendizado das regras matemáticas, em especial, o conceito/algoritmo da divisão. Para tanto, discutimos, entre outras coisas, o tema “seguir regras”, proposto pelo filósofo austríaco Ludwig Wittgenstein em sua obra Investigações Filosóficas. Nosso trabalho e nossas análises foram fundamentadas, principalmente, na filosofia deste autor, que discute, entre outros temas, a linguagem e sua significação e os fundamentos da matemática, bem como nas reflexões do filósofo Gilles-Gaston Granger que analisa as linguagens formais. Realizamos uma pesquisa de campo que foi desenvolvida na Escola de Aplicação da Universidade Federal do Pará, em uma turma da quarta série do ensino fundamental. As aulas ministradas pela professora da turma foram observadas e, posteriormente, foi solicitado aos alunos que resolvessem problemas de divisão verbais e não-verbais, seguido de uma breve entrevista, na qual indagamos, entre outras questões, como os alunos resolveram os problemas envolvendo a divisão. Em nossas análises destacamos algumas dificuldades dos alunos, percebidas nas observações e em seus registros escritos ou orais: alguns alunos, em suas estratégias de resolução, inventam novas “regras matemáticas”. Há ainda aqueles que “confundem” os contextos na resolução de problemas matemáticos verbais, bem como a dificuldade de compreensão de problemas que trazem informações implícitas.

As linguagens do medo : suas configurações na contemporaneidade

Este trabalho tem o objetivo de descrever as fisionomias que o medo adquire no cenário contemporâneo. A partir de uma perspectiva não-essencialista, de inspiração historicista. O medo é abarcado como um termo polissêmico, adquirindo assim diferentes faces de acordo com o contexto histórico-cultural em que emerge. Embora esteja entre as emoções consideradas básicas no homem, o medo é tomado aqui como uma emoção que é também socialmente construída (Solomon, 1995, Costa, 1998). A análise vincula o medo ao processo de subjetivação do indivíduo, caracterizando, assim, as transformações por que passou ao longo da história. Estudamos como o medo passou por um processo de internalização, e na atualidade pode ser descrito a partir de algumas configurações características: o medo patologizado, como na chamada síndrome do pânico e as precauções em torno da segurança pessoal. Constatamos assim, diferenças nas formas de pensar e experienciar o medo, sinalizando sentidos diversos que a palavra pode ter. Propomos pensar o medo a partir de um par em que se opõem medo x coragem, predominantemente em um contexto da antiguidade, principalmente, em contraste com um par que reflete a atualidade, pensada em torno do binômio medo x segurança. Tais modalidades de medo são associadas ao chamado mal-estar contemporâneo, relacionados aos traços da cultura em que vivemos.

Interpretações de linguagens artísticas em Gerd Bornheim

Este estudo propõe uma leitura histórico-cultural das interpretações de Gerd Bornheim (1929-2002), destacando a temática da linguagem, sobretudo das linguagens artísticas. A partir dessas expressões, as colocações críticas de Bornheim a respeito da estética e filosofia da arte apresentam um panorama dos questionamentos. Nesse sentido, são notáveis em seus trabalhos as reflexões sobre o teatro e a música. A linguagem teatral permite o acesso às outras atividades artísticas (poesia, música, artes plásticas, cinema) de forma livre e aberta. A linguagem musical, em consonância com a teatral, corrobora a pesquisa de Bornheim, que observou o processo criativo, a comunicação, o papel da interpretação (advento da crítica) e as rupturas nas poéticas contemporâneas. Tal itinerário sublinha a pesquisa que Bornheim realizou na França nas décadas de 1950 e 1960-70. O estímulo dessa atmosfera, marcada pelo diálogo entre filosofia, ciências sociais, psicologia, psicanálise, história, antropologia, linguística, comunicação, teatro e música foi decisivo para ele. Esses pontos são importantes para a apreensão do tema da linguagem e sua ambiência histórica, na qual Bornheim revela outras perspectivas de pesquisa. O pano de fundo é a crise da metafísica e os novos parâmetros para se pensar a dialética, a teoria e a prática. O diagnóstico de tal crise estende-se também à estética. Por conseguinte, o entendimento das ideias de Bornheim conduz aos temas da diferença e alteridade na contemporaneidade. Com isso, persegue-se um percurso temático que aborda: a linguagem e o problema da comunicação a partir da ligação das interpretações de Bornheim com as de Sartre e Merleau-Ponty. Além disso, o surgimento da crítica e os questionamentos da normatividade ética e estética levam à discussão das motivações coincidentes entre artes e ciências. Por fim, a linguagem musical enfatiza ainda o processo de transformação da subjetividade, que propicia uma percepção mais ampla das expressões artísticas e culturais.

O cruzamento de linguagens e o espaço biográfico na obra de Lourenço Mutarelli

Esta dissertação analisa as obras do autor, quadrinista, teatrólogo e ator Lourenço Mutarelli, principalmente, os romances O cheiro do ralo, O natimorto, Jesus Kid e as narrativas gráficas Caixa de Areia, Mundo Pet, Réquiem e Quando meu pai encontrou o e.t. fazia um dia quente, a partir de duas perspectivas presentes na escrita contemporânea: o hibridismo entre diversas linguagens e os novos modos da escrita de si. Quanto ao primeiro aspecto, privilegia-se o dialogismo entre cinema e literatura, com importantes questionamentos e discussões acerca de quanto a literatura, por ser a obra original, é de fato superior em relação à sétima arte. A fim de analisar algumas questões essenciais que advêm da intertextualidade entre cinema e literatura − como originalidade, hierarquia e fidelidade −, este trabalho propõe abordagens que buscam explicitar que, ao se adaptar um texto literário, o cinema cria uma outra obra, híbrida, dotada de novas perspectivas, já contextualizadas no momento presente ao da adaptação, ou seja, trazendo para o texto literário um olhar suplementar, a partir de experiências, ideias e vivências do diretor. Em relação à segunda tendência observada na atualidade, a exposição da intimidade através de diferentes meios − blogs, portais da internet, reality shows, entre outros − vem alterando a forma de o autor lidar com a própria obra e com o público leitor. O escritor parece criar uma persona, tornando-se, muitas vezes, personagem de seu texto e fazendo uso da autoficção, com a mescla de elementos biográficos e ficcionais. Essa nova forma de escrita de si para além dos tradicionais diários, cartas e autobiografias resgata o autor da morte anunciada por Barthes e o traz novamente como objeto de análise do texto literário

Os Pontos de Cultura como espaços não-formais de ensino: Práticas educativas na Baixada Fluminense.

A presente pesquisa consiste em um panorama das práticas educativas desenvolvidas pelas ONGs atuantes como Pontos de Cultura situadas na região da Baixada Fluminense. Este trabalho tem como objetivo geral analisar as ações desenvolvidas pelas ONGs contempladas como pontos de cultura na região da Baixada Fluminense de acordo com os seguintes objetivos específicos: identificar aquelas ações que podem ser consideradas de caráter educativo não-formal e as relações entre estas ações ao conceito de cultura política. A partir da discussão dos conceitos de Cultura apresentados por Marilena Chauí, do histórico das políticas culturais no Brasil, por Antonio Albino Canelas Rubim e das definições que originaram o programa fruto de uma política pública recente no Brasil, estas ações são entendidas dentro da categoria não-formal. Assim sendo, há a discussão do papel da educação não-formal nestes processos através do desenvolvimento dos conceitos por autores como Maria da Glória Gohn, José Carlos Libâneo e Jaume Trilla, uma descrição da região e a análise de dados oriunda das respostas obtidas através de duas entrevistas e dez formulários respondidos pelos gestores responsáveis pelas organizações em 2014. Os resultados encontrados indicaram que o Programa Cultura Viva atua como uma espécie de preenchimento das lacunas apresentadas por Gohn no que se refere à educação não-formal e de que embora as organizações possuam campos de atuação bem heterogêneos, as práticas educativas realizadas possuem em comum a abordagem da cultura como direito humano e que estas podem ser uma mola propulsora para a construção de uma nova cultura política.

CARTOGRAFIA DAS APRENDIZAGENS FORMAIS PARA ADULTOSNA CIDADE DE ESTREMOZ: O PERÍODO 2000-2005

No âmbito do projeto de investigação As Novas Núpcias da Qualificação noAlentejo promovido pelo Centro de Investigação em Educação e Psicologia daUniversidade de Évora, e, considerando a questão da educação e formação de adultosem Portugal, foi efetuado um trabalho de investigação centrado na localidade deEstremoz, decorrente do trabalho final do segundo ciclo de estudos em Ciências daEducação na vertente de Educação Comunitária.

As aprendizagens não formais e informais no ingresso à Escola Secundária Padre António Macedo: possíveis parcerias com outras instituições de Vila Nova de Santo André

Esta investigação teve como principal objectivo avaliar da presença dos contextos institucionais não formais e informais no conjunto das aprendizagens reveladas pelos estudantes que ingressaram, na Escola Secundária Padre António Macedo, no ano lectivo 2009-2010, e averiguar qual o contributo das instituições locais no seu percurso de aprendizagem. A abordagem metodológica assentou num dispositivo de matriz quantitativa, com o recurso ao inquérito por questionário a uma amostra de alunos. Observámos um potencial educativo na cidade proporcionado por instituições, onde se destacaram amigos, familiares e clubes desportivos, procurados pelos jovens para satisfazer a sua necessidade de conhecimento e ocupar tempos livres. Sendo as áreas com mais episódios de aprendizagens, extra escolares: saúde, cidadania, desporto e artes, os jovens reconheceramse detentores de conhecimentos propiciados pela comunidade e instituições locais; ABSTRACT: This research had, as main aim, to assess the presence of formal and informal institutional contexts in all the learnings revealed by the students who enrolled Escola Secundária Padre António Macedo in the year 2009-2010, and also to determine what contribution local institutions had in their learning. The methodological approach was based on a quantitative matrix device, by applying a questionnaire survey to a sample of students. We saw an educational potential offered by institutions in the city, where the highlights were friends, family and sports clubs, popular among young people to satisfy their need for knowledge and to occupy their free time. The areas with more episodes of extra school learning were: health, citizenship, sport and arts. Young people recognized themselves in possession of knowledge provided by the community and local institutions.

Cartografia das aprendizagens formais para adultos na cidade de Estremoz: o período 2000-2005

O presente trabalho centra-se no levantamento das entidades promotoras de certificação formal, académica ou profissional, na cidade de Estremoz, direcionadas a adultos, no respeitante ao ensino não superior. Assumindo como ponto de partida a identificação desta oferta, pretende-se delinear um desenho cartográfico que permita conhecer e caracterizar a oferta de qualificação existente entre 2000/2005. Pretende-se compreender como esta contribuiu para a qualificação do público adulto, e, perceber, se foi ao encontro das necessidades socioeconómicas desta cidade, tentando compreender qual o seu impacto no que concerne ao desenvolvimento social e humano. Identificadas as entidades existentes, sustentada numa abordagem quantitativa, foram aplicados dois questionários visando caracterizar a educação formal, e, qual o seu contributo para o desenvolvimento deste público específico tendo-se verificado alguma preocupação em responder às necessidades sociais identificadas. Considera-se ainda a existência de um aumento na oferta formativa ao longo do tempo, associado à melhoria do desempenho profissional em que se estabelece uma relação entre empregabilidade e qualificação juntamente com a preocupação de promover a formação holística do cidadão; ABSTRACT:This paper focuses on the survey of promoters of formal certification, academic or professional, in Estremoz, aimed at adults, with respect to non-higher education. Taking as its starting point the identification of this offering, it is intend to outline a cartographic design to ascertain and characterize the range of qualifications between 2000/2005. The objective is to understand how this contributed to the qualification of the adult public, and notice if it was according the socioeconomic needs of the city, trying to understand its impact regarding social and human development. Identified existing entities, sustained in a quantitative methodology, two questionnaires were applied to characterize the formal education, what their contribution to the development of this specific audience and there has been some concern in responding to social needs identified. It is further considered that there is an increase in training provision over time associated with the improvement of professional performance which establishes a relationship between employability and qualification concerning the promotion of holistic formation of the citizen.