Questão #29488

Informática — Informática Diversos

Qual é a interpretação regra OCL/UML abaixo?

Context Artigo::entrega() : Boolean

Pre: ---

Post: result = (self.disponibilidade = #emEstoque)

A A entrega de um artigo é feita se houver estoque do mesmo; B A sintaxe não é OCL, portanto a regra não é válida; C O retorno da operação entrega() é verdade se o valor da variável global #emEstoque for diferente de zero; D O retorno da operação entrega() é verdade se o parâmetro #emEstoque for diferente de zero;

Informática — Informática Diversos

Uma questão respondida. E as próximas?