Prática da programação

Autor: Ítalo Vega (Líder do GEMS)

Data: 16/09/2014

GEMS 191 – TIDD/Depto de Computação/PUCSP

Resumo:

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.

Comments are closed.

Set your Twitter account name in your settings to use the TwitterBar Section.