Made available in DSpace on 2014-06-12T15:59:19Z (GMT). No. of bitstreams: 2 arquivo5030_1.pdf: 2680874 bytes, checksum: e4a9926df270ffa311253fe6fe777efc (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002 / A fim de tornar os sistemas Web mais robustos, a construção de testes de softwares Web e sua automação vêm sendo enfatizadas por metodologias de desenvolvimento. A metodologia Extreme Programming (XP), por exemplo, tem destacado a atividade de teste (em particular, os testes de aceitação e de unidade) como uma das práticas de programação chaves para o sucesso de sua implantação, sendo a construção destes testes realizada antes mesmo da implementação do código testado. Apesar de ter suas vantagens reconhecidas, a atividade de teste é na maioria das vezes ignorada ou apenas parcialmente realizada, principalmente quando deixado para o final do desenvolvimento. Sendo mais um esforço para o incentivo da realização de testes de sistemas Web, em particular os testes de aceitação, este trabalho tem como objetivo definir uma linguagem para descrição de casos de teste de aceitação com alto nível de abstração e reuso. Para dar suporte a utilização desta linguagem, objetivamos a criação de um ambiente de execução para a mesma. Além disto, este trabalho também estuda a criação de possíveis geradores de código que possam ser utilizados para amenizar o impacto negativo na produtividade, a curto prazo, causado pela realização dos testes de aceitação. Estes geradores dão suporte a criação destes testes antes da implementação do próprio sistema, prática apresentada pela metodologia

Many computer algebra systems have already been proposed and implemented. Most of them are implemented in or even implement languages without the referential transparency property, making it difficult, if not impractical, to reason about algebra programs. This dissertation presents a computer algebra system implemented as a library in the Haskell programming language, a modern functional language with the desired referential transparency property. The author presents the foundations and basic algorithms for manipulation of algebraic expressions in a declarative context, compatible with Mathematics. He examines the adequacy of the constructs provided by the Haskell programming language for implementing such a library in a modular way, so that it can be easily extended with the inclusion of new algebraic formulas and manipulations. Such extensions should keep compatibility with prior versions of the library. This work also contributes for showing that modern functional languages like Haskell are viable for day to day programming, even beating conventional languages in some aspects, like level of abstraction.

Tese de mestrado integrado. Engenharia Informátca e Computação. Faculdade de Engenharia. Universidade do Porto. 2008

Estágio realizado na ALERT Life Sciences Computing, S.A. e orientado pelo Eng.º Filipe Pereira / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

Tese de mestrado integrado. Engenharia Informática e Computação. Universidade do Porto. Faculdade de Engenharia. 2012

Made available in DSpace on 2013-08-07T18:42:14Z (GMT). No. of bitstreams: 1 000439447-Texto+Completo-0.pdf: 12654350 bytes, checksum: 6b1e68a168b4468adf4d1eba9517ad21 (MD5) Previous issue date: 2012 / This work proposes a Domain-Specific Language for Parallel Patterns Oriented Parallel Programming (LED-PPOPP). Its main purpose is to provide a way to decrease the amount of effort necessary to develop parallel programs, offering a way to guide developers through patterns which are implemented by the language interface. The idea is to exploit this approach avoiding large performance losses in the applications. Patterns are specialized solutions, previously studied, and used to solve a frequent problem. Thus, parallel patterns offer a higher abstraction level to organize the algorithms in the exploitation of parallelism. They also can be easily learned by inexperienced programmers and software engineers. This work carried out a case study based on the Master/Slave pattern, focusing on the parallelization of algorithms for multi-core architectures. The implementation was validated through experiments to evaluate the programming effort to write code in LED-PPOPP and the performance achieved by the parallel code automatically generated. The obtained results let us conclude that a significant reduction in the parallel programming effort occurred in comparison to the Pthreads library utilization. Additionally, the final performance of the parallelized algorithms confirms that the parallelization with LED-PPOPP does not bring on significant losses related to parallelization using OpenMP in most of the all experiments carried out. / Este trabalho propôs uma Linguagem Específica de Domínio de Programação Paralela Orientada a Padrões Paralelos (LED-PPOPP). O principal objetivo é reduzir o esforço e induzir o programador a desenvolver algoritmos paralelos guiando-se através de padrões que são implementados pela interface da linguagem, evitando que ocorram grandes perdas de desempenho nas aplicações. Anteriormente estudados, os padrões são soluções especializadas e utilizadas para resolver um problema frequente. Assim, padrões paralelos são descritos em um alto nível de abstração para organizar os algoritmos na exploração do paralelismo, podendo ser facilmente interpretados por programadores inexperientes e engenheiros de software. Como ponto de partida, este trabalho realizou um estudo de caso baseandose no padrão Mestre/Escravo, focando na paralelização de algoritmos para arquiteturas multi-core. Através de experimentos para medição de esforço e desempenho, a implementação de estudo de caso foi avaliada obtendo bons resultados. Os resultados obtidos mostram que houve uma redução no esforço de programação paralela em relação a utilização da biblioteca Pthreads. Já com relação ao desempenho final das aplicações paralelizadas, foi possível comprovar que a paralelização com LED-PPOPP não acarreta perdas significativas com relação a paralelizações com OpenMP na quase totalidade das aplicações testadas.

Made available in DSpace on 2013-08-07T18:43:22Z (GMT). No. of bitstreams: 1 000397136-Texto+Completo-0.pdf: 1469438 bytes, checksum: 6d662216e7ef8e28c23eb6ac3f555971 (MD5) Previous issue date: 2007 / The framework reuse process is called instantiation process. For the representation of the instantiation activities be considered correct it is necessary to extend the RDL formalization. The Reuse Description Language - RDL - is formalized through BNF (Backus-Naur-Form). This kind of formalization doesn´t defines all necessary constraints that should be applied to the models constructed with RDL. The RDL language allows the representation of the instantiation of object oriented framework activities. The aim of this work is to extend the RDL formalization through the definition of RDL metamodel using a class diagram; and through the description of a set of constraints applicable to the metamodel, wrote in natural language and OCL (Object Constraint Language), to detect ambiguity and inconsistency of the models. / O processo de reutilização de frameworks é chamado de processo de instanciação. Para que a representação das atividades de instanciação esteja correta existe a necessidade de estender a formalização da RDL. A Linguagem de Descrição de Reuso - RDL - está formalizada através da sua BNF (Backus-Naur-Form). Esta formalização não define todas as restrições necessárias que devem ser aplicadas aos modelos construídos a partir da RDL. A Linguagem de Descrição de Reuso permite a representação das atividades de instanciação de frameworks orientados a objetos. O objetivo deste trabalho é estender a formalização da linguagem através da elaboração do seu meta-modelo utilizando um diagrama de classes UML; e através da descrição de um conjunto de restrições aplicáveis ao meta-modelo, escritas em linguagem natural e OCL (Linguagem de Restrição de Objetos), com o objetivo de detectar ambigüidades e inconsistências dos modelos.

Made available in DSpace on 2014-06-12T15:58:53Z (GMT). No. of bitstreams: 2 arquivo4739_1.pdf: 546621 bytes, checksum: 436ff68296454e12baa513372b9a2fe8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Semântica de ações, um formalismo para especificação de linguagens de programação, define um conjunto padrão de operadores que descrevem conceitos comuns encontrados em linguagens de programação. Estes operadores facilitam a especificação de linguagens de programação porque eles liberam o projetista de linguagens da manipulação de definições complexas usadas para descrevê-las. Entretanto, as especificações em semântica de ações não foram projetadas para serem reusadas ou estendidas. De fato, copiar/colar especificações é o único caminho para reutilizar semânticas de linguagens de programação, ou seja, é extremamente ineficiente e perigosa, no sentido de não produzir uma especificação totalmente confiável, seja por funções semânticas extremamente restritas à linguagem, seja por diferenças sintáticas mínimas que impedem uma integração adequada. Também devemos considerar o fato de que a maioria das linguagens existentes apresentam uma grande semelhança conceitual do ponto de vista semântico, uma vez que o desenvolvimento de novas linguagens de programação geralmente é influenciado por linguagens previamente existente. Portanto, o objetivo deste trabalho é, através do uso da semântica de ações baseada em componentes, uma técnica que permite melhorar a reutilização de especificações em semântica de ações, definir componentes semânticos para estruturas sintáticas abstratas, capazes de representar conceitos de linguagens de programação separados pelos diversos paradigmas de linguagens de programação existentes, e organizados de forma hierárquica garantindo assim um alto grau de reutilização semântica. Como resultados, produzimos uma biblioteca de componentes semânticos, formada pelo agrupamento de componentes semânticos capazes de representar conceitos de linguagens de expressões, imperativas, funcionais e orientada a objetos; e projetamos uma linguagem multiparadigma denominada EIFOO, formada pelo agrupamento dos componentes semânticos especificados em cada um dos paradigmas abordados neste trabalho

O uso de ferramentas computacionais para avaliação postural tem sido de grande valia na detecção das alterações posturais, porém a utilização destes programas exige estruturas de hardware complexas e implica em custos elevados para pesquisadores da fisioterapia, educação física e da comunidade científica. No ano 2005 foi criado o Software de Avaliação Postural (SAPO) que é uma opção gratuita para os mesmos fins, amplamente utilizada pela comunidade científica e profissional com ótimos resultados documentados. Apesar do sucesso do SAPO na comunidade científica este programa possui limitações. Neste âmbito a proposta do presente trabalho é desenvolver um software denominado ApLoB (Avaliação Postural do Laboratório de Biofísica) para avaliação postural, tendo como parâmetro de desenvolvimento o SAPO, mas tentando colaborar em relação à superação de suas limitações. Para isso, seu desenvolvimento é baseado nas estruturas e metodologias estabelecidas pela engenharia de software que permitam a continuidade do trabalho e melhorias de suas funcionalidades. O software foi desenvolvido utilizando a linguagem de programação Python, suas extensões científicas como NumPy, a biblioteca de processamento de imagem (PIL), a aplicação para interfaces gráficas (PyQt), além da biblioteca de plotagem de dados em 2D e desenvolvimento de aplicações de processamento de sinais (Guiqwt), dentre outros. O protótipo obtido foi testado e comparado em relação às suas funcionalidades com o software SAPO e foram considerados aceitáveis / The use of computational tools for postural evaluation has been very valuable in the detection of postural changes, however the use of these programs requires complex hardware structures and involves high costs for researchers in physiotherapy, physical education and the scientific community. In 2005, the Postural Assessment Software (SAPO) became to be a free option for the same purpose, widely used by the scientific community and professional with excellent documented results. Despite the success of SAPO in the scientific community, this software has limitations. So, the purpose of this study is to develop a software called ApLoB (Postural Assessment Laboratory of Biophysics) for postural assessment, having as parameter the development SAPO, but trying to collaborate on the overcome of its limitations. For this reason, its development is based on the structures and methods established by the software engineering that allow continuity of work and improved functionality. The software was developed using the Python programming language, scientific and NumPy extensions, the library of image processing (PIL), the application for graphical interfaces (PyQt), as well as data plotting library of 2D and application development signal processing (Guiqwt), among others. The prototype obtained was tested and its functionality was found to be acceptable, compared to SAPO

Este trabalho pretende estudar a world wide web sob o ponto de vista da sua forma, considerando sua forma tanto a forma aparente, que é a interface, quanto sua forma oculta, dada pelos códigos que a conformam. A intenção é reunir referências tanto para designers que queiram ir mais além no domínio das linguagens de programação e marcação, quanto para programadores que queiram ter mais domínio sobre a linguagem do design gráfico. Para isso, desmembramos o trabalho em três partes. Uma primeira, trata da formação histórica da rede, com ênfase na transformação do papel do computador, de uma ferramenta de uso militar, para o suporte para um novo meio de comunicação de massa. Em seguida, partimos para uma análise mais objetiva da web sob o ponto de vista de sua forma aparente, e para isso tentamos primeiro compreender o design gráfico como linguagem, e como linguagem, quais são seu elementos constitutivos, além de questões novas que se colocam para o design de interfaces, como arquitetura de informação e usabilidade. Na terceira parte, elaboramos um manual técnico dos protocolos, linguagens e recursos utilizados para a construção de websites. Explicamos como utilizá-los e reunimos exemplos ilustrativos para auxiliar no aprendizado. Por fim, fazemos considerações sobre os agentes envolvidos na produção de websites designers e programadores , sobre a relação entre eles no processo de trabalho e introduzimos questões que se colocam no modo de construção da web de modo mais geral, a partir da relação com um novo tipo de usuário, que é também produtor. Com isso, produzimos um material que serve como introdução ao webdesign, abarcando conceitos e linguagens relacionadas ao processo, que serve como referência para aqueles que quiserem se envolverem com a disciplina. / This work studies the world wide web under the terms of its form, considering their form as the apparent form, which is the interface, and its hidden form, given by the codes that builds it. The intention is to gather as much reference for designers who want to go further in the field of programming languages and markup, and for developers who want to have more control over the language of graphic design. For this, we have unbundled the work in three parts. The first one deals with the historical formation of the network, with an emphasis on the transformation on the role of the computer, from a tool for military use into the support for a new medium of mass communication. Then we went to a more objective analysis of the web from the point of view of its apparent form, and we try to first understand the graphic design as a language and beeing language, what are its constituent elements, and also new issues that arise for the design of interfaces, such as information architecture and usability. In the third part, we prepared a technical manual of protocols, languages and resources used to build websites. We explain how to use them and gather illustrative examples to assist in learning. Finally, we make considerations for those involved in the production of websites - designers and developers -, on the relationship between them in the work process and introduce issues that stand more generally in the way of building the web, related to a new type of user, which is also producer. As a result, produce a material that serves as an introduction to web design, covering concepts and languages related to the process, which serves as reference for those wishing to become involved in discipline.