Reestruturação de Software Dirigida por Conectividade para Redução de Custo de Manutenção

Most of the software cost is due to maintenance. In the last years, there has been a great deal of interest in developing cost estimation and effort prediction instruments for software maintenance. This work proposes that module connectivityis a key factor to predict maintenance cost and uses this thesis as the basis to develop a Connectivity Evaluation Model in OO Systems (MACSOO), which is a refactoring model based on connectivity whose aim is to minimize maintenance cost. We describe experiments whose results provide an example of the model application and expose the correlation between connectivity and maintainability.Grande parte do custo de software é dedicado à manutenção. Nos últimos anos, tem havido muito interesse pela definição de instrumentos de estimativa de custo e predição de esforço para a manutenção de software. Nossa tese é que a conectividadeé o fator principal no custo de manutenção. Apresentamos neste artigo o Modelo de Avaliação de Conectividade em Sistemas Orientados por Objetos (MACSOO), que é um modelo de reestruturação de software baseado em conectividade cujo objetivo é a redução do custo de manutenção. Relatamos experimentos que exemplificam o uso do modelo proposto e evidenciam a relação entre conectividade e manutenibilidade

What’s the name of the game? Formal Specification of Artificial Intelligence Games

Artificial intelligence games are a very interesting tool for teaching Artificial Intelligence techniques. Competitors write programs for agents, which are supposed to complete a given task or fight against other agents. In order to achieve the best performance, programs may have to use advanced Artificial Intelligence methods. In this paper, we present a framework to build artificial intelligence games, using Abstract State Machines (ASM) for the specification of the rules of the games. Choosing ASM, we expect that the competitors will be able to understand clearly the semantics of the rules. The framework includes a compiler for an ASM-based language, allows complete control of the order of execution of agents and easy integration with graphical libraries

What's the name of the game? Formal specification of artificial intelligence games

Artificial intelligence games are a very interesting tool for teaching Artificial Intelligence techniques. Competitors write programs for agents, which are supposed to complete a given task or fight against other agents. In order to achieve the best performance, programs may have to use advanced Artificial Intelligence methods. In this paper, we present a framework to build artificial intelligence games, using Abstract State Machines (ASM) for the specification of the rules of the games. Choosing ASM, we expect that the competitors will be able to understand clearly the semantics of the rules. The framework includes a compiler for an ASM-based language, allows complete control of the order of execution of agents and easy integration with graphical libraries