Програмування в обмеженнях у системі інсерційного моделювання
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. Inser...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2011
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/50995 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | 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 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-50995 |
|---|---|
| record_format |
dspace |
| spelling |
Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. 2013-11-08T14:46:19Z 2013-11-08T14:46:19Z 2011 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 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/50995 004.41 004.51 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. en Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Програмування в обмеженнях у системі інсерційного моделювання Constraint programming in insertion modeling system Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Програмування в обмеженнях у системі інсерційного моделювання |
| spellingShingle |
Програмування в обмеженнях у системі інсерційного моделювання Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. Теоретичні та методологічні основи програмування |
| title_short |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_full |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_fullStr |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_full_unstemmed |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_sort |
програмування в обмеженнях у системі інсерційного моделювання |
| author |
Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. |
| author_facet |
Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2011 |
| language |
English |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Constraint programming in insertion modeling system |
| description |
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/50995 |
| citation_txt |
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 назв. — англ. |
| work_keys_str_mv |
AT letičevsʹkiioa programuvannâvobmežennâhusistemíínsercíinogomodelûvannâ AT letičevsʹkiioo programuvannâvobmežennâhusistemíínsercíinogomodelûvannâ AT pesčanenkovs programuvannâvobmežennâhusistemíínsercíinogomodelûvannâ AT blinovío programuvannâvobmežennâhusistemíínsercíinogomodelûvannâ AT klʹonovdm programuvannâvobmežennâhusistemíínsercíinogomodelûvannâ AT letičevsʹkiioa constraintprogrammingininsertionmodelingsystem AT letičevsʹkiioo constraintprogrammingininsertionmodelingsystem AT pesčanenkovs constraintprogrammingininsertionmodelingsystem AT blinovío constraintprogrammingininsertionmodelingsystem AT klʹonovdm constraintprogrammingininsertionmodelingsystem |
| first_indexed |
2025-11-30T10:53:33Z |
| last_indexed |
2025-11-30T10:53:33Z |
| _version_ |
1850857440598294528 |