TÉCNICAS DE PROGRAMAÇÃOCORREÇÃO DE PROGRAMASPROGRAMAÇÃO PARALELAPROGRAMAÇÃO POR RESTRIÇÕESRECURSÃOREFLEXÃO COMPUTACIONALSÍNTESE DE PROGRAMASTRANSFORMAÇÃO DE PROGRAMASLINGUAGEM ESTRUTURADAPROCESSAMENTO SIMBÓLICOPROGRAMAÇÃO CONCORRENTEPROGRAMAÇÃO ESTRUTURADAPROGRAMAÇÃO FUNCIONALPROGRAMAÇÃO HEURÍSTICAPROGRAMAÇÃO LÓGICAPROGRAMAÇÃO ORIENTADA A OBJETOSMETODOLOGIA E TÉCNICAS DE COMPUTAÇÃO