Sumários
desenvolvimento top-down, por refinamentos sucessivos
28 Outubro 2019, 10:30 • Antónia Lopes
O desenvolvimento top-down, por refinamentos sucessivos, centrado na transformação de dados (stepwise refinement). Ilustração do método com um exemplo de um programa interativo que permite que um utilizador aplique várias transformações sobre um texto fornecido. O resultado dos três primeiros passos de refinamento: