There is an inherent dissonancebetween the quasi-formal world of computer programs - defining the programmed machine in each system - and the non-formal problem world of the system requirements.