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

Системи алгоритмічних алгебр. Прикладний аспект

Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (МПС) на основі математичного апарату модифікованих систем алгоритмічних алгебр В.М. Глушкова. Створено формалізовані специфікації протоколу OSPF та схеми паралельних алгоритмів Флойда -...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2006
Автори:	Погорілий, С.Д., Камардіна, О.О.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2006
Теми:	Формальні методи програмування
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1538
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Системи алгоритмічних алгебр. Прикладний аспект / С.Д. Погорілий, О.О. Камардіна // Проблеми програмування. — 2006. — N 2-3. — С. 393-401. — Бібліогр.: 38 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
за авторством: Яценко, О.А.
Опубліковано: (2006)

Методика автоматизованої трансформації схем алгоритмів
за авторством: Шкуліпа, І.Ю., та інші
Опубліковано: (2010)

Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
за авторством: Глибовець, М.М., та інші
Опубліковано: (2006)

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

Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2006)

Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
за авторством: Максимець, О.М.
Опубліковано: (2012)

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

Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006)

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

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

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

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

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

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

Разработка и обоснование алгоритмов на основе семантических свойств
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006)

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

Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
за авторством: Безверха, М.А., та інші
Опубліковано: (2010)

APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)

C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)

Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)

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

Задача проверки Т-выполнимости для логического языка VL1 системы VRS
за авторством: Тимофеев, В.Г.
Опубліковано: (2012)

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

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

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)

Система композиционно-номинативного программирования SCRIPT.NET
за авторством: Процик, П.П.
Опубліковано: (2008)

Повышение временной эффективности структур данных в оперативной памяти на основе адаптации
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2012)

Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2008)

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

Народознавство: прикладний аспект
за авторством: Бондаренко, Г.
Опубліковано: (2007)

Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
за авторством: Слабоспицька, О.О.
Опубліковано: (2018)

Рамкова модель адаптивного композитного сервісу в семантичному Веб-середовищі
за авторством: Слабоспицька, О.О.
Опубліковано: (2017)

Енергетичний спектральний фактор при алгоритмічних методах реконструкції зображення в комп’ютерній томографії
за авторством: Закидальський, А.І., та інші
Опубліковано: (2004)

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

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

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

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

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