Uma abordagem unificada para especificar e checar restrições em múltiplas linguagens de programação no contexto de um juiz on-line Documento