| |
| Acadêmico(a): Bruno Biribio Woerner |
| Título: Um Estudo de Caso Usando o Método Formal Z para Especificação de um Sistema |
| |
| Abstract: |
| This work presents a formal specification of a system using the Z notation. The specification of a library system is presented. The system has the basis operations Create, Retrieve, Update, Delete (CRUD), modeled with Z. For each symbol and construction used in a specification, a mapping to software implementation is showed. The programming language used to software implementation is Java. Still test are implemented using the specification builded. The tests are implemented using JUnit library. |
| |
|
