Estadísticas del PDF: Introducción al lenguaje de especificación JML

Introducción al lenguaje
de especificación JML

Elena Hernández Pereira
Óscar Fontenla Romero

Tecnología de la Programación

― Octubre 2006 ―

Departamento de Computación
Facultad de Informática
Universidad de A Coruña

Bibliografía

JML Home Page:

http://www.jmlspecs.org

Documento sobre diseño preliminar de JML:

http://www.cs.iastate.edu/~leavens/JML/prelimdesign/pr

elimdesign_toc.html
Manual de referencia:

http://www.cs.iastate.edu/~leavens/JML/jmlrefman/

Código libre JML y herr...