2025-02-23T06:29:49-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:29:49-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:29:49-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T06:29:49-05:00 DEBUG: Deserialized SOLR response
Ациклічність та замкненість макрокомпозицій

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

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

Full description

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

Similar Items