Este documento apresenta os conceitos e princípios da Teoria do Design Computacional, incluindo seus níveis de análise, metodologia de projeto e exemplos de sistemas que ilustram seus princípios. O objetivo é transcender a interação humano-computador para sistemas pervasivos e distribuídos, formalizando estruturas computacionais em termos de sistemas formais.