> the limitation being our ability to specify the problem sufficiently well

Such has always been the largest issue with software development projects, IMO.