Desarrollo de software se está convirtiendo en un término saturado, demasiados significados. Aunque tal vez no es exactamente lo que la industria necesita pero propongo un nuevo término con el que intento reflejar varios aspectos más particulares de la actividad de crear software; 'diseño de software' se puede considerar sinónimo de lo que intento comunicar con 'formular software'.
Podría haber escogido 'ingeniería de software' si no fuera otro término también saturado y por el momento pretencioso y exagerado.
De http://www.rae.es/ :
formular:
(De fórmula).
1. tr. Reducir a términos claros y precisos un mandato, una proposición, una denuncia, (... una lógica de conducta para una computadora.)
3. tr. Expresar, manifestar. (... comunicar la lógica de comportamiento del un programa, tanto entre seres humanos como entre humano-dispositivo de cómputo)
4. tr. Mat. Representar mediante signos matemáticos las relaciones entre las diferentes magnitudes de un enunciado. (representar en el fuente del programa, ya sea texto u otro medio, los elementos y las relaciones de composición de dicho programa)
5. tr. Quím. Representar mediante símbolos químicos la composición de una sustancia o de las sustancias que intervienen en una reacción. (Derivo la siguiente:)
6. tr. Comp. Representar mediante símbolos lógicos la composición de un programa o de los componentes que intervienen en una computación.
