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

El verdadero hombre es la nación; el individuo es siempre un egoísta. Despojaos, pues, de esa individualidad que os aísla, de ese individualismo que no respira más que desigualdad egoísta y discorde y consagraos enteramente al verdadero hombre, a la nación, al estado.