2025-02-23T06:07:13-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86582%22&qt=morelikethis&rows=5
2025-02-23T06:07:13-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-86582%22&qt=morelikethis&rows=5
2025-02-23T06:07:13-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T06:07:13-05:00 DEBUG: Deserialized SOLR response
Ациклічність та замкненість макрокомпозицій
Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена...
Saved in:
| Main Authors: | , |
|---|---|
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2012
|
| Series: | Проблеми програмування |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/86582 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-86582 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-865822015-09-24T03:01:56Z Ациклічність та замкненість макрокомпозицій Вінник, В.Ю. Парфірова, Т.С. Теоретичні та методологічні основи програмування Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції. 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. 2012 Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86582 004.415.2 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Вінник, В.Ю. Парфірова, Т.С. Ациклічність та замкненість макрокомпозицій Проблеми програмування |
| description |
Задачу експлікації проектування програмних систем розглянуто з точки зору сутнісної платформи. Обґрунтовано адекватність вибору ациклічних композицій як базовий засіб експлікації логіки будови проектів. Для ациклічних композицій встановлено замкненість відносно суперпозиції. Показано, що встановлена в попередніх роботах замкненість відносно множення та накладання є наслідком замкненості відносно суперпозиції. |
| author |
Вінник, В.Ю. Парфірова, Т.С. |
| author_facet |
Вінник, В.Ю. Парфірова, Т.С. |
| author_sort |
Вінник, В.Ю. |
| title |
Ациклічність та замкненість макрокомпозицій |
| title_short |
Ациклічність та замкненість макрокомпозицій |
| title_full |
Ациклічність та замкненість макрокомпозицій |
| title_fullStr |
Ациклічність та замкненість макрокомпозицій |
| title_full_unstemmed |
Ациклічність та замкненість макрокомпозицій |
| title_sort |
ациклічність та замкненість макрокомпозицій |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2012 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86582 |
| citation_txt |
Ациклічність та замкненість макрокомпозицій / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування. — 2012. — № 2-3. — С. 18-24. — Бібліогр.: 10 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT vínnikvû aciklíčnístʹtazamknenístʹmakrokompozicíj AT parfírovats aciklíčnístʹtazamknenístʹmakrokompozicíj |
| first_indexed |
2023-10-18T19:33:41Z |
| last_indexed |
2023-10-18T19:33:41Z |
| _version_ |
1796147295707725824 |