DSpace Repository

Диаграммное описание комплексирования программных систем

Show simple item record

dc.contributor.author Ковалёв, Сергей Протасович
dc.date.accessioned 2014-11-08T19:47:47Z
dc.date.available 2014-11-08T19:47:47Z
dc.date.issued 2012
dc.identifier.citation Ковалёв С. П. Диаграммное описание комплексирования программных систем // Вестник НГУ. Серия: Математика. 2012. Т. 12. Вып. 3. С. 103–126. ru_RU
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/2424
dc.description.abstract В работе представлен теоретико-категорный подход к формализации процессов разработки программных систем, позволяющий единообразно описать многие известные технологии программирования. В качестве отправной точки для выработки подхода использована конструкция формальной дисциплины проектирования, введенной Х. Фиадейро и его учениками. Выделен ряд классов формальных дисциплин, встречающихся в практике программирования. На языке теории категорий сформулированы и исследованы задачи синтеза систем: применение шаблонов комплексирования, выявление оптимальной архитектуры, выбор интеграционных интерфейсов, распараллеливание, покомпонентная трансформация систем, разработка специализированных технологий комплексирования систем. Обосновано, что любой акт комплексирования комбинируется из трех приемов: загрузка, подстановка и соединение. ru_RU
dc.language.iso ru ru_RU
dc.publisher Новосибирский государственный университет ru_RU
dc.subject интеграция систем ru_RU
dc.subject категория диаграмм ru_RU
dc.subject формальная дисциплина проектирования ru_RU
dc.subject выявление архитектуры ru_RU
dc.subject мереология ru_RU
dc.title Диаграммное описание комплексирования программных систем ru_RU
dc.title.alternative Diagrammatic description of software systems composition ru_RU
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account