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: (2012)

Система символьных вычислений для программирования динамических приложений
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)

Система композиционно-номинативного программирования SCRIPT.NET
von: Процик, П.П.
Veröffentlicht: (2008)

Алгоритм Очевидности Глушкова
von: Летичевский, А.А., et al.
Veröffentlicht: (2013)

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

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

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

Метод решения задач нелинейного программирования с использованием базиса переменной размерности
von: Щербашин, Ю.Д.
Veröffentlicht: (2006)

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

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

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

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

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

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

Интеллектуальная визуальная 3D+ полиглот-концепция программирования без языков программирования
von: Вельбицкий, И.В.
Veröffentlicht: (2017)

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

Модели и средства программирования Грид-систем
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2007)

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

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

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

Об одной задаче параметрического программирования
von: Жалдак, М.И., et al.
Veröffentlicht: (1985)

Меры риска в задачах стохастического программирования и робастной оптимизации
von: Кирилюк, В.С.
Veröffentlicht: (2015)

Максимизация отношения омега с помощью двух задач линейного программирования
von: Кирилюк, В.С.
Veröffentlicht: (2013)

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

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

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

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

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

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

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

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

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

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

Аксиомы программирования и некоторые вопросы Дистанционного Обучения
von: Шевченко, А.И., et al.
Veröffentlicht: (2012)

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

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