HEDES

Software systems evolve over time. Traditional software development methods and tools support partial aspects of this evolving process. Over the last few years we have researched into theoretical evolution search models which might be applied to the development of software systems. The theory of systems and biology have interesting views on the evolution process, very different from genetic algorithms, which may aid in the development of software systems and CASE tools. Our aim in this paper is to present a first version of a tool (HEDES) which includes these models and implements them in an object-oriented language (VisualWorks 3.0), using first-order temporal logic as support. In addition, some lessons learnt in the development of these complex and changing tools will be outlined, especially the importance of an iterative lifecycle in object-oriented development, a high degree of cohesion of the development team and the need for flexible and rapid ways of communicating new ideas using discussion meetings, Internet facilities and development support tools.