Un programa informático escrito en un lenguaje de programación de alto nivel