DEMO Specification Language 4.0.3

Conceptual models must be expressed in a suitable language in order to communicate them. To avoid misunderstandings, this language should allow for formulating clear, unambiguous expressions. First order logic is […]