Paulo Borba (phmb@cin.ufpe.br)
A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1998. (Livro texto da primeira parte do curso, que cobre os Capítulos 0, 1, 2, 3, e o Apêndice B. O código CSP dos exemplos do livro está disponível como um único arquivo compactado e como vários arquivos distribuídos em diretórios. As leis de CSP introduzidas no livro estão disponíveis em formato postscript e em HTML. Uma errata do livro também está disponível em formato postscript e em HTML.)P. Gardiner e outros. Failures-Divergence Refinement, FDR2 User Manual and Tutorial. Formal Systems Ltd., 1997. (Manual da ferramenta a ser utilizada na primeira parte do curso, disponível em formato postscript e em HTML.)
J.C.P. Woodcock e J. Davies. Using Standard Z: Specification, Refinement and Proof. Prentice Hall, 1996.
M. Spivey. The Z Notation: A Reference Manual. 2nd edition. Prentice Hall, 1992. X. Jia. A Tutorial of ZANS, A Z Animation System, 1995. I. Meisels and M. Saaltink. The Z/EVES Guide. ORA Canada, 1996. C. Fischer. Combining CSP and Z. University of Oldenburg, 1996. (Este artigo está disponível para xerox com Alexandre Mota) A. Mota e A. Sampaio. Model-Checking CSP-Z: Strategy, Tool Support and Industrial Application. Journal of Science of Computer Programming (Elsevier), Vol.38, Number 3 , November, 2000 (Expected).
A.W. Roscoe. The Theory and Practice of Concurrency, 1998. (Web-site do livro de mesmo título.)
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. (Livro clássico de CSP.)
Glenn Bruns. Distributed Systems Analysis with CCS. Prentice Hall, 1997.
M. Saaltink. The Z/EVES System. Z User's Meeting 97: The Z Formal Specification Notation, 1997.
C. Fischer. CSP-OZ: A Combination of Object-Z and CSP. Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMODDS'97). Chapman Hall, 1997.
Mais detalhes sobre CSP, Z e o uso destas linguagens no desenvolvimento de aplicações industriais podem ser encontrados nos seguintes endereços:http://www.formal.demon.co.uk/index.html
| |
Augusto Sampaio (acas@cin.ufpe.br)
e Paulo Borba (phmb@cin.ufpe.br) |