Програмування в обмеженнях у системі інсерційного моделювання

Скорочена інформація про документ
dc.contributor.authorЛетичевський, О.А.
dc.contributor.authorЛетичевський, О.О.
dc.contributor.authorПесчаненко, В.С.
dc.contributor.authorБлинов, І.О.
dc.contributor.authorКльонов, Д.М.
dc.date.accessioned2013-11-08T14:46:19Z
dc.date.available2013-11-08T14:46:19Z
dc.date.issued2011
dc.description.abstractThe 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.uk_UA
dc.identifier.citationConstraint 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 назв. — англ.uk_UA
dc.identifier.issn1727-4907
dc.identifier.udc004.41
dc.identifier.udc004.51
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/50995
dc.language.isoenuk_UA
dc.publisherІнститут програмних систем НАН Україниuk_UA
dc.statuspublished earlieruk_UA
dc.subjectТеоретичні та методологічні основи програмуванняuk_UA
dc.titleПрограмування в обмеженнях у системі інсерційного моделюванняuk_UA
dc.title.alternativeConstraint programming in insertion modeling systemuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
2_s_14_22.pdf
Розмір:
245.69 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2011, № 4