Между квазиформальным миром компьютерных программ существует неотъемлемый диссонанс, определяющий запрограммированную машину в каждой системе - и неформальный мир проблемы системных требований.