Uma linguagem de programação alto nível usada para desenvolver o programa de certificação para instrução assistida por computador.