| Ementa/Descrição: |
EMENTA:
Definição dos modelos de computação, sistemas formais, teoria da prova, projeto, verificação e análise sistemas: especificação, modelagem, análise e verificação.
OBJETIVOS:
Esta disciplina visa dar uma noção introdutória do processo de modelagem de sistemas, através do estudo de alguns formalismos para especificação destes. |
| Referências: |
1. Sipser, M. Introduction to the Theory of Computation, PSW Publishing Company, 1997
2. Van Dalen, D. “Logic and Structure”, Second Edition, Springer-Verlag, 1989.
3. Olderog, E.R. “Nets, Terms and Formulas”. Cambridge University press, 1991.
4. Cassandras, C.G., Lafortune, S. “Introduction to Discrete Event Systems”. Kluwer Academic Publishers, 1999.
5. Artigos científicos. |
