Yelisetty S, Marques J, Dias LAV. PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos. CadINF [Internet]. 28º de junho de 2022 [citado 1º de outubro de 2025];46:8-18. Disponível em: https://www.e-publicacoes.uerj.br/cadinf/article/view/67098