Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Модель перевірки компонентів та їх композиції у компонентну систему
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Рожнов, А.М. | |
| dc.date.accessioned | 2008-08-22T16:57:57Z | |
| dc.date.available | 2008-08-22T16:57:57Z | |
| dc.date.issued | 2006 | |
| dc.identifier.citation | Модель перевірки компонентів та їх композиції у компонентну систему / А.М. Рожнов // Проблеми програмування. — 2006. — N 2-3. — С. 600-604. — Бібліогр.: 27 назв. — укр. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/1562 | |
| dc.description.abstract | Пропонується модель перевірки простих і складних компонентів, як композицій простих. Розглядається загальна компонента модель, метод верифікації та композиції правильних компонентів у компонентну систему. | en_US |
| dc.description.abstract | Model verification of the simple and the compound components as compositions of the simple are offered. General model components, methods of verification and correct compositions to component systems are considered. | en_US |
| dc.language.iso | uk | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.subject | Інструментальні засоби і середовища програмування | en_US |
| dc.title | Модель перевірки компонентів та їх композиції у компонентну систему | en_US |
| dc.title.alternative | Model verification of components and theirs composition to component system. | en_US |
| dc.type | Article | en_US |
| dc.status | published earlier | en_US |
| dc.identifier.udc | 681.03 |
Файли у цій статті
Ця стаття з'являється у наступних колекціях
-
Проблеми програмування, 2006, № 2-3 [97]
Матеріали п'ятої міжнародної науково-практичної конференції з програмування УкрПРОГ'2006, 23-25 травня 2006 р., Україна, Київ