Métodos Formais I

Cursos: Informática e Ciência da Computação

----------------------------------------------------------------------------------------------------------------

Programa

Critério de avaliação

-----------------------------------------------------------------------------------------------------------------

EXAME CC Dia 11/12 as 15:30 - EXAME INF Dia 11/12 as 19:30 nas mesmas salas das aulas

Notas de aula

• Introdução
• Exemplo Locadora
• Exemplo LocadoraNova

Lista de Exercicios

• Lista exercícios 1o. bimestre
• Exemplos do Mário
• Lista de exercícios 2o. bimestre
• Prova 1o. Bimestre

Trabalhos

• Trabalho do terceiro bimestre (INF)- entregar impresso e CD contendo os arquivos latex e uuencoded.
• Trabalho do primeiro bimestre (CC) - entregar impresso e CD contendo os arquivos latex e uuencoded

Avaliações

Plano de Dependência INF (Anual)

Plano de Dependência CC (Semestral)

Livro Texto

Moura, A. V., Especificações em Z: Uma Introdução, Editora da Unicamp, 2001

Visite a página da disciplinas Métodos Formais em Engenharia de Software

Exemplos de especificações

Elevador

Máquina de bebidas

Bilheteria

Como instalar o CZT (Community Z Tools)?

Elaborado por Marco Aurélio Barbosa

O proceso normal de instalação do CZT envolve a compilação do mesmo, o que não é uma tarefa trivial. Para facilitar o seu uso estamos disponibilizando os arquivos já compilados.

O CZT é utilizado como um plugin para o editor jedit, portanto, o primeiro passo é instalar o jedit.

Em seguida, descompacte o arquivo czt_jars.zip no diretório jars que foi criado pela instalação do jedit.

Instale a fonte CZTSans no sistema. Configure a fonte no jedit. Menu Utilities / Global Options, opção "Text Area".

Para iniciar o plugin do CZT, vá ao menu Plugins / Community Z Tools.

Dúvidas sobre como utilizar a ferramenta pode ser encontradas na documentação oficial.

Veja exemplos de especificação em CZT examples