1. Modelling and Integrating Formal Models: from Test Cases and Requirements Models

A especificaÃÃo formal de um sistema ou seu modelo formal à uma forma abstrata de representar suas propriedades (caracterÃsticas). MÃtodos formais à um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificaÃÃo formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notaÃÃes abstratas antes da i

Publicado em: 2007

2. Projeto e implementaÃÃo de sistemas multiagentes: o caso tropos

Sistemas Multi-Agentes (SMA) sÃo sistemas altamente distribuÃdos, ou seja, que nÃo possuem um Ãnico ponto de controle, e que utilizam uma coleÃÃo de agentes. Um agente pode ser visto como um sistema computacional encapsulado que està situado em algum ambiente e à capaz de realizar aÃÃes autÃnomas e ter um comportamento flexÃvel neste ambiente, co

Publicado em: 2005

3. An Aspect-oriented Implementation Method

First, I thanks to God for giving me strength to keep going since undergraduate. To my mother and father that despite being 1000 km far from me had always supported me and my family in all the ways they could and I needed. To my daughter, Heloisa, my wife, Fernanda, my brothers AndrÂe and Ricardo, and my sister-in-law, Vanessa. To my advisor, for being so c

Publicado em: 2004