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

• Autores: Antonio David Gómez Morillo, Antonio Menchén Peñuela
• Localización: X Jornadas de Enseñanza Universitaria de la Informática: JENUI 2004. Alicante, del 14 al 16 de julio de 2004, 2004, ISBN 84-9732-334-3, págs. 425-432
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • 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