Título: Uma Formalização Preliminar da Quinta Disciplina e Alguns
            Resultados. 
  
    Palestrante: Lourival Paulino 
  
    Resumo: Nesse seminário será apresentada uma visão geral do trabalho de
            formalização da teoria da Quinta Disciplina [2]. Além disso, serão
            abordados alguns problemas enfrentados durante o desenvolvimento
            dessa atividade e algumas características do modelo formal gerado.

            O contexto escolhido para a formalização foi o dos Sistemas
            Multi-Agentes. Para tanto, utilizou-se o arcabouço formal SMART
            [1], que é especificado na linguagem formal Z [3].

            Referências: 1. Mark d'Inverno and Michael Luck. 2001. 
                            Understanding Agent Systems. Berlin. Germany. 
                            Springer-Verlag.  

                         2. Peter M. Senge. 1990. The Fifth Discipline - 
                            The Arts and Practices of the Learning 
                            Organization. Currency Doubleday. 

                         3. J. M. Spivey. 1992. The Z Notation: A Reference
                            Manual. Prentice Hall, Hemel Hempstead, 2nd
                            edition. On line copy at url:
                            http://spivey.oriel.ox.ac.uk/~mike/zrm/