Barrapunto

Creo que no me entendieron o sencillamente dije una burrada, no hablo la ingeniería informática en su conjunto, para mi esa es totalmente "ingenieril", sino que hablo de la cacareada ingeniería del software, o quizás lo que me pasa es que un cliente me exige un montón de documentación para un proyecto bastante sencillo, pero que esa documentación es repetitiva y poco clara(en el formato que me la pide) y más parece una mera cuestión burocrática, quizás es lo de siempre, la mala ingeniería que abunda, y la buena que no se encuentra...

A ver bebé, la pregunta la hice porque he vivido lo que es una ingeniería donde lo que uno hace puede costar vidas, y se come menos mierda con documentación y metodologías que cambian todos los días.
Una pregunta mejor formulada sería esta:
¿ Existen metodologías formales* reales para la creación de software?
Si es así me encantaría algunos enlaces o al menos títulos de libros.
Ya en mi blog me recomendaron estos:

Pressman, R. S., Ingeniería del Software: un enfoque práctico, 6ed., McGraw-Hill, 2005.

Sommerville, I., Ingeniería del Software, 6 edición, Addison-Wesley, 2002.

¿Que tal están?


* Les recuerdo que un lenguaje formal es aquel que no da pie a "interpretaciones según el contexto"