GEMS 191 | Grupo de Estudos em Modelagem de Software
Encontros do Mês de Setembro Encontros do Mês de Outubro
Em 1978, Backus aprofundou a discussão referente à arquitetura de Von Neumann e a sua influência no processo de programação de computadores ("Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs"). Partimos da ideia que programas são especificações de processos de cálculo realizados por uma máquina (abstrata). Neste sentido, o primário resultado de um projeto de software é um particular processo mecânico, juntamente com a sua respectiva especificação. Qual o conhecimento científico necessário para alcançarmos tal resultado? E quanto ao conhecimento de engenharia? Em 1997, Parnas ofereceu um ponto de vista no artigo "Software Engineering: An Unconsummated Marriage". Uma trilha paralela a esta discussão, encontramos David Tall discutindo "procepts" — percepção simultânea de processos e conceitos a partir de fórmulas aritméticas ("The Transition from Arithmetic to Algebra: Number Patterns, or Proceptual Programming?"). O GEMS realizou diversas reflexões a partir destas ideias e no contexto contemporâneo de programação de computadores.
Tagged with: Arquitetura de Von Neumann • Backus • David Tall • Engenharia de Software • Máquina Abstrata • Parnas