Формальные и Неформальные Подходы в Информатике: Визуализация