Sugiro a leitura dos primeiros capítulos do livro Using Z: Specification, Refinement, and Proof. O livro é gratuito e pode ser baixado a partir do site: http://www.usingz.com. Segundo meu orientador, este é o melhor material já produzido para quem está começando a estudar métodos formais em Z.
É esperado que o leitor possua conhecimento em lógica matemática antes de lidar diretamente com especificações em Z. O UsingZ não pressupõe conhecimento algum em lógica matemática, os três primeiros capítulos são gastos com motivação e explicações sobre conectivos e quantificadores.
Se você fez um bom curso de lógica matemática o conteúdo destes capítulos deve lhe ser familiar.
Outro material que conheço é o Especificações em Z: uma introdução. O autor é o Arnaldo Vieira Moura, professor da UNICAMP. A página do autor é http://ze.ic.unicamp.br/
Um excelente material de referência sobre a notação Z é o livro Z Notation (Spivey), este material é mais adequado para quem já conhece Z e deseja revisar certas construções ou leis do toolkit matemático da notação Z.
É esperado que o leitor possua conhecimento em lógica matemática antes de lidar diretamente com especificações em Z. O UsingZ não pressupõe conhecimento algum em lógica matemática, os três primeiros capítulos são gastos com motivação e explicações sobre conectivos e quantificadores.
Se você fez um bom curso de lógica matemática o conteúdo destes capítulos deve lhe ser familiar.
Outro material que conheço é o Especificações em Z: uma introdução. O autor é o Arnaldo Vieira Moura, professor da UNICAMP. A página do autor é http://ze.ic.unicamp.br/
Um excelente material de referência sobre a notação Z é o livro Z Notation (Spivey), este material é mais adequado para quem já conhece Z e deseja revisar certas construções ou leis do toolkit matemático da notação Z.
Nenhum comentário:
Postar um comentário