Linguagem de restrição de objeto (OCL) para pilha no pacote java.util
Eu tenho um exame chegando e eu estou olhando documentos anteriores para ter algumas idéias do que esperar. Estou um pouco preso no seguinte e realmente apreciaria se alguém pudesse dar algumas respostas de exemplo. Escreva pré-condições e pós-condições no OCL para cada uma das seguintes operações...