Historias
Slashboxes
Comentarios
 
Este hilo ha sido archivado. No pueden publicarse nuevos comentarios.
Mostrar opciones Umbral:
Y recuerda: Los comentarios que siguen pertenecen a las personas que los han enviado. No somos responsables de los mismos.
  • 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.
    [ Padre ]
  • Re:Sí que son útiles

    (Puntos:3, Informativo)
    por pobrecito hablador el Jueves, 25 Noviembre de 2010, 19:21h (#1252667)
    ¿Interesante?

    Perdone pero usted no tiene ni pajolera idea de lo que estás hablando.
    [ Padre ]
  • por JonnyD (47658) el Viernes, 26 Noviembre de 2010, 17:19h (#1252925)
    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.
    [ Padre ]