por
pobrecito hablador
el Jueves, 25 Noviembre de 2010, 18:48h
(#1252662)
Sinceramente, no es que los invariantes sean útiles para ahorrar memoria; simplemente es que en tu empresa se desarrolla software de mierda.
Sin acritud, pero que el 75% de la memoria RAM se la comen "instancias" de objetos constantes (porque es a lo que huele lo que estás diciendo, no a invariantes como concepto teórico que es otra cosa), da mucho que hablar de tu empresa.
De hecho es el único uso para el cual yo sabía que que tenía sentido. Tanto si diseñas un software desde cero pensando en verificarlo como si añades nueva funcionalidad a una aplicación existente. La verificación formal es casi imperativa en las aplicaciones importantes; bien sea ligera como el caso de JUnit o pesada como con el uso de notación Z.
Re:Sí que son útiles
(Puntos:0)Sin acritud, pero que el 75% de la memoria RAM se la comen "instancias" de objetos constantes (porque es a lo que huele lo que estás diciendo, no a invariantes como concepto teórico que es otra cosa), da mucho que hablar de tu empresa.
Re:Sí que son útiles
(Puntos:3, Informativo)Perdone pero usted no tiene ni pajolera idea de lo que estás hablando.
Otra utilidad importante: La verificación for
(Puntos:1)