Una buena ingeniería de software requiere la diferenciación entre la especificación y la implementación.
La tarea del programador no es sólo escribir un programa, sino que su tarea principal es dar una prueba formal de que el programa que propone cumple la especificación funcional.
Así pues, Sismondi afirma que, debido a la desigualdad de la distribucción inherente al capitalismo, el mercado interior se reduce, que éste debe ser originado por una distribución equitativa.
Precisamos, sobre todo, integrar y transformar un país pequeño que se convirtió en un gigante de la desigualdad