Trabalho 3 de Engenharia de Software Orientada a Modelos
Alunos: Alisson Paixão e Márcio Góes
O nosso problema é modelar um Conjunto de inteiros que seja possível adicionar elementos, remover elementos e calcular a média dos elementos desse conjunto. Para isso vamos modelar a classe em UML, fazer uma modelagem OCL e fazer o código-fonte em Java e que respeite as invariantes, pré-condições e pós-condições do modelo OCL utilizando JML.