Contratos de operações - JoaoPauloA/UFC

COP001 - Cadastrar Usuario

Operação: Cadastrar_Usuario(usuario:Usuario)
Referencias cruzadas: CDU Cadastro de usuario
Pre-condição: Existe um cadastro em andamento
Pos-condições:
- criou-se uma instancia i de usuario.
- associou-se um usuario i ao sistema.

Operação: Cadastrar_Projeto(professor:Usuario,projeto:Projeto,programa:Programa)
Referencias cruzadas: CDU Cadastro de projeto
Pre-condição: Usuario com perfil de professor autenticado no sistema e com limite de projetos disponivel.
Pos-condições:
- criou-se uma instancia i de projeto com professor e programa.
- Associou-se professor com projeto.
- Associou-se projeto com programa.

Operação: Inscrever_se_projeto(aluno:Usuario,projeto:Projeto)
Referencias cruzadas: CDU Inscreve em projeto
Pre-condição: Usuario com perfil de aluno autenticado no sistema e com limite de bolsas disponivel.
Pos-condições:
- criou-se uma instancia i de aluno com projeto.
- associou-se um aluno i a um projeto.
- removeu-se quantidade de projetos que o aluno pode ter.