Отрывок: Временная логика программ рассматривает время как по­ следовательность упорядоченных состояний, под которыми понимается совокупность значений программного счетчика и значений программных переменных. Попытка ввести метрическое время в формально-логический язы к приводит к чрезмерной сложности и практической нереализуемости процедур анализа логических выражений. Поведение маши...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorДерябкин В. П.ru
dc.contributor.authorБойко Б. В.ru
dc.coverage.spatialуправление процессом принятия проектных решенийru
dc.coverage.spatialпроектирование систем управленияru
dc.coverage.spatialвременные сети Петриru
dc.coverage.spatialметод конечных автоматовru
dc.creatorДерябкин В. П., Бойко Б. В.ru
dc.date.issued1987ru
dc.identifierRU\НТБ СГАУ\459657ru
dc.identifier.citationДерябкин, В. П. Формальное определение требований и анализ временных ограничений при проектировании систем реального времени / В. П. Дерябкин, Б. В. Бойко // Автоматизация научных исследований : сб. науч. работ / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; редкол.: В. А. Виттих, Б. Я. Советов, А. Н. Ковшов, В. А. Сойфер, О. П. Скобелев, Г. Н. Томников, А. Д. Хахаев, Т. П. Юдина. - Куйбышев : КуАИ, 1987. - С. 126-131.ru
dc.description.abstractПредлагается метод определения требований к проектируемой системе на основе формальной спецификации, использующей концепцию абстрактных машин. Основывается целесообразность применения сетевых моделей управления процессами с целью анализа временных соотношений, гарантирующих соответствие указанным требованиям.ru
dc.sourceАвтоматизация научных исследований : сб. науч. работ. - Текст : электронныйru
dc.titleФормальное определение требований и анализ временных ограничений при проектировании систем реального времениru
dc.typeTextru
dc.citation.epage131ru
dc.citation.spage126ru
dc.textpartВременная логика программ рассматривает время как по­ следовательность упорядоченных состояний, под которыми понимается совокупность значений программного счетчика и значений программных переменных. Попытка ввести метрическое время в формально-логический язы к приводит к чрезмерной сложности и практической нереализуемости процедур анализа логических выражений. Поведение маши...-
Располагается в коллекциях: АВТОМАТИЗАЦИЯ НАУЧНЫХ ИССЛЕДОВАНИЙ

Файлы этого ресурса:
Файл Размер Формат  
Стр. 126-131.pdf204.72 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.