I disagree with English (in principle at least) being inadequate for software specification.
For any commercial software, the specification basically is just “make profit for this company”. The rest is implementation detail.
(Obviously this is an absurd example, but it illustrates how you can express abstractions in English that you can’t in C++.)
I disagree with English (in principle at least) being inadequate for software specification.
For any commercial software, the specification basically is just “make profit for this company”. The rest is implementation detail.
(Obviously this is an absurd example, but it illustrates how you can express abstractions in English that you can’t in C++.)