Produtos

Conflict Checker

O Conflict Checker é um mecanismo de verificação de conflitos normativos indiretos. Esse mecanismo é capaz de verificar conflitos entre pares de normas, levando em consideração as características do domínio da aplicação. Ontoligas OWL são utilizadas para descrever domínios e são inseridas no Conflict Checker através de documentos OWL. O Conflict Checker é resultado das pesquisas desenvolvidas durante o Mestrado em Computação, no Laboratório de Enveharia de Software do Instituto de Computação da Universidade Federal Fluminense (SEL - IC/UFF).

Para baixar o Conflict Checker, clique aqui.

Jean de Oliveira Zahn

Estudante de Doutorado em Computação

Instituto de Computação

Universidade Federal Fluminense

Área: Engenharia de Sistemas e Informação

Início em: março de 2015

Conclusão em: dezembro de 2018

Mestre em Computação

Instituto de Computação

Universidade Federal Fluminense

Área: Engenharia de Software

Início em: agosto de 2012

Conclusão em: março de 2015

Bacharel em Ciência da Computação

Departamento de Ciência da Computação

Universidade do Estado de Mato Grosso

Área: Ciência da Computação

Início em: março de 2007

Conclusão em: junho de 2012

Área de Interesse

- Sistemas Multi-Agentes

- Sociedade de Agentes

- Sistemas Normativos

Links

-Prof.ª Dr.ª Viviane Torres da Silva
-Prof. M.Sc. Rodrigo Fernando Shimazu
-Instituto de Computação - UFF
-Universidade do Estado de Mato Grosso
-ADDLabs
-Cederj
-Instituto Se7e