Auxílio na simulação de sistemas num ambiente computacional para avaliação de especificação. (Em CD-ROM) - Takimoto, Rogério Yugo; Serrano, A M L C; Camargo Júnior, João Batista (Simpósio de Iniciação Científica da Universidade de São Paulo, 1998)