Cover Image

Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації

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

Full description

Saved in:

Bibliographic Details
Date:	2009
Main Authors:	Алексеєв, В.А., Терещенко, В.С.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2009
Subjects:	Методи програмної інженерії
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/6578
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:	Багатоваріантність нотацій представлення алгоритмів функціонування програмних засобів як шлях до їх верифікації / В.А. Алексеєв, В.С. Терещенко // Пробл. програмув. — 2009. — № 4. — С. 33-48. — Бібліогр.: 19 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Підхід до моделювання якості сімейств програмних систем
by: Коваль, Г.І.
Published: (2009)

Механізми забезпечення варіабельності в сімействах програмних систем
by: Колесник, А.Л.
Published: (2010)

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

Підходи інженерії якості сімейств програмних систем
by: Лавріщева, К.М., et al.
Published: (2008)

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

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

Методика оцінювання деяких характеристик якості прикладних програмних систем
by: Ткаченко, В.М.
Published: (2006)

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

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

Підхід до керування надійністю та якістю програмних систем
by: Коваль, Г.І.
Published: (2007)

Багатоаспектна декомпозиція як засіб проектування архітектури інформаційних систем. Ч. 2. Побудова архітектури інформаційної системи
by: Алексеєв, В.А., et al.
Published: (2007)

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

Модель процесу експертного оцінювання у життєвому циклі програмних систем
by: Слабоспицька, О.О.
Published: (2008)

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

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

Удосконалення процесу розроблення сімейств програмних систем елементами гнучких методологій
by: Коваль, Г.І., et al.
Published: (2010)

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

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

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

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

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

Задачі, методи та засоби експертного оцінювання якості в інженерії програмних систем
by: Слабоспицька, О.О.
Published: (2007)

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

Моделі підтримки прийняття рішень щодо структуризації робіт при розробці прикладних програмних систем
by: Стрєлов, І.А., et al.
Published: (2006)

Компонентно-орієнтований підхід до розробки програмних систем на основі інтеграції менеджерів інформаційних ресурсів
by: Грищенко, В.М.
Published: (2005)

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

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

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

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

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

Генерация тестовых сценариев на основе формальной модели
by: Летичевский, А.А., et al.
Published: (2010)

Оценка надежности модульных программных средств
by: Анцыпов, А.В., et al.
Published: (2010)

Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018)

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

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

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

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

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

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

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