Buchumschlag

Система доказательного программирования

Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Управляющие системы и машины
Datum:	2012
Hauptverfasser:	Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Schlagworte:	Дедуктивные методы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83110
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Система доказательного программирования / А.А. Летичевский (мл.), М.К. Мороховец, В.С. Песчаненко // Управляющие системы и машины. — 2012. — № 6. — С. 64-71. — Бібліогр.: 18 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Модели и алгоритмы многоцелевого линейного программирования
von: Павлов, А.А.
Veröffentlicht: (2020)

Алгоритм трансляции APLAN-кода
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
von: Зак, Ю.А.
Veröffentlicht: (2011)

Метод резолюции для анализа устойчивости задач 0-1 программирования
von: Михайлюк, В.А., et al.
Veröffentlicht: (2017)

Сложность вероятностных процедур анализа устойчивости целочисленных задач булева программирования
von: Лищук, Н.В.
Veröffentlicht: (2015)

Алгебраическая теория взаимодействия и киберфизические системы
von: Летичевский, А.А.
Veröffentlicht: (2017)

Применение метода динамического программирования к решению задачи оптимального распределения средств между проектами
von: Грипинська, Н.В., et al.
Veröffentlicht: (2020)

Резервы программирования деятельности. Система поддержки создания и использования программ деятельности
von: Малишев, О.В.
Veröffentlicht: (2010)

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Международный симпозиум «Автоматы, алгоритмы и информационные технологии»
von: Мороховец, М.К.
Veröffentlicht: (2010)

Генерация символьных трасс в системе инсерционного моделирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2015)

Ранговый подход к решению задач линейного и нелинейного булевого программирования для планирования и управления в распределенных вычислительных системах
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Развитие отечественной технологии программирования
von: Лаврищева, Е.М.
Veröffentlicht: (2014)

Метод решения задачи многоуровневого программирования
von: Горбачук, В.М., et al.
Veröffentlicht: (2005)

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

Резервы программирования деятельности. Терминология
von: Малышев, О.В.
Veröffentlicht: (2010)

Свойства и сложность задач двухуровневого программирования
von: Горбачук, В.М., et al.
Veröffentlicht: (2006)

Композиционно-номинативные аспекты адресного программирования
von: Никитченко, Н.С.
Veröffentlicht: (2009)

Дескриптивная модель экосистемы стиля программирования
von: Сидоров, Н.А., et al.
Veröffentlicht: (2020)

Эволюция принципов и средств веб-программирования
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2012)

Система ввода текста для альтернативной речевой коммуникации
von: Крак, Ю.В., et al.
Veröffentlicht: (2017)

Эволюционная модель задачи булева программирования
von: Козин, И.В.
Veröffentlicht: (2013)

Средства сервисно-ориентированного программирования параллельных программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Киберфизические системы: лингвистический аспект
von: Годлевский, А.Б., et al.
Veröffentlicht: (2020)

О термальном аспекте автоматизации программирования
von: Приходько, П.П.
Veröffentlicht: (2006)

Эволюция развития языков и систем программирования
von: Теслер, Г.С.
Veröffentlicht: (2003)

Автоматизация контроля применения стиля языка программирования
von: Крамар, Ю.М.
Veröffentlicht: (2004)

Эксперименты с дедуктивным тестированием реактивных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2013)

Парадигмы модельного и символьного тестирования программных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2015)

Система массового обслуживания M/E₂/c с повторными вызовами
von: Коба, Е.В., et al.
Veröffentlicht: (2011)

О применении комбинированного метода выпуклого программирования
von: Кузьменко, В.Н., et al.
Veröffentlicht: (2003)

Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)

О регуляризации векторных задач целочисленного квадратичного программирования
von: Емеличев, В.А., et al.
Veröffentlicht: (2009)

Особенности языка VHDL для программирования кристаллов ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2006)

Некоторые детерминированные модели задач нечеткого линейного программирования
von: Зак, Ю.А.
Veröffentlicht: (2016)

Школа теории программирования Е.Л. Ющенко
von: Перевозчикова, О.Л.
Veröffentlicht: (2007)

Парадигмы программирования сборочного типа в программной инженерии
von: Лаврищева, Е.М.
Veröffentlicht: (2014)

Компьютерная система поддержки многокритериальных решений в иерархических системах
von: Колос, Л.Н.
Veröffentlicht: (2008)