Una aproximación topológica al diseño modular en ingeniería de software

Dada la gran importancia que ha tomado el paradigma orientado a objetos en la ingeniería de software y al papel central que juega la reusabilidad dentro de éste, se hacen necesarias la precisión y formalización de conceptos claves como cohesión, acoplamiento y modularidad. En este trabajo se propone una formalización matemática de esos conceptos claves basada en la topología algebraica y que nos conduce a unos criterios formales de diseño modular que facilitan la medición de los conceptos.