Versão 0.3

Histórico da Revisão

Data	Versão	Descrição	Autor
04/04/2016	0.1	Criação do documento	Matheus Silva
04/04/2016	0.2	Organização do documento	Omar Junior
26/05/2016	0.3	Refinamento do documento	Matheus Silva

1. Definição

Documento que utiliza de uma forma pré e pós-condição para descrever modificações detalhadas em objetos em um modelo de domínio, como resultado de uma operação do sistema (LARMAN, 2007).

2. Contratos de operações

CO01

Nome da Operação: Cadastrar Grão

Referência Cruzada: [UC07 - Manter estoque de grãos](UC07 - Manter graos)

Pré-condições:

• O fazendeiro está devidamente autenticado no sistema.
• Existe uma instância grao de Grão já criada.

Pós-condições:

• O atributo quantidade da instância grao de Grão foi atualizado automaticamente.
• A instância grao alterada foi salva.