The bosses instructions and confused and imprecise. The natural language dance in this scenario involves us repeatedly trying and failing and adding more communication until the various terms being used are precisely defined enough so that the software can be written.
This is what Dijkstra was talking about. That without a formal system we end up wasting a lot of time tightening up what we mean.
It may be an interesting field to see if we can make a computer do this dance but it isn't useful.
This is what Dijkstra was talking about. That without a formal system we end up wasting a lot of time tightening up what we mean.
It may be an interesting field to see if we can make a computer do this dance but it isn't useful.