Ациклічність та замкненість макрокомпозицій

dc.contributor.author	Вінник, В.Ю.
dc.contributor.author	Парфірова, Т.С.
dc.date.accessioned	2015-09-23T15:20:58Z
dc.date.available	2015-09-23T15:20:58Z
dc.date.issued	2012
dc.identifier.citation	Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/86582
dc.description.abstract	Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції.	uk_UA
dc.description.abstract	The problem of explication of software design is treated from the perspective of entity platform. It is established that acyclic compositions are adequate basic means for explication of design structures and logics. For acyclic compositions, closure against superopsition is proved. It is shown that closure against multiplication and overlapping is a corollary of that against superposition.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Теоретичні та методологічні основи програмування	uk_UA
dc.title	Ациклічність та замкненість макрокомпозицій	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.415.2