|
Acadêmico(a): Bruno Biribio Woerner |
Título: Um Estudo de Caso Usando o Método Formal Z para Especificação de um Sistema |
|
Resumo: |
Este trabalho apresenta uma especificação formal de um sistema utilizando a notação Z. A especificação de um sistema de biblioteca é apresentada. O sistema possui as operações básicas Create, Retrieve, Update, Delete (CRUD), modeladas em Z. Para cada símbolo e construção utilizada na especificação, é apresentado o mapeamento para a respectiva implementação do software. A linguagem de programação utilizada para a implementação do software foi o Java. Foram ainda implementados testes utilizando a especificação construída. Os testes foram implementados utilizando a biblioteca JUnit. |
|
|