|
-
Ключові слова:
комп"ютерна лінгвістика, компьютерная лингвистика, computational linguistics ; семантика, семантика мовна, семасіологія, semantyka, semantica
-
Анотація:
Пропонується підхід до побудови семантики для широко розповсюдженого методу Z-Notation на базі композиційно-номінативного підходу. Синтаксичною одиницею специфікації системи у Z є схеми. В роботі проаналізовано різні типи схем та задано їх семантику. Показано, як за допомогою схем можна побудувати транзиційну модель програмної системи.
Composition-Nominative approach for Z-Notation language semantics construction is proposed. Schemes are syntactical units of system specification in Z. In the article different types of schemes are analyzed and their semantics is described. It was shown how schemes may be used to generate transitional model of a program system.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 