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

Методика разработки и средства формализации функциональных спецификаций систем и устройств

Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляет...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2016
Автори:	Годлевский, А.Б., Мищенко, Н.М., Мороховец, М.К., Фелижанко, О.Д., Щеголева, Н.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2016
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/142014
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2018)

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

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

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

Некоторые аспекты преобразования алгоритмов на основе формализации информационных связей
за авторством: Акуловский, В.Г.
Опубліковано: (2009)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

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

Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
за авторством: Чеботарев, А.Н.
Опубліковано: (2009)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

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

Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2009)

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

Алгоритм Очевидности Глушкова
за авторством: Летичевский, А.А., та інші
Опубліковано: (2013)

Новые средства альтернативной коммуникации для людей с ограниченными возможностями
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2016)

Универсальная система программ обработки тематических текстов
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2012)

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

Киберфизические системы: лингвистический аспект
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)

Методика разработки и характеристики автогенератора класса Е
за авторством: Крыжановский, В.Г., та інші
Опубліковано: (2002)

К формализации агентно-ориентированных систем
за авторством: Гороховский, С.С., та інші
Опубліковано: (2012)

Обзор моих научных работ. Учителя и соратники
за авторством: Коваленко, И.Н.
Опубліковано: (2010)

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

Верхние и нижние оценки количества некоторых k-мерных подпространств заданного веса над конечным полем
за авторством: Кузнецов, И.Н.
Опубліковано: (2010)

Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
за авторством: Терещенко, В.Н., та інші
Опубліковано: (2010)

Покрытия множеств и отношение толерантности
за авторством: Герасин, С.Н., та інші
Опубліковано: (2008)

Методика разработки брандмауэра веб-приложений
за авторством: Хамдамов, Р.Х., та інші
Опубліковано: (2019)

Дискретные совершенные множества и их применение в кластерном анализе
за авторством: Агаян, С.М., та інші
Опубліковано: (2014)

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

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

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

Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
за авторством: Стоян, Ю.Г., та інші
Опубліковано: (2011)

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

Обзор генетических алгоритмов образования ниш для решения задач многоэкстремальной оптимизации
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2013)

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

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

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

Оценка вклада немонотонных траекторий в отказ системы обслуживания на периоде занятости
за авторством: Коваленко, И.Н., та інші
Опубліковано: (2011)

Мера неопределенности задачи Беллмана–Джонсона с интервальными длительностями
за авторством: Сотсков, Ю.Н., та інші
Опубліковано: (2012)

Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2008)

Усовершенствованный тест k-мерности для булевых функций
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2013)