por
pobrecito hablador
el Jueves, 03 Mayo de 2007, 23:32h
(#906063)
Con la incorporación de las anotaciones en Java 1.5, la API definitiva para el procesamiento de las mismas en Java 1.6 y un aspect-weaver es fácil construir un sistema de programación por contrato (pre y postcondiciones, invariantes de clase), etc para Java.
Re:Pre y Post Condiciones
(Puntos:0)