introducciónajml-algoritmosyestructurasdedatos.docVIP

Introducción: Una práctica bonita de laboratorio, y que ayudaría a entender mejor la programación con Java es: Dada una clase, con métodos que contienen su especificación pre-post, escriba el código de dichos métodos que se ajustan a dicha especificación. Así por ejemplo, tenemos la siguiente clase Java: public class JMLArrayOps { /** Busca un elemento dado en un array y devuelve el número de veces que su identidad se encuentra */ /*@ public normal_behavior @ requires (* el array está creado *) array != null; @ ensures (* el valor devuelto es el número de