Pesquisa

Das provas à produção

A iniciação científica em verificação formal e lógica dinâmica exigia dizer com precisão o que um sistema precisa garantir e depois verificar. Esse hábito segue nas revisões de arquitetura e nos contratos de API.

O mestrado em interoperabilidade semântica de dados trata do mesmo problema que muitos produtos enfrentam todo dia: fazer sistemas diferentes concordarem sobre o significado dos seus dados.