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).

Actualmente no hay contenido clasificado con este término.