Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Date:	2011
Main Author:	Стеняшин, А.Ю.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2011
Subjects:	Методи та засоби програмної інженерії
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/50962
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Про формальний опис типів і структур даних різнорідних програм / А.Ю. Стеняшин // Пробл. програмув. — 2011. — № 2. — С. 50-61. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Формалізми об’єктного проектування і тестування розподілених програмних систем
by: Лавріщева, К.М., et al.
Published: (2013)

Моделювання вимог до якості програмних систем оброблення даних
by: Коваль, Г.І., et al.
Published: (2006)

Реінженірінг баз даних інформаційних систем з розгалуженою мережею пунктів збору первинной інформацій
by: Алексеев, В.А., et al.
Published: (2005)

Вдосконалення організації даних об′єктних прикладних програмних систем як метод підвищення життєздатності
by: Федоров, І.В.
Published: (2006)

Про оптимальне керування в системі "хижак-жертва"
by: Пашко, С.В.
Published: (2020)

Про деякі аспекти інженерії програмних систем з елементами штучного інтелекту
by: Любченко, В.В.
Published: (2022)

Визуальное моделирование сложного программного обеспечения интернет узла
by: Меренков, А.Ю.
Published: (2006)

Моделі і методи тестування програмних систем
by: Коротун, Т.М.
Published: (2007)

Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
by: Андон, П.І., et al.
Published: (2017)

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
by: Островский, А.В.
Published: (2011)

Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE
by: Радецький, І.О.
Published: (2011)

Технологічна модель процесу автоматизованого виробництва сімейств програмних систем
by: Слабоспицька, О.О.
Published: (2011)

Підхід до конфігурування компонентів повторного використання
by: Колесник, А.Л.
Published: (2011)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
by: Shekhovtsov, A.
Published: (2010)

Концепція побудови сертифікаційної моделі якості програмних систем
by: Райчев, І.Е., et al.
Published: (2006)

Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
by: Парасюк, І.М., et al.
Published: (2008)

Применение статистических моделей в инженерии качества процессов производства программных систем
by: Матвеева, Л.Е., et al.
Published: (2012)

Алгоритм пошуку кореферентних об’єктів в україномовних текстах з використанням дерев рішень
by: Погорілий, С.Д., et al.
Published: (2022)

Проблемы реинжиниринга программных legacy-систем
by: Пашковец, Н.Д., et al.
Published: (2010)

Реинженерия наследуемого программного обеспечения авиационных тренажеров
by: Сидоров, Н.А., et al.
Published: (2008)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2014)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
by: Годлевский, М.Д., et al.
Published: (2006)

Реализация модификаций эффективных генера-торов тестов
by: Андриянов, В.А., et al.
Published: (2010)

Метод и средства редокументирования наследуемого программного обеспечения
by: Сидоров, Н.А., et al.
Published: (2008)

Models and tools for effectiveness increase of requirements traceability in agile-software development
by: Tkachuk, M.V., et al.
Published: (2012)

Ін’єкція функціональних залежностей у контейнері інверсії керування
by: Глибовець, М.М.
Published: (2014)

Підтримка процесу керування варіабельністю в сімействах програмних систем
by: Колесник, А.Л.
Published: (2012)

Основні задачі підтримки прийняття рішень в інженерії надійності програмних систем
by: Коваль, Г.І.
Published: (2005)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)

Побудова стратегій переслідування з використанням функцій Ляпунова
by: Пашко, С.В.
Published: (2017)

Об одном подходе к оценке эффективности применения пост объектно-ориентированных технологий при сопровождении программных систем
by: Ткачук, Н., et al.
Published: (2010)

Проблемно-ориентированные компьютерные симуляторы в решении теоретических и прикладных задач физиологии человека
by: Григорян, Р.Д.
Published: (2017)

О возможности систематического исследования систем управления производством
by: Колесник, В.Г.
Published: (2017)

Создание методологии проэктирования CASE-сред на базе ситуационного метода
by: Зинькович, В.М., et al.
Published: (2005)

Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения
by: Слабоспицкая, О.А.
Published: (2006)

Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
by: Чебанюк, О.В.
Published: (2014)

Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
by: Ігнатенко, П.П., et al.
Published: (2008)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Чебанюк, О.В., et al.
Published: (2012)

Послуга «КО-1. Повторне використання об’єктів» для захищеної ОС на базі GNU/Linux з розширенням RSBAC
by: Анісімов, А.В., et al.
Published: (2010-12)

Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2022)