Apresentação

The worldview of testing layed out in textbooks is not necessarily the one that exists in the real world.

This talk is a collection of anecdotes and lessons learned from experience writing and teaching others to write automated tests. Lessons not necessarily covered or emphesized enough in the books.

Michael G Schwern was the Perl Quality Assurance chair and has spent the last three years getting the Perl community to write tests. It worked.

Apresentação

Programmers and industrial designers tend to have similar problems and make similar mistakes. They both have to build systems that ultimately operate without their help. They both have to deal with non-technical users. And they both repeatedly ignore good practice.

Designers have spent a lot of time studying and quantifying the problem of good design vs bad design. Programmers can learn a lot by reading this material and inferencing it into their discipline. Something similar happened in the past when programmers started examining Christopher Alexander's architectural patterns, and design patterns were the result.

By looking at industrial design we hope to borrow the language of designer for describing and identifying problems and patterns of user-oriented program design.

Apresentação

Serão expostos os conceitos básicos de acessibilidade de programas de software e aplicações para a web na perspectiva de quem tem necessidades especiais, bem como técnicas e ferramentas de análise.

Á luz dos conceitos básicos de acessibilidade serão apresentados alguns problemas e bons exemplos de programas de software e aplicações web.

Por último, será abordado o conteúdo do Manual "Tecnologias de Informação sem Barreiras no Local de Trabalho".

Apresentação

A Engenharia de Software Experimental (ESE) tem como objectivo a aplicação do método científico (indução de base experimental), para (i) exprimir quantitativamente relações de causa-efeito entre características do processo de desenvolvimento de software e a qualidade dos produtos e (ii) compreender as virtudes e limitações de métodos, técnicas e ferramentas. O ensino da ESE, que se iniciou recentemente na FCT/UNL, implica por isso habilitar os alunos a formular hipóteses e desenhar experiências. Implica ainda a utilização de instrumentos e técnicas específicas de recolha de dados e a análise qualitativa e quantitativa desses mesmos dados. Serão relatadas brevemente algumas experiências no âmbito da ESE conduzidas pelos alunos na FCT/UNL, como por exemplo a avaliação da complexidade de portais na web, a calibração de modelos de estimação de recursos com base no desenho de sistemas, ou a reengenharia da modularidade com recurso à análise de clusters.

Criar um sistema de gestão de qualidade e certifica-lo é um desafio extremamente aliciante. Conseguir manter o entusiasmo e motivação dos colaboradores para a a manutenção e adaptação do mesmo as várias mudanças organizacionais e necessidades de negócio é um enorme desafio.

Nesta apresentação pretendemos dar a conhecer as ferramentas que a WeDo Consulting tem utilizado durante estes 3 anos com o objectivo de manter o SGQ e os colaboradores focados no objectivo de melhoria constante do mesmo.

A Universidade do Minho incentiva a constituição de empresas que tenham por objectivo a valorização do conhecimento resultante das suas actividades de investigação científica e tecnológica, denominadas de spin-offs da Universidade do Minho.

Como forma de apoio aos spin-off's, a Universidade disponibiliza um conjunto de serviços e infra-estruturas para impulsionar a criação e o arranque dos spin-offs, de acordo com as suas fases de desenvolvimento.

O acesso aos serviços e infra-estruturas referido na alínea anterior estará dependente de acordo específico a celebrar entre o spin-off e a Reitoria da Universidade do Minho, suportado em pareceres favoráveis da TecMinho e das Escolas/Institutos com ligação ao spin-off.

A TecMinho, entidade responsável pela valorização do conhecimento da Universidade do Minho, implementa uma política activa de promoção do empreendedorismo académico na qual se disponibiliza apoio:

• na formalização das relações entre o spin-off e a Universidade do Minho,
• na elaboração do plano de negócios, e
• no acesso a financiamento de acordo com as fases de desenvolvimento dos spin-offs.

Várias são as empresas de informática criadas por ex-alunos das licenciaturas em Matemática e Ciências da Computação e Engenharia de Sistemas e Informática. Nesta sessão, são convidados alguns desses alunos, para nos falarem da sua experiência. Terminará com uma "mesa redonda" onde também participarão os intervenientes da sessão anterior.

O Laboratório de Modelação de Agentes (LabMAg) é uma unidade de investigação FCT, que está associada ao Dept. Informática da Faculdade de Ciências da Universidade de Lisboa e ao Centro de Ciências da Complexidade. O LabMAg e o grupo de IAD do DI/FCUL estão entre os pioneiros na investigação em Sistemas Multiagente em Portugal. Esta apresentação irá focar a história, estrutura e estratégia do LabMAg, apresentando alguns dos seus membros e respectivos projectos de investigação. O grupo é composto por cerca de 20 doutores, e os temas de investigação variam desde a Simulação Social baseada em Agentes, até à Robótica, passando por Computação Analógica, Lógica Deôntica, Sistemas de Visualização, Teoria da Racionalidade.

O Grupo de Investigação em Engenharia do Conhecimento e Apoio à Decisão (GECAD) tem usado tecnologias da Inteligência Artificial aplicadas aos mais diversos domínios de actividade. De entre estes o destaque vai para os Sistemas Eléctricos de Energia. Tais trabalhos foram desenvolvidos conjuntamente com várias empresas do sector, nomeadamente a EDP e a REN.

Nesta apresentação serão abordados os seguintes temas:

• Sistema Pericial para Apoio a Operadores de Centros de Controlo da rede Eléctrica, com vista à Análise de Incidentes e Reposição em Serviço (Projectos SATOREN e SOCRATES);
• Tutores Inteligentes para Treino de Operadores de Centros de Controlo da rede Eléctrica (Projecto APRICOT);
• Escalonamento da Manutenção de Redes Eléctricas com Programação em Lógica com Restrições (Projecto ISEPMain);
• Descoberta de Conhecimento para Detecção de Perfis de Consumidores de Energia Eléctrica (Projecto DAMICE);
• Sistema Multi-Agente para Simulação de Mercados Competitivos de Electricidade (Projecto GOMEC).

O sistema INTCare é um Sistema Inteligente de Apoio à Decisão para Medicina Intensiva em Unidades de Cuidados Intensivos (UCI). Tem como objectivo permitir aos médicos avaliar as consequências para o paciente (em termos de prognóstico e de falência de órgãos) da aplicação das diversas terapêuticas disponíveis.

O INTCare automatiza o processo de Descoberta de Conhecimento em Bases de Dados, com recurso a uma arquitectura baseada em agentes. Como elementos constituintes possui agentes dedicados ao tratamento de dados que possibilitam a aquisição em tempo real dos valores de diversos parâmetros biométricos normalmente monitorizados nas UCI. Estes agentes encarregam-se não só da recolha dos dados, mas também do controlo de qualidade dos mesmos. Utilizando os dados recolhidos é possível treinar, com base em algoritmos da Inteligência Artificial - como redes neuronais, árvores de decisão ou algoritmos de clustering --- modelos que permitem efectuar as previsões de prognóstico e falência de órgãos. O sistema é autónomo, incorporando mecanismos que possibilitam a detecção de modelos com baixa utilidade e promovem a sua substituição por outros. A interface gráfica disponibilizada possibilita aos médicos a observação das previsões do sistema em termos das respostas dos pacientes aos diversos tipos de intervenção.

Apresentação

O InterProlog (http://www.declarativa.com/InterProlog/) é uma biblioteca "open source" Java+Prolog desenvolvida pelo orador, que permite o desenvolvimento de aplicações multi-paradigma, capitalizando nas boas características de ambas as linguagens. Baseia-se numa abordagem simples para mapear árvores Prolog em grafos de objectos Java. É usada no contexto académico em vários continentes, e suporta algumas ferramentas comerciais.

Apresentação

Evolutionary Robotics (ER) is a methodology that uses genetic algorithms to develop controllers for autonomous robots. It is inspired upon the Darwinian principle of selective reproduction of the fittest. It typically allows developing neural controllers from a randomly initialized population by reproducing individuals according to a predefined fitness function. In this talk, I will give a brief overview of ER and present a few experiments that have been carried out in our lab like obstacle avoidance, vision-based navigation, control of flying robots, and evolution of cooperation in artificial ants.

HomePage

This project has three strands, each concerned with developing musical and sonic structures from the self-organisational properties of particle swarms. Swarm Music itself is an artificial improviser which interacts with the musical notes that human musicians may play. Emergent behaviour at the note (meso-) level is manifest as melodies, harmonies and rhythm. External note events are captured and represented in the system by attractors in the multi-dimensional space of the swarm. Each particle position parameterises an output note event.Swarm Granulator is similar to Swarm Music, but it operates at the micro-sound level, where particle positions represent tiny grains of sound. Finally, Swarm Tech-tiles is an investigation into musical texture, a level-crossing musical attribute that involves timbral detail at various time-scales. In this application, the swarm flies above an image of an actual textile, cutting away tiles of texture which are rendered as sound.

Apresentação

Ao olharmos para a natureza não podemos deixar de nos espantar com a diversidade e beleza de formas resultantes da evolução natural. Ao longo dos anos a evolução gerou uma enorme variedade de soluções inovadoras para o problema da sobrevivência. A adequação destas soluções permite classificar a evolução como um processo altamente criativo.

Sendo a fonte da criatividade natural, a evolução tornou-se também inspiração para a criatividade artificial. O recurso a técnicas de computação evolucionária para o desenvolvimento de sistemas criativos é uma área de investigação nova e excitante.

Existe um interesse crescente no seu uso para o desenvolvimento de aplicações nas áreas da arte visual, música, design, arquitectura, animação, etc.

Nesta palestra apresenta-se uma síntese do estado da arte na área da Arte e Música Evolucionária, fornecendo-se exemplos de aplicações, identificando-se virtudes e limitações dos sistemas actuais, e indicando-se direcções para investigação futura.

Apresentação   Animação

Apresentação

Apresentação

A hidroinformática constitui um domínio científico recente que explora a interacção entre a modelação matemática e as tecnologias de informação e comunicação, no sentido de proporcionar a sua aplicação na resolução de problemas relacionados com sistemas hídricos. Apresenta-se um ambiente hidroinformático vocacionado para a resolução de problemas ambientais de sistemas hídricos. Este ambiente inclui uma componente que permite a organização e tratamento da informação, uma componente constituída por modelos matemáticos hidrodinâmicos e de qualidade da água e, finalmente, uma componente formada por um conjunto de ferramentas que permite realizar as tarefas de análise, visualização e edição de resultados.

Apresentação

O projecto DIGINI (Disponibilização de Informação Geográfica pela INternet e Intranet), está a decorrer desde Abril de 2004 no Centro de Desenvolvimento e Gestão da Informação (CDGI). O projecto em curso veio possibilitar ao IGeoE dispor de uma base de dados (BD) contínua de todo o Território Nacional integrando os produtos por si produzidos. A arquitectura foi implementada de forma faseada, modular e escalável, permitindo que no futuro possa ser complementada com funcionalidades adicionais. Destas funcionalidades destacam-se a possibilidade de apoio ao trabalho de campo, a produção cartográfica, a disponibilização e transacção (comercial e/ou gratuita) de informação na Internet e Intranet. A Fase I, desenvolvida em parceria com a ESRI Portugal e concluída em Setembro de 2004, consiste na disponibilização de Informação na Internet, para o público em geral. A Fase II, a iniciar em Fevereiro de 2005, na disponibilização de Informação na Intranet para as Forças Armadas.

O Sistema de Informação Geografica dos Impostos sobre o Património foi desenvolvido no âmbito da Reforma da Tributaçãop do Património e tem como principal objectivo a avaliação de prédios urbanos dum modo simples e objectivo. Permite ainda a associação da informação alfanumérica e geográfica nas Cadernetas Prediais.

Performance is a key issue in the development of parallel/distributed applications. The main goal of these applications is to solve the considered problem as fast as possible utilizing a certain minimum of parallel system capacities. Therefore, developers must optimize these applications if they are to fulfill the promise of high performance computation. To improve performance, programmers search for bottlenecks by analyzing application behavior, finding problems and solving them by changing the source code. These tasks are especially difficult for non-expert programmers. Current approaches require developers to perform optimizations manually and to have a high degree of experience. Moreover, applications may be executed in dynamic environments. Therefore, it is necessary to provide tools that automatically carry out the optimization process by adapting application execution to changing conditions. This talk introduces the static approach based on the "Kappa Pi" tool and the dynamic tuning approach describing the environment MATE (Monitoring, Analysis and Tuning Environment).

Grid computing is the use of shared resources for coordinated problem solving between multiple sites or administrative domains. Grid computing enables software applications to integrate instruments, displays, computation, and information in a straight-forward way using standard tools. This paradigm has become common in many application communities that use distributed resources in a coordinated manner.

This talk will give a high level over view of what is involved in Grid computing from an application scientist's point of view. We will also briefly describe the Globus Toolkit, the de facto standard software for using Grids. Several examples will be drawn from the several science communities to emphasize current use in international projects.

Effective use of the grid will require efficient methods to solve a variety of combinatorial problems such as resource allocation, configuration and scheduling. This talk considers the allocation of a divisable resource such as bandwidth. Given requests for quantities of the resource, each with a price, the task is to accept a subset of the requests that can be fulfilled and maximises revenue. This talk presents methods for solving realistic instances of this problem.

Apresentação

An overview of the steps used to build a highly available cluster that is capable of supporting mission critical applications using Linux and open source (free) software. Topics discussed include: cluster fundamentals, design considerations, performance issues, and best practices for maintenance and monitoring. This talk will focus on the fundamental issues that every cluster architect must face when designing and building an enterprise-class cluster.