Система доказательного программирования
Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы проверки выполнимости формул и их использование при доказательстве правильности...
Збережено в:
| Опубліковано в: : | Управляющие системы и машины |
|---|---|
| Дата: | 2012 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/83110 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Система доказательного программирования / А.А. Летичевский (мл.), М.К. Мороховец, В.С. Песчаненко // Управляющие системы и машины. — 2012. — № 6. — С. 64-71. — Бібліогр.: 18 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Система символьных вычислений для программирования динамических приложений
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)
Модели и алгоритмы многоцелевого линейного программирования
за авторством: Павлов, А.А.
Опубліковано: (2020)
за авторством: Павлов, А.А.
Опубліковано: (2020)
Алгоритм трансляции APLAN-кода
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)
Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
за авторством: Зак, Ю.А.
Опубліковано: (2011)
за авторством: Зак, Ю.А.
Опубліковано: (2011)
Метод резолюции для анализа устойчивости задач 0-1 программирования
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2017)
за авторством: Михайлюк, В.А., та інші
Опубліковано: (2017)
Сложность вероятностных процедур анализа устойчивости целочисленных задач булева программирования
за авторством: Лищук, Н.В.
Опубліковано: (2015)
за авторством: Лищук, Н.В.
Опубліковано: (2015)
Алгебраическая теория взаимодействия и киберфизические системы
за авторством: Летичевский, А.А.
Опубліковано: (2017)
за авторством: Летичевский, А.А.
Опубліковано: (2017)
Применение метода динамического программирования к решению задачи оптимального распределения средств между проектами
за авторством: Грипинська, Н.В., та інші
Опубліковано: (2020)
за авторством: Грипинська, Н.В., та інші
Опубліковано: (2020)
Резервы программирования деятельности. Система поддержки создания и использования программ деятельности
за авторством: Малишев, О.В.
Опубліковано: (2010)
за авторством: Малишев, О.В.
Опубліковано: (2010)
Свойства предикатного трансформера системы VRS
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)
Международный симпозиум «Автоматы, алгоритмы и информационные технологии»
за авторством: Мороховец, М.К.
Опубліковано: (2010)
за авторством: Мороховец, М.К.
Опубліковано: (2010)
Генерация символьных трасс в системе инсерционного моделирования
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)
за авторством: Летичевский, А.А., та інші
Опубліковано: (2015)
Ранговый подход к решению задач линейного и нелинейного булевого программирования для планирования и управления в распределенных вычислительных системах
за авторством: Листровой, С.В., та інші
Опубліковано: (2017)
за авторством: Листровой, С.В., та інші
Опубліковано: (2017)
Развитие отечественной технологии программирования
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)
Метод решения задачи многоуровневого программирования
за авторством: Горбачук, В.М., та інші
Опубліковано: (2005)
за авторством: Горбачук, В.М., та інші
Опубліковано: (2005)
Формальные модели компонентного программирования
за авторством: Грищенко, В.Н.
Опубліковано: (2003)
за авторством: Грищенко, В.Н.
Опубліковано: (2003)
Резервы программирования деятельности. Терминология
за авторством: Малышев, О.В.
Опубліковано: (2010)
за авторством: Малышев, О.В.
Опубліковано: (2010)
Свойства и сложность задач двухуровневого программирования
за авторством: Горбачук, В.М., та інші
Опубліковано: (2006)
за авторством: Горбачук, В.М., та інші
Опубліковано: (2006)
Композиционно-номинативные аспекты адресного программирования
за авторством: Никитченко, Н.С.
Опубліковано: (2009)
за авторством: Никитченко, Н.С.
Опубліковано: (2009)
Дескриптивная модель экосистемы стиля программирования
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2020)
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2020)
Эволюция принципов и средств веб-программирования
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2012)
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2012)
Система ввода текста для альтернативной речевой коммуникации
за авторством: Крак, Ю.В., та інші
Опубліковано: (2017)
за авторством: Крак, Ю.В., та інші
Опубліковано: (2017)
Эволюционная модель задачи булева программирования
за авторством: Козин, И.В.
Опубліковано: (2013)
за авторством: Козин, И.В.
Опубліковано: (2013)
Средства сервисно-ориентированного программирования параллельных программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)
Киберфизические системы: лингвистический аспект
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)
О термальном аспекте автоматизации программирования
за авторством: Приходько, П.П.
Опубліковано: (2006)
за авторством: Приходько, П.П.
Опубліковано: (2006)
Эволюция развития языков и систем программирования
за авторством: Теслер, Г.С.
Опубліковано: (2003)
за авторством: Теслер, Г.С.
Опубліковано: (2003)
Автоматизация контроля применения стиля языка программирования
за авторством: Крамар, Ю.М.
Опубліковано: (2004)
за авторством: Крамар, Ю.М.
Опубліковано: (2004)
Эксперименты с дедуктивным тестированием реактивных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2013)
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2013)
Парадигмы модельного и символьного тестирования программных систем
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)
за авторством: Летичевский, А.А. (мл.)
Опубліковано: (2015)
Система массового обслуживания M/E₂/c с повторными вызовами
за авторством: Коба, Е.В., та інші
Опубліковано: (2011)
за авторством: Коба, Е.В., та інші
Опубліковано: (2011)
О применении комбинированного метода выпуклого программирования
за авторством: Кузьменко, В.Н., та інші
Опубліковано: (2003)
за авторством: Кузьменко, В.Н., та інші
Опубліковано: (2003)
Обзор современных систем и методов верификации формальных моделей
за авторством: Колчин, А.В., та інші
Опубліковано: (2012)
за авторством: Колчин, А.В., та інші
Опубліковано: (2012)
О регуляризации векторных задач целочисленного квадратичного программирования
за авторством: Емеличев, В.А., та інші
Опубліковано: (2009)
за авторством: Емеличев, В.А., та інші
Опубліковано: (2009)
Особенности языка VHDL для программирования кристаллов ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2006)
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2006)
Некоторые детерминированные модели задач нечеткого линейного программирования
за авторством: Зак, Ю.А.
Опубліковано: (2016)
за авторством: Зак, Ю.А.
Опубліковано: (2016)
Школа теории программирования Е.Л. Ющенко
за авторством: Перевозчикова, О.Л.
Опубліковано: (2007)
за авторством: Перевозчикова, О.Л.
Опубліковано: (2007)
Парадигмы программирования сборочного типа в программной инженерии
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)
Компьютерная система поддержки многокритериальных решений в иерархических системах
за авторством: Колос, Л.Н.
Опубліковано: (2008)
за авторством: Колос, Л.Н.
Опубліковано: (2008)