Resumen de Aplicación de JML a las prácticas de programación con Java

Antonio David Gómez Morillo, Antonio Menchén Peñuela

• JML (Java Modeling Language), es una herramienta desarrollada para Java que permite especificaciones pre-post, así como expresiones muy potentes para colocar asertos en cualquier línea de programa. Con escasamente 5 años, JML aún resultará desconocido para la mayoría de los que nos dedicamos a la enseñanza universitaria. Este trabajo pretende ser uno de los vehículos propulsores de esta herramienta. En el mismo se introducen los elementos básicos del lenguaje JML, y se desarrollan algunos ejemplos. Pensamos que la herramienta es cómoda de instalar y de usar, pudiendo mejorar claramente el código de los programas que escriben los alumnos en las clases de prácticas de las asignaturas de programación