Метамоделирование: различия между версиями
Содержимое удалено Содержимое добавлено
Oleg4280 (обсуждение | вклад) |
ЕссБот (обсуждение | вклад) м clean up, removed: Категория:Информатика с помощью AWB |
||
Строка 202:
* '''Замкнутость.''' Замкнутость означает, что осуществляя действия в выбранной формальной модели, мы не выйдем за её пределы и нам не встретятся неформализуемые (неописываемые) объекты.
* '''Полнота.''' Полнота выбранной формальной системы означает, что в её рамках можно описать (задать, смоделировать) все объекты из рассматриваемого множества.
Строка 231 ⟶ 230 :
* [http://www.w3.org/2001/sw Проект SemanticWeb]
[[Категория:Информатика]]▼
{{Готовность|75%}}
|