Sistemas de software podem ser decompostos em subsistemas, que, por sua vez, podem ser decompostos em módulos. Um módulo é normalmente um componente de sistema que fornece um, ou mais, serviços para outros módulos. No desenvolvimento orientado a objetos, um módulo pode ser composto por um conjunto de classes.