Програмування в обмеженнях у системі інсерційного моделювання
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...
Gespeichert in:
| Datum: | 2011 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут програмних систем НАН України
2011
|
| Schlagworte: | |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/50995 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | 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 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-50995 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
irk-123456789-509952013-11-09T03:07:51Z Програмування в обмеженнях у системі інсерційного моделювання Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. Теоретичні та методологічні основи програмування 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. 2011 Article 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 http://dspace.nbuv.gov.ua/handle/123456789/50995 004.41 004.51 en Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. Програмування в обмеженнях у системі інсерційного моделювання |
| 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. |
| format |
Article |
| author |
Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. |
| author_facet |
Летичевський, О.А. Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. |
| author_sort |
Летичевський, О.А. |
| title |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_short |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_full |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_fullStr |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_full_unstemmed |
Програмування в обмеженнях у системі інсерційного моделювання |
| title_sort |
програмування в обмеженнях у системі інсерційного моделювання |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2011 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.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ʹkijoa programuvannâvobmežennâhusistemíínsercíjnogomodelûvannâ AT letičevsʹkijoo programuvannâvobmežennâhusistemíínsercíjnogomodelûvannâ AT pesčanenkovs programuvannâvobmežennâhusistemíínsercíjnogomodelûvannâ AT blinovío programuvannâvobmežennâhusistemíínsercíjnogomodelûvannâ AT klʹonovdm programuvannâvobmežennâhusistemíínsercíjnogomodelûvannâ |
| first_indexed |
2025-07-04T12:54:34Z |
| last_indexed |
2025-07-04T12:54:34Z |
| _version_ |
1836721032330739712 |