Barrapunto

Antes de nada, tú tampoco puedes garantizar que una aplicación sea segura y... ¿tú crees que vas a ir a una facultad de matemáticas a enseñarles a programar? Pero si llevan haciéndolo desde antes de que nacieras.
A lo mejor no saben nada de, por ejemplo, patrones de diseño en OO, pero a la hora de implementar un programa en C sin pufos probablemente te den mil vueltas.

Ahora me puedes salir con la ingeniería del software que es más que programar..., calidad... y blablabla... cosas que sirven en proyectos grandes y que si no se usan en las grandes empresas será porque ellas no quieren (y a lo mejor se equivocan, pero es su problema) y que no sirven en proyectos como el que te cuento que, sin embargo, sí se considerará crítico y por tanto regulable.

Todo lo contrario, yo soy de los que opina que la ingenieria del software es para trabajar a granel, vamos como en cadenas de produccion.
Pero lo que si que tengo claro es que sin conocer como estan diseñados los sistemas operativos, accesos a memoria, principios de multithreding y de multiprocesos, memoria compartida, pincipios de stack overflow, etc etc etc.. los programas criticos dificilmente se hacen optimos y las cagadas abundan porque se dice eso de....
Para que voy a hacer eso si no sirve para nada.
Y ese es el problema