Directamente, no muy a menudo. Indirectamente en términos de bibliotecas que tienen código basado en pruebas axiomáticas, en algún lugar de vez en cuando a todo el tiempo. La mayoría de los ingenieros de software usan bibliotecas y la mayoría de las bibliotecas tienen un poco de código que se basa en alguna parte en una prueba axiomática, aunque el código en la biblioteca en sí a menudo no se prueba de manera rigurosa. Bueno, técnicamente si considera que la mayoría de los programas de computadora subyacen a varias formas de matemática discreta, especialmente a la aritmética de módulos, entonces uno podría discutir todo el tiempo. Sin embargo, no creo que quisieras llegar tan lejos con tu pregunta.
Por cierto, me encantan las pruebas axiomáticas, pero rara vez recurro a ellas cuando escribo programas, excepto en la medida en que baso mucho mi estilo de codificación en el excelente libro de David Gries, The Science of Programming – http://blg89.net/blog/wp-content …
- ¿Qué debe hacer para mejorar su perfil para una maestría en CS en un año después de la graduación?
- ¿Es obligatorio que un estudiante universitario haga su mini proyecto en algún instituto en lugar de hacerlo solo?
- Cómo diferenciarme de otros consultores
- Tengo un título de B.tech y quiero hacer algo en el campo de la seguridad cibernética. ¿Qué tengo que hacer?
- En los Estados Unidos, ¿ayuda encontrar un trabajo si muestra sus recomendaciones?