There is an inherent dissonancebetween the quasi-formal world of computer programs –

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.