“Formalização para arquitetos: o que devo saber?” - passo 1