The goal is to narrow the existing gap between the language in which a problem may be described by users in a given domain (the modelling or Knowledge level language which is usually informal), and the language in which the problem must be given substance as a formal specification (preferably executable for rapid prototyping purposes).

There is currently no content classified with this term.