jml

9El calor

2Respuesta

¿Por qué no se implementa JML como anotaciones en Java?

Contrariamente a los contratos de código en C#, en el código JML los contratos son solo texto que se utiliza en forma de comentarios en el encabezado de un método. ¿No sería mejor tenerlos expuestos c

java design-by-contract jml 2010-03-18

---