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

• Date: 2011
• ISSN: 1727-4907
• Main Authors: Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М.
• Format: Article
• Language: English
• Published: Інститут програмних систем НАН України 2011
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/50995
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: 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 назв. — англ.

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...