Про формальний опис типів і структур даних різнорідних програм

Розглядаються підходи щодо формального подання типів і структур даних мов програмування, предметно-орієнтованих мов типу DSL, що використовуються при опису різнорідних програм прикладних доменів. Дається аналіз специфікації готових програм за фундаментальними, загальними та специфічними типами даних...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2011
Автор: Стеняшин, А.Ю.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2011
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/50962
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Про формальний опис типів і структур даних різнорідних програм / А.Ю. Стеняшин // Пробл. програмув. — 2011. — № 2. — С. 50-61. — Бібліогр.: 12 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-50962
record_format dspace
spelling irk-123456789-509622013-11-08T03:08:07Z Про формальний опис типів і структур даних різнорідних програм Стеняшин, А.Ю. Методи та засоби програмної інженерії Розглядаються підходи щодо формального подання типів і структур даних мов програмування, предметно-орієнтованих мов типу DSL, що використовуються при опису різнорідних програм прикладних доменів. Дається аналіз специфікації готових програм за фундаментальними, загальними та специфічними типами даних при специфікації понять і завдань деяких предметних областей. 2011 Article Про формальний опис типів і структур даних різнорідних програм / А.Ю. Стеняшин // Пробл. програмув. — 2011. — № 2. — С. 50-61. — Бібліогр.: 12 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/50962 681.3 uk Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
spellingShingle Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
Стеняшин, А.Ю.
Про формальний опис типів і структур даних різнорідних програм
description Розглядаються підходи щодо формального подання типів і структур даних мов програмування, предметно-орієнтованих мов типу DSL, що використовуються при опису різнорідних програм прикладних доменів. Дається аналіз специфікації готових програм за фундаментальними, загальними та специфічними типами даних при специфікації понять і завдань деяких предметних областей.
format Article
author Стеняшин, А.Ю.
author_facet Стеняшин, А.Ю.
author_sort Стеняшин, А.Ю.
title Про формальний опис типів і структур даних різнорідних програм
title_short Про формальний опис типів і структур даних різнорідних програм
title_full Про формальний опис типів і структур даних різнорідних програм
title_fullStr Про формальний опис типів і структур даних різнорідних програм
title_full_unstemmed Про формальний опис типів і структур даних різнорідних програм
title_sort про формальний опис типів і структур даних різнорідних програм
publisher Інститут програмних систем НАН України
publishDate 2011
topic_facet Методи та засоби програмної інженерії
url http://dspace.nbuv.gov.ua/handle/123456789/50962
citation_txt Про формальний опис типів і структур даних різнорідних програм / А.Ю. Стеняшин // Пробл. програмув. — 2011. — № 2. — С. 50-61. — Бібліогр.: 12 назв. — укр.
work_keys_str_mv AT stenâšinaû proformalʹnijopistipívístrukturdanihríznorídnihprogram
first_indexed 2023-10-18T18:15:32Z
last_indexed 2023-10-18T18:15:32Z
_version_ 1796143729083416576