Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2011
Автор:	Стеняшин, А.Ю.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2011
Теми:	Методи та засоби програмної інженерії
Онлайн доступ:	https://nasplib.isofts.kiev.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

Схожі ресурси

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

Моделювання вимог до якості програмних систем оброблення даних
за авторством: Коваль, Г.І., та інші
Опубліковано: (2006)

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

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

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

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

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

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

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

Формальні та адаптивні методи й інструментальні засоби паралельного програмування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)

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

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

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

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

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

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

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

Генерация тестовых сценариев на основе формальной модели
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

Оценка надежности модульных программных средств
за авторством: Анцыпов, А.В., та інші
Опубліковано: (2010)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Инженерия качества процессов производства программных систем с помощью сетей Петри
за авторством: Матвеева, Л.Е.
Опубліковано: (2010)

Обеспечение качества программных средств в условиях изменяющихся требований
за авторством: Бахтизин, В.В., та інші
Опубліковано: (2008)

Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов
за авторством: Павлов, В.Л., та інші
Опубліковано: (2008)

Построение имитационных моделей бизнес-процессов для сбора требований качества
за авторством: Долгарев, А.Г., та інші
Опубліковано: (2008)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
за авторством: Годлевский, М.Д., та інші
Опубліковано: (2006)

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

Метод и средства редокументирования наследуемого программного обеспечения
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2008)

Реализация модификаций эффективных генера-торов тестов
за авторством: Андриянов, В.А., та інші
Опубліковано: (2010)

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

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

Models and tools for effectiveness increase of requirements traceability in agile-software development
за авторством: Tkachuk, M.V., та інші
Опубліковано: (2012)

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

Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
за авторством: Луцький, М.Г., та інші
Опубліковано: (2010)

Обеспечение надежности программных средств в зависимости от качества документации
за авторством: Анцыпов, А.В.
Опубліковано: (2008)

Реинженерия проектов программного обеспечения
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2006)

Модель процесса разработки программного обеспечения
за авторством: Вершина, А.И., та інші
Опубліковано: (2006)

Interactive assessment of simulated service qualities by business stakeholders: principles and research issues
за авторством: Shekhovtsov, A.
Опубліковано: (2010)

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

Подход к реализации среды разработки для dsl
за авторством: Рябко, В.А.
Опубліковано: (2007)

Разработка полнофункциональных веб-приложений на основе библиотеки TauCode
за авторством: Коваленко, А.С., та інші
Опубліковано: (2010)