Numer: 01b/2012 Str. 132

Autorzy: Tao Jiang :

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

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

Słowa kluczowe: metamodel, DSMML.

wstecz