We use explicit language support assertions for programming languages; see, for example, Java.
We do not use them much yet for non-programming languages; see, for example, OCL.
Such explicit assertions make sense in principle, but they are bit hard to use.
Either we should use them more consistently and document a guideline or we should get rid of them.
We use explicit language support assertions for programming languages; see, for example, Java.
We do not use them much yet for non-programming languages; see, for example, OCL.
Such explicit assertions make sense in principle, but they are bit hard to use.
Either we should use them more consistently and document a guideline or we should get rid of them.