Summary: 4o
Semin´ario Informal (mas Formal!) 2006
Estrat´egias da Teoria de Reescrita em PVS:
considerac¸ ~oes sobre especificac¸ ~ao e
aplicac¸ ~oes
Andr´e Luiz Galdino
Departamento de Matem´atica Grupo de Teoria da Computac¸ ~ao
Campus de Catal~ao & Departamento de Matem´atica
Universidade Federal de Goi´as Universidade de Bras´ilia
Professor Assistente Estudante de Doutorado
Orientador: Mauricio Ayala-Rinc´on
Parcialmente Financiado pelo CNPq
08 de dezembro de 2006
Andr´e Luiz Galdino Campus de Catal~ao - UFG & Universidade de Bras´ilia
4o
Semin´ario Informal (mas Formal!) 2006 GTC - Departamento de Matem´atica
Plano de Apresentac¸ ~ao
A Linguagem de Especificac¸ ~ao PVS
Uma Especificac¸ ~ao de Sistemas Abstratos de Reescrita
Porque Estrat´egias em PVS s~ao Importantes

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics