Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Програмування в обмеженнях у системі інсерційного моделювання
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Програмування в обмеженнях у системі інсерційного моделювання
Інші назви:
Constraint programming in insertion modeling system
Тема:
Теоретичні та методологічні основи програмування
УДК:
004.41
004.51
004.51
Посилання:
Constraint programming in insertion modeling system / O.A. Letichevsky, O.O. Letychevskyi, V.S. Peschanenko, I.O. Blynov, D.M. Klionov // Пробл. програмув. — 2011. — № 4. — С. 14-22. — Бібліогр.: 27 назв. — англ.
Дата:
2011
Переглядів:
897
Завантажень:
445
Анотація:
The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Insertion machine for constraint programming is specified as an example, and as a starting point of ‘verifiable programming’ project.
