Tecnologia em Métodos Formais

Instituição: Pontifícia Universidade Católica do Rio de Janeiro

Cidade/UF: RJ/225

O grupo desenvolveu amplo know-how no uso de técnicas de transformação de programas, como por exemplo geração de programas a partir de especificações de alto nível e sua aplicação ao problema de código legado. O problema de código legado é crítico na manutenção de sistemas pois trata da adaptação destes sistemas a novos modelos e novas tecnologias. Em se tratando de modelagem e validação de sistemas, o grupo vem desenvolvendo considerável expertise no aspecto de interoperabilidade formal.

Áreas de atuação

• Modelagem Lógica e Computacional de Dados e Processos

Técnicas disponíveis

• Complexidade computacional
• Interoperabilidade Formal via Teoria das Categorias
• Compressão de provas lógicas
• Modelagem computacional de processos biológicos
• Sistemad lógicos baseados em Dedução Natural

Equipamentos

• Mobiliario — Diversas Mesas de reuniao (2) de mesas de trabalho tipo baias (5) e estante para livros e equipamento

Dados extraídos do PNIPE/MCTI.