Уведомлений еще не было

Книги Шалыто А. А.

Шалыто А. А. - автор 9 книг. Из известных произведений можно выделить: Заметки о мотивации, Верификация автоматных программ, Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.

Фильтры
Год написания

Тип сюжета
Тема
Герои
Место действия
Время действия
Учебники для ВУЗов
0.0
0
0
Верификация автоматных программ
Верификация автоматных программ

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты...

Математика
0.0
0
0
Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления
Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления

Излагаются основы технологии алгоритмизации и программирования задач логического управления, обеспечивающей повышение "безопасности" программного обеспечения. Описываемая технология может быть названа технологией состояний или, более точно, автоматной технологией, а соответствующая область программирования - автоматным программированием.

Математика
0.0
0
0
Применение динамического программирования при решении задач на конечных автоматах
Применение динамического программирования при решении задач на конечных автоматах

В последнее время в программировании все чаще используются конечные автоматы. Поэтому задача исследования их свойств остается актуальной. Эти исследования осуществляются с применением различных математических методов. При этом представляется интересным использование для этой цели динамического программирования. Цель настоящей статьи продемонстрировать эффективность применения динамического програм...

Программирование
0.0
0
0
Финал командного чемпионата мира по программированию АСМ 2005/2006 гг. в Сан-Хосе (США)
Финал командного чемпионата мира по программированию АСМ 2005/2006 гг. в Сан-Хосе (США)

Авторы статьи в динамической форме рассказывают о финале командного чемпионата мира по программирования, поминутно воспроизводя успехи команд, боровшихся за победу. Подробно описаны результаты российских команд

Программирование
0.0
0
0
Автоматное программирование: Монография
Автоматное программирование: Монография

В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование,...

Программирование
0.0
0
0
Верификация автоматных программ: Учебное пособие
Верификация автоматных программ: Учебное пособие

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты...

Управление
0.0
0
0
Логическое управление. Методы аппаратной и программной реализации алгоритмов
Логическое управление. Методы аппаратной и программной реализации алгоритмов

Излагаются методы аппаратной и программной реализации алгоритмов логического управления, заданных булевыми функциями разных классов, булевыми формулами и графами переходов. Предложены методы синтеза схем из априори известных произвольных элементов. Описываются методы построения многофункциональных и универсальных логических модулей. Выполнена оценка функциональных возможностей программируемых логи...