Sinónimos de diferenciació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.

Una buena ingeniería de software requiere la diferenciación entre la especificación y la implementación.

(...) Antes en China todos eran iguales, solo tenían campos de arroz y todos eran pobres, ahora el desarrollo ha dado desigualdad y progreso donde estaban estos campos de arroz ahora hay grandes industrias como una muestra de su importante desarrollo

La desigualdad no sólo es poco atractiva en sí misma; está claro que se corresponde con problemas sociales patológicos que no podemos abordar si no atendemos a su causa subyacente.