JENNIFER071709IN JENNIFER071709IN Tecnología y Electrónica contestada Postcondición de entrada al almacén en una clase de uso