No/VOL: 01b/2012 Page no. 132

Authors: Tao Jiang :

Title: Badania weryfikacji konsystencji metamodelu bazujące na interferencji logicznej pierwszego rzędu

Abstract: W artykule zaproponowano metodę weryfikacji metamodelu DSMML (Domain Specific Metamodeling Language). Weryfikacja bazuje na interferencji logicznej pierwszego rzędu

Key words: metamodel, DSMML.

wstecz