An object-based design system for software reuse

Summary form only given. KBO2 (Knowledge-Based Object-Oriented Environment) is an environment which supports the design and specification of software components and the immediate execution of the specification to examine the component´s behaviour. KBO2 is a Prolog system which supports a graphical-based object-oriented component design interface. The graphic design is simply converted into a number of binary argument Prolog predicates which are executed by the Prolog system. The graphical user interface aids rapid specification development and modification