4 ms·Software products specifications are written in real language, not in first order logic.by dist-epoch 8mo agoSoftware products specifications are written in real language, not in first order logic.