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

dc.contributor.author	Летичевський, О.А.
dc.contributor.author	Летичевський, О.О.
dc.contributor.author	Песчаненко, В.С.
dc.contributor.author	Блинов, І.О.
dc.contributor.author	Кльонов, Д.М.
dc.date.accessioned	2013-11-08T14:46:19Z
dc.date.available	2013-11-08T14:46:19Z
dc.date.issued	2011
dc.identifier.citation	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 назв. — англ.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/50995
dc.description.abstract	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.	uk_UA
dc.language.iso	en	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Теоретичні та методологічні основи програмування	uk_UA
dc.title	Програмування в обмеженнях у системі інсерційного моделювання	uk_UA
dc.title.alternative	Constraint programming in insertion modeling system	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.41
dc.identifier.udc	004.51