Формальные модели компонентного программирования

dc.contributor.author	Грищенко, В.Н.
dc.date.accessioned	2008-07-24T16:51:43Z
dc.date.available	2008-07-24T16:51:43Z
dc.date.issued	2003
dc.identifier.citation	Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/1302
dc.description.abstract	Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практикой программирования.	en_US
dc.description.abstract	Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування.	en_US
dc.description.abstract	The approach to construction of formal models of component programming, as bases of component theory creation, is offered. The models of components, component environments and external and internal component algebra are considered. The various aspects of these models and their relations with practice of programming are analysed.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Теоретические и методологические основы программирования	en_US
dc.title	Формальные модели компонентного программирования	en_US
dc.title.alternative	Формальні моделі компонентного програмування	en_US
dc.title.alternative	The Formal method of Component Basic Programming	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	681.3