Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Como se posicionam os professores perante a existência e utilização de jardins zoológicos e parques afins?

O presente estudo insere-se numa investigação mais ampla que pretendeu verificar a incidência de concepções ambientalistas de teor antropocêntrico, biocêntrico e ecocêntrico em docentes dos diferentes ciclos de escolaridade não superior e que se envolvem em projectos de Educação Ambiental (EA). Para tal, foram entrevistados 60 docentes sobre vários assuntos relacionados com a temática ambiental, entre os quais o dos jardins zoológicos e parques afins. No tratamento dos dados, os docentes entrevistados foram divididos em dois grupos em função da proveniência de ciclos com e sem monodocência (o 1º grupo foi constituído por 15 educadores de infância e 15 professores do 1º Ciclo; o 2º grupo, por 15 professores do 2º Ciclo e 15 do 3º Ciclo e Secundário). Essa divisão foi considerada especialmente pertinente para o tema em análise uma vez que os jardins zoológicos e parques afins tradicionalmente pretendem captar um público mais jovem. Assim, nos professores do 1º grupo, poderia eventualmente acentuar-se mais uma conflitualidade entre o seu interesse didáctico e eventuais valores trabalhados em EA. No entanto, não se verificaram diferenças estatisticamente significativas entre os grupos em termos da incidência das diferentes perspectivas ambientalistas, tendo-se a maioria dos docentes posicionado de um ponto de vista biocêntrico, embora com uma maior frequência para o 1º grupo. Perante a surpresa manifestada pelo teor da entrevista, tivemos a percepção de que os professores raramente abordam temas polémicos com os seus alunos no âmbito dos projectos de EA.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

Avaliação da percepção do risco associado à segurança por parte dos profissionais de educação em jardins-de-infância

O estudo que ora se apresenta avalia a percepção de risco por parte dos profissionais de educação em jardins-de-infância do concelho da Maia. A avaliação da percepção foi realizada através de inquérito por questionário. No questionário são abordados temas como a formação que os inquiridos obtiveram, a tipologia dos acidentes ocorridos com as crianças, as condições estruturais do jardim-de-infância, os recreios, materiais e equipamentos, riscos eléctricos e organização de emergência. O grupo referente à segurança, higiene e saúde nos jardins-de-infância, que se encontra no questionário, foi estruturado com base na legislação e documentação de referência. A amostra recolhida diz respeito a 8 jardins-de-infância, tendo sido respondido por 34 educadoras de infância e 34 auxiliares de acção educativa. Constituíram objectivos deste estudo, verificar a percepção de risco por parte das educadoras de infância e das auxiliares de acção educativa; verificar diferenças de percepção de risco entre as educadoras de infância e as auxiliares de acção educativa sobre os diferentes temas; analisar a influência da formação recebida, idade, experiência profissional e categoria profissional na percepção do risco; Identificar qual o tema em que a amostra demonstra menos domínio. Após a análise dos resultados verificou-se que percepção das educadoras de infância e auxiliares de acção educativa era elevada, não se verificando diferenças significativamente entre as duas categorias profissionais, nem entre quem teve formação com não teve.

Processing XML with Java – a performance benchmark

Over time, XML markup language has acquired a considerable importance in applications development, standards definition and in the representation of large volumes of data, such as databases. Today, processing XML documents in a short period of time is a critical activity in a large range of applications, which imposes choosing the most appropriate mechanism to parse XML documents quickly and efficiently. When using a programming language for XML processing, such as Java, it becomes necessary to use effective mechanisms, e.g. APIs, which allow reading and processing of large documents in appropriated manners. This paper presents a performance study of the main existing Java APIs that deal with XML documents, in order to identify the most suitable one for processing large XML files

Performance analysis of Java APIS for XML processing

Over time, XML markup language has acquired a considerable importance in applications development, standards definition and in the representation of large volumes of data, such as databases. Today, processing XML documents in a short period of time is a critical activity in a large range of applications, which imposes choosing the most appropriate mechanism to parse XML documents quickly and efficiently. When using a programming language for XML processing, such as Java, it becomes necessary to use effective mechanisms, e.g. APIs, which allow reading and processing of large documents in appropriated manners. This paper presents a performance study of the main existing Java APIs that deal with XML documents, in order to identify the most suitable one for processing large XML files.

Suporte à computação paralela e distribuída em Java: API e comunicação entre nós cooperantes

Este trabalho é uma parte do tema global “Suporte à Computação Paralela e Distribuída em Java”, também tema da tese de Daniel Barciela no mestrado de Engenharia Informática do Instituto Superior de Engenharia do Porto. O seu objetivo principal consiste na definição/criação da interface com o programador, assim como também abrange a forma como os nós comunicam e cooperam entre si para a execução de determinadas tarefas, de modo a atingirem um único objetivo global. No âmbito desta dissertação foi realizado um estudo prévio relativamente aos modelos teóricos referentes à computação paralela, assim como também foram analisadas linguagens e frameworks que fornecem suporte a este mesmo tipo de computação. Este estudo teve como principal objetivo a análise da forma como estes modelos e linguagens permitem ao programador expressar o processamento paralelo no desenvolvimento das aplicações. Como resultado desta dissertação surgiu a framework denominada Distributed Parallel Framework for Java (DPF4j), cujo objetivo principal é fornecer aos programadores o suporte para o desenvolvimento de aplicações paralelas e distribuídas. Esta framework foi desenvolvida na linguagem Java. Esta dissertação contempla a parte referente à interface de programação e a toda a comunicação entre nós cooperantes da framework DPF4j. Por fim, foi demonstrado através dos testes realizados que a DPF4j, apesar de ser ainda um protótipo, já demonstra ter uma performance superior a outras frameworks e linguagens que possuem os mesmos objetivos.

A Java expression evaluator for nonlinear programming

Finding the optimal value for a problem is usual in many areas of knowledge where in many cases it is needed to solve Nonlinear Optimization Problems. For some of those problems it is not possible to determine the expression for its objective function and/or its constraints, they are the result of experimental procedures, might be non-smooth, among other reasons. To solve such problems it was implemented an API contained methods to solve both constrained and unconstrained problems. This API was developed to be used either locally on the computer where the application is being executed or remotely on a server. To obtain the maximum flexibility both from the programmers’ and users’ points of view, problems can be defined as a Java class (because this API was developed in Java) or as a simple text input that is sent to the API. For this last one to be possible it was also implemented on the API an expression evaluator. One of the drawbacks of this expression evaluator is that it is slower than the Java native code. In this paper it is presented a solution that combines both options: the problem can be expressed at run-time as a string of chars that are converted to Java code, compiled and loaded dynamically. To wide the target audience of the API, this new expression evaluator is also compatible with the AMPL format.

Tecnologia Java na representação de curvas e superfícies paramétricas

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Qualidade do ar interior em jardins-de-infância: relação entre os parâmetros ambientais e os níveis de ocupação dos espaços

Os edifícios escolares são espaços com características específicas, onde a garantia de condições de trabalho saudáveis é fundamental para a aprendizagem e bem-estar dos ocupantes. Contudo, os novos padrões arquitectónicos têm potenciado o aparecimento de edifícios mais herméticos, com reduzidas taxas de ventilação e problemas relacionados com a qualidade do ar interior (QAI). Com a recente legislação, adoptaram-se valores de referência para os parâmetros químicos e microbiológicos. A concentração de CO2 e microrganismos viáveis pode dar uma boa indicação da eficiência da ventilação. Neste âmbito, efectuou-se um estudo que teve como objectivos relacionar as concentrações de CO2 e microrganismos viáveis com os níveis de ocupação e eficiência da ventilação de salas de aulas. A quantificação dos parâmetros ambientais baseou-se na caracterização estrutural e de funcionamento do edifício. As amostragens foram efectuadas na Primavera, em nove salas de aula de quatro jardins-de-infância (JI) com diferentes tipos de construção. Os resultados demonstraram que os JI recentes apresentaram concentrações médias de CO2 superiores às verificadas nos JI do "plano centenário", atingindo valores máximos de 3400 ppm nos períodos de ocupação. Obtiveram-se concentrações elevadas de bactérias gram positivas nos JI de construção recente, que podem estar relacionadas com a sobrelotação dos espaços e ventilação insuficiente. Os valores de velocidade do ar também revelam a constante estagnação do ar nos espaços. O aumento das taxas de ventilação e sensibilização dos ocupantes são medidas chave para a melhoria da QAI. Contudo, é na fase de projecto do edifício que devem surgir preocupações com a QAI.

Suporte à computação paralela e distribuída em Java: distribuição e execução de trabalho

Nos últimos anos começaram a ser vulgares os computadores dotados de multiprocessadores e multi-cores. De modo a aproveitar eficientemente as novas características desse hardware começaram a surgir ferramentas para facilitar o desenvolvimento de software paralelo, através de linguagens e frameworks, adaptadas a diferentes linguagens. Com a grande difusão de redes de alta velocidade, tal como Gigabit Ethernet e a última geração de redes Wi-Fi, abre-se a oportunidade de, além de paralelizar o processamento entre processadores e cores, poder em simultâneo paralelizá-lo entre máquinas diferentes. Ao modelo que permite paralelizar processamento localmente e em simultâneo distribuí-lo para máquinas que também têm capacidade de o paralelizar, chamou-se “modelo paralelo distribuído”. Nesta dissertação foram analisadas técnicas e ferramentas utilizadas para fazer programação paralela e o trabalho que está feito dentro da área de programação paralela e distribuída. Tendo estes dois factores em consideração foi proposta uma framework que tenta aplicar a simplicidade da programação paralela ao conceito paralelo distribuído. A proposta baseia-se na disponibilização de uma framework em Java com uma interface de programação simples, de fácil aprendizagem e legibilidade que, de forma transparente, é capaz de paralelizar e distribuir o processamento. Apesar de simples, existiu um esforço para a tornar configurável de forma a adaptar-se ao máximo de situações possível. Nesta dissertação serão exploradas especialmente as questões relativas à execução e distribuição de trabalho, e a forma como o código é enviado de forma automática pela rede, para outros nós cooperantes, evitando assim a instalação manual das aplicações em todos os nós da rede. Para confirmar a validade deste conceito e das ideias defendidas nesta dissertação foi implementada esta framework à qual se chamou DPF4j (Distributed Parallel Framework for JAVA) e foram feitos testes e retiradas métricas para verificar a existência de ganhos de performance em relação às soluções já existentes.

O estado visual das crianças dos jardins de infância do concelho de Moura

A prevenção primária/detecção precoce são cada vez mais importantes na redução das taxas de incidência de patologia ocular. De acordo com a DGS, estima-se a prevalência de ambliopia de 1,00 a 2,5% de ambliopia entre as crianças, em Portugal, constituindo uma das 3 principais causas de hipovisão monocular. O Ortoptista desenvolve um papel activo nos Cuidados de Saúde Primários, através de rastreios escolares, contribuindo para o diagnóstico precoce. Objectivo do estudo - Detectar factores ambliogénicos e caracterizar o estado visual das crianças nascidas em 2009 e que frequentam o total dos jardins-de-infância do concelho de Moura.

JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática