Sinónimos de diferenciación

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.

No se puede ser libre e igual. ¿Por qué? Porque si hubiera una libertad absoluta entre todos los hombres la desigualdad sería monstruosa: no todos los hombres somos igualmente fuertes, no todos los hombres somos igualmente inteligentes, no todos los hombres somos igualmente aptos para muchas cosas. (...). De manera que la igualdad y la libertad son contradictorias como término

No sólo hay desigualdad en la distribución de la riqueza, sino en la satisfacción de las necesidades básicas