Estudio Formal de Factores Humanos en el diseño de Sistemas Cooperativos