Програмування в обмеженнях у системі інсерційного моделювання
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Програмування в обмеженнях у системі інсерційного моделювання
|
|
Creator |
Летичевський, О.А.
Летичевський, О.О. Песчаненко, В.С. Блинов, І.О. Кльонов, Д.М. |
|
Subject |
Теоретичні та методологічні основи програмування
|
|
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.
|
|
Date |
2013-11-08T14:46:19Z
2013-11-08T14:46:19Z 2011 |
|
Type |
Article
|
|
Identifier |
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 |
|
Language |
en
|
|
Publisher |
Інститут програмних систем НАН України
|
|