Informal approaches
Running plain text requirements specifications are increasingly less common
There are a number of approaches between this and formal specifications that give varying degrees of leverage
Note that Jackson didn’t argue for any particular style or notation
- But rather for properties that requirements specifications should have