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

Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Проблеми програмування
Дата:2012
Автори: Вінник, В.Ю., Парфірова, Т.С.
Мова:Українська
Опубліковано: Інститут програмних систем НАН України 2012
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/86582
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862579402432315392
author Вінник, В.Ю.
Парфірова, Т.С.
author_facet Вінник, В.Ю.
Парфірова, Т.С.
citation_txt Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр.
collection DSpace DC
container_title Проблеми програмування
description Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції. 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.
first_indexed 2025-11-26T18:40:14Z
fulltext
id nasplib_isofts_kiev_ua-123456789-86582
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 1727-4907
language Ukrainian
last_indexed 2025-11-26T18:40:14Z
publishDate 2012
publisher Інститут програмних систем НАН України
record_format dspace
spelling Вінник, В.Ю.
Парфірова, Т.С.
2015-09-23T15:20:58Z
2015-09-23T15:20:58Z
2012
Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр.
1727-4907
https://nasplib.isofts.kiev.ua/handle/123456789/86582
004.415.2
Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції.
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
Інститут програмних систем НАН України
Проблеми програмування
Теоретичні та методологічні основи програмування
Ациклічність та замкненість макрокомпозицій
published earlier
spellingShingle Ациклічність та замкненість макрокомпозицій
Вінник, В.Ю.
Парфірова, Т.С.
Теоретичні та методологічні основи програмування
title Ациклічність та замкненість макрокомпозицій
title_full Ациклічність та замкненість макрокомпозицій
title_fullStr Ациклічність та замкненість макрокомпозицій
title_full_unstemmed Ациклічність та замкненість макрокомпозицій
title_short Ациклічність та замкненість макрокомпозицій
title_sort ациклічність та замкненість макрокомпозицій
topic Теоретичні та методологічні основи програмування
topic_facet Теоретичні та методологічні основи програмування
url https://nasplib.isofts.kiev.ua/handle/123456789/86582
work_keys_str_mv AT vínnikvû aciklíčnístʹtazamknenístʹmakrokompozicíi
AT parfírovats aciklíčnístʹtazamknenístʹmakrokompozicíi