Author(s)

J. Torres, J.A. Troyano & M. Toro

Abstract

One way to guarantee software quality is to have a formal specification of the application that we are going to develop. Besides it is convenient to dispose of a design methodology that makes use of the system structure to describe the system model. In this sense object-oriented (00) methodology is being very relevant nowadays, because it provides a natural way to represent the components of a system as objects, modelling the relationships among the components as messages among the objects. We try to combine formal aspects and OO concepts, in order to obtain a formal OO specification methodology. 1 Introduction A natural way to understand a system is considering it as a set of coope- rating objects working to reach a common goal. In this sense, there are de

Keywords