- Главная
- Авторы
- Шалыто А. А.
- Книги Шалыто А. А.
Книги Шалыто А. А.
Шалыто А. А. - автор 9 книг. Из известных произведений можно выделить: Заметки о мотивации, Верификация автоматных программ, Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты...
Излагаются основы технологии алгоритмизации и программирования задач логического управления, обеспечивающей повышение "безопасности" программного обеспечения. Описываемая технология может быть названа технологией состояний или, более точно, автоматной технологией, а соответствующая область программирования - автоматным программированием.
В последнее время в программировании все чаще используются конечные автоматы. Поэтому задача исследования их свойств остается актуальной. Эти исследования осуществляются с применением различных математических методов. При этом представляется интересным использование для этой цели динамического программирования. Цель настоящей статьи продемонстрировать эффективность применения динамического програм...
Статья из журнала "Компьютерные инструменты в образовании", №5, 2006"
Авторы статьи в динамической форме рассказывают о финале командного чемпионата мира по программирования, поминутно воспроизводя успехи команд, боровшихся за победу. Подробно описаны результаты российских команд
В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование,...
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты...
Излагаются методы аппаратной и программной реализации алгоритмов логического управления, заданных булевыми функциями разных классов, булевыми формулами и графами переходов. Предложены методы синтеза схем из априори известных произвольных элементов. Описываются методы построения многофункциональных и универсальных логических модулей. Выполнена оценка функциональных возможностей программируемых логи...
