REGISTOS & ENGENHARIA

Notas Técnicas & Atualizações.

Reflexões de engenharia sobre modelação formal, compilação de regras computáveis e lições de implementação no terreno.

Transformar Regulamentos em Sistemas Computáveis

Porque a distância entre a redação jurídica e a engenharia de software exige modelação formal e não apenas processamento de texto.