Una técnica para el diseño de software orientado por objetos

Abstract

This article presents the description and use of the Technique for the Development of Object-Oriented Systems (TDSO) that allows the analysis, specification, design, and documentation of class objects, constituting an appropriate tool for the design of object-oriented software. This technique is based on the deductive method (MEDEE) used to analyze, specify, document, design and prove programmed systems, and in the Object-Oriented Modeling Technique (OMT) that describes the whole modeling process of class objects.