Ациклічність та замкненість макрокомпозицій
Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 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 |