Critical thinking, creativity, and problem-solving skills are considered essential to twenty-first century professionals. Computational Thinking is a reasoning process based on Computer Science capable of promoting such skills. Based on the pillars of abstraction, automation and analysis, several works propose the dissemination of this methodology to students of different levels of education. Differentiating from previous works, this paper presents methodological proposals for solving problems that systematize the use of techniques, such as composition and abstraction, for the description of solutions. The methodologies are designed for the LiVE language, a visual specification language based on concepts of Computational Thinking.Resumo. Pensamento crítico, criatividade e capacidade de resolver problemas são competências consideradas essenciais aos profissionais do século XXI. O Pensamento Computacional é um processo de pensamento fundamentado na Ciência Computação capaz de promover tais habilidades. Alicerçados nos pilares da abstração, automação e análise, diversos trabalhos propõem a disseminação desta metodologia para estudantes de diferentes níveis de ensino. Diferenciando-se de trabalhos anteriores, este artigo apresenta propostas metodológicas para a resolução de problemas que sistematizam o uso de técnicas, como composição e abstração, para a descrição de soluções. As metodologias são concebidas para a linguagem LiVE, uma linguagem visual de especificação fundamentada em conceitos do Pensamento Computacional. * O presente trabalho foi realizado com apoio da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior -Brasil (CAPES) -Código de Financiamento 001. O projeto também conta com o apoio da PREC e PRPPG / UFPel.