Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.052
Номер:1 (71)
ВНЕСЕНИЕ ИЗМЕНЕНИЙ В АВТОМАТНЫЕ ПРОГРАММЫ
Аннотация:
Описан подход к внесению изменений в автоматные программы, позволяющий уменьшить число модификаций, которые могут привести к появлению ошибок. Подход основан на применении рефакторингов автоматных программ – последовательности небольших эквивалентных преобразований, сохраняющих поведение,. Предложен ряд рефакторингов автоматных программ, расширяющий набор классических рефакторингов на случай автоматного программирования.
Ключевые слова:
Постоянный URL
Статьи в номере
- ТЕОРЕТИЧЕСКОЕ ИССЛЕДОВАНИЕ СВОЙСТВ ВОГНУТОЙ ПРОПУСКАЮЩЕЙ ГОЛОГРАММНОЙ ДИФРАКЦИОННОЙ РЕШЕТКИ
- ИССЛЕДОВАНИЕ СХЕМЫ ДИФРАКЦИОННОГО КОНТРОЛЯ ПОЛОЖЕНИЙ ОБЪЕКТОВ С ИЗМЕНЯЮЩИМСЯ МАСШТАБОМ СПЕКТРА ФУРЬЕ
- ДИФРАКЦИЯ ОДНОПЕРИОДНЫХ ТЕРАГЕРЦОВЫХ ВОЛН С ГАУССОВЫМ ПОПЕРЕЧНЫМ РАСПРЕДЕЛЕНИЕМ
- О ДВИЖЕНИИ ЦЕНТРА ТЯЖЕСТИ И ДИСПЕРСИОННОМ РАСПЛЫВАНИИ В ПРОЗРАЧНОЙ ДИЭЛЕКТРИЧЕСКОЙ СРЕДЕ ИСХОДНО ОДНОПЕРИОДНОГО ОПТИЧЕСКОГО ИМПУЛЬСА
- ИМПУЛЬСНЫЙ ТЕРАГЕРЦОВЫЙ РЕФЛЕКТОМЕТР
- ПУТИ ПОВЫШЕНИЯ НАГРУЗОЧНОЙ СПОСОБНОСТИ И ДОЛГОВЕЧНОСТИ ПЛАНЕТАРНЫХ РЕДУКТОРОВ ОТЕЧЕСТВЕННОГО ПРОИЗВОДСТВА
- УСЛОВНОЕ КОНТРОЛИРУЕМОЕ ФАЗОВОЕ ПРЕОБРАЗОВАНИЕ КВАНТОВЫХ СОСТОЯНИЙ ЭЛЕКТРОМАГНИТНОГО ПОЛЯ
- УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИЯХ ВОЗМУЩАЮЩИХ ВОЗДЕЙСТВИЙ И НЕУЧТЕННОЙ ДИНАМИКИ
- ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ МАГНИТНЫХ ИЗМЕРЕНИЙ
- МНОГОЧАСТИЧНЫЕ СОСТОЯНИЯ В ИСКРИВЛЕННЫХ СЛОИСТЫХ НАНОСТРУКТУРАХ
- ПОРТФЕЛЬ ЗАКАЗОВ ПОД УПРАВЛЕНИЕМ ЭКСПЕРТНОЙ СИСТЕМЫ
- СОЗДАНИЕ ИМИТАЦИОННОЙ МОДЕЛИ СБОРОЧНОЙ ЛИНИИ С ИСПОЛЬЗОВАНИЕМ СИСТЕМЫ DELMIA
- РЕАЛИЗАЦИЯ РАДИАЛЬНО-БАЗИСНОЙ НЕЙРОННОЙ СЕТИ НА МАССИВНО-ПАРАЛЛЕЛЬНОЙ АРХИТЕКТУРЕ ГРАФИЧЕСКОГО ПРОЦЕССОРА
- МЕТОД НАВИГАЦИИ ПО ТЕКСТУ ДОКУМЕНТА С ПОМОЩЬЮ АВТОМАТИЧЕСКОЙ ОБРАБОТКИ ЕГО СОДЕРЖИМОГО
- ОПТИМИЗАЦИЯ КЛАСТЕРА С ОГРАНИЧЕННОЙ ДОСТУПНОСТЬЮ КЛАСТЕРНЫХ ГРУПП
- ПСЕВДОРЕГУЛЯРНЫЕ КОДОВЫЕ ШКАЛЫ ДЛЯ ЦИФРОВЫХ ПРЕОБРАЗОВАТЕЛЕЙ УГЛА
- РЕАЛИЗАЦИЯ АЛГОРИТМА ШУМОПОДАВЛЕНИЯ В РЕЧЕВОМ ТРАКТЕ СИСТЕМ МОБИЛЬНОЙ СВЯЗИ НА БАЗЕ СБИС
- ПРОБЛЕМЫ ЭФФЕКТИВНОГО ИСПОЛЬЗОВАНИЯ СЕТЕВЫХ СЕРВИСОВ
- МЕТОДИКА СБОРКИ И ОБРАБОТКИ ДАННЫХ, ПОЛУЧЕННЫХ В ПРОЦЕССЕ 3D-СКАНИРОВАНИЯ
- ИЗГОТОВЛЕНИЕ И АТТЕСТАЦИЯ ЗОНДОВ ИЗ СТЕКЛЯННЫХ МИКРОКАПИЛЛЯРОВ ДЛЯ СКАНИРУЮЩЕГО ЗОНДОВОГО МИКРОСКОПА
- ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ ПРИ ОБЛАЧНЫХ ВЫЧИСЛЕНИЯХ: ПРОБЛЕМЫ И ПЕРСПЕКТИВЫ
- ТЕХНОЛОГИЯ LEGO MINDSTORMS NXT В ОБУЧЕНИИ СТУДЕНТОВ ОСНОВАМ АДАПТИВНОГО УПРАВЛЕНИЯ
- МЕТОДОЛОГИЯ ПРОЕКТИРОВАНИЯ ТРЕНАЖЕРОВ С ИММЕРСИВНЫМИ ОБУЧАЮЩИМИ СРЕДАМИ
- ОЦЕНКА ЧИСЛА ПОБЕДИТЕЛЕЙ ЗАКЛЮЧИТЕЛЬНЫХ ЭТАПОВ ОЛИМПИАД
- КОНЦЕПТУАЛЬНЫЕ АСПЕКТЫ СИСТЕМЫ УПРАВЛЕНИЯ ИНФОРМАТИЗАЦИЕЙ ПРЕДПРИЯТИЯ
- РАЗВИТИЕ ГОСУДАРСТВЕННОГО РЕГУЛИРОВАНИЯ ПРЕДПРИНИМАТЕЛЬСКОЙ ДЕЯТЕЛЬНОСТИ В СФЕРЕ ТОРГОВЛИ
- КАСКАДНАЯ СХЕМА ИДЕНТИФИКАЦИИ ЧАСТОТЫ ГАРМОНИЧЕСКОГО СИГНАЛА
- ПРИМЕНЕНИЕ МЕТОДА В-СПЛАЙНОВ ДЛЯ РАСЧЕТА Х-РАЗВЕТВИТЕЛЕЙ, ИЗГОТОВЛЕННЫХ МЕТОДОМ ДИФФУЗИИ ТИТАНА В ПОДЛОЖКАХ НИОБАТА ЛИТИЯ
- МЕТОДЫ И ТЕХНОЛОГИИ КОМПЛЕКСНОГО ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ИННОВАЦИЙ
- ДВУХЛИНЗОВЫЕ СКЛЕЕННЫЕ ОБЪЕКТИВЫ С АСФЕРИЧЕСКОЙ ПОВЕРХНОСТЬЮ ВТОРОГО ПОРЯДКА
- МЕТОД ПОВЫШЕНИЯ НАДЕЖНОСТИ УПРУГИХ ЧУВСТВИТЕЛЬНЫХ ЭЛЕМЕНТОВ СИСТЕМ УПРАВЛЕНИЯ И АВТОМАТИКИ