Обзорные публицистические статьи по автоматному программированию
2003 г. «Об автоматизации стиральных машин» (https://vk.com/@1077823-ob-avtomatizacii-stiralnyh-mashin), 2005 г. «Зачем нужны автоматы?» (https://is.ifmo.ru/download/airplane.pdf), 2005 г. «Применение конечных автоматов при программировании мобильных устройств» (https://is.ifmo.ru/automata/mobdev/), 2006 г. «Скромное обаяние автоматного программирования» (https://vk.com/@1077823-skromnoe-obayanie-avtomatnogo-programmirovaniya), 2008 г. «Автоматное программирование, водка и буква Ё» (https://is.ifmo.ru/download/2008-03-17_automata.pdf), 2010 г. «Тяжелый коврик и автоматное программирование» (https://is.ifmo.ru/belletristic/kovrik), 2011 г. «Лучше, чем на телевизор» (https://vk.com/@1077823-luchshe-chem-na-televizor), 2013 г. «О верификации простых программ со сложным поведением» (https://vk.com/@1077823-o-verifikacii-prostyh-programm-so-slozhnym-povedeniem), 2017 г. «Программы – не стихи, их надо проектировать, а не писать» (https://is.ifmo.ru/main/article_ap.pdf), 2020 г. «Конечный автомат многим не друг» (https://vk.com/@1077823-konechnyi-avtomat-mnogim-ne-drug), 2021 г. «Автоматное программирование» (https://vk.com/@1077823-vtomatnoe-programmirovanie), 2021 г. «Ещё об автоматном программировании» (https://vk.com/@1077823-esche-ob-avtomatnom-programmirovanii), 2022 г. «О развитии автоматного программирования» (https://vk.com/@1077823-o-razvitii-avtomatnogo-programmirovaniya), 2022 г. «О приоритете» (https://vk.com/@1077823-o-prioritete), 2023 г. «Валидация автоматных спецификаций» (https://vk.com/@1077823-validaciya-avtomatnyh-specifikacii), 2023 г. «Почему в эпоху нейронных сетей для управления ответственными технологическими объектам необходимо применять автоматное программирование» (https://vk.com/@1077823-pochemu-v-epohu-neironnyh-setei-dlya-upravleniya-otvetstvenn), 2023 г. «Печальная история о применении конечных автоматов в программировании» (https://vk.com/@1077823-pechalnaya-istoriya-o-primenenii-konechnyh-avtomatov-v-progr), 2023 г. «Об объектно-ориентированном и автоматном программировании» (https://vk.com/@1077823-ob-obektno-orientirovannom-i-avtomatnom-programmirovanii), 2024 г. «Возможно, что автоматное программирование еще не раз пригодится» (https://vk.com/@1077823-vozmozhno-chto-avtomatnoe-programmirovanie-esche-raz-prigodi), 2024 г. «Автоматное программирование. Не задушишь, не убьешь!» (https://vk.com/@1077823-avtomatnoe-programmirovanie-ne-zadushish-ne-ubesh).
05.11.2023 г.