Modulo de 'Definições Formais'

do Prototipo:

Toda a estrutura de dados e conhecimentos do prototipo IMS assenta num modelo formal consistente

em foco:

Definição 'top-down' dos elementos constitutivos do modelo IMS