Estadísticas del PDF: JML - Tecnología de la Programación

Tecnología de la Programación

JML

David Cabrero Souto

Facultad de Informática
Universidade da Coruña

Curso 2007/2008

JML

Java Modeling Language.

A formal behavioral interface specification language for Java.

Diseño por contrato en Java.

Precondiciones
Postcondiciones
Invariantes de clase

http://www.jmlspecs.org
Los contratos se incrustan en el código en forma de
anotaciones/aserciones:

//@ keyword aserción

/*@ ... @*/

La aserción combina expresiones java (sin efectos
colaterales) y ...