символьная верификация требований, доказательное моделирование, алгебраическое и инсерционное программирование
Научная биография:
Летичевский, Александр Адольфович.
Некоторые вопросы теории конечных автоматов : диссертация ... кандидата физико-математических наук : 01.00.00. - Москва, 1963. - 79 с.
Летичевский, Александр Адольфович.
Эквивалентность автоматов и дискретные преобразователи : диссертация ... доктора физико-математических наук : 01.00.00. - Киев, 1970. - 211 с. : ил.
Основные публикации:
Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. - М. : Наука, 1988. - 294,[1] с. : ил.; 22 см.; ISBN 5-02-013777-4
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, “Инкрементальный подход к технологии создания тестов для индустриальных проектов”, Модел. и анализ информ. систем, 21:6 (2014), 144–154
2.
П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, В. С. Песчаненко, “Подход к автоматизации отладки поведенческих сценариев”, Модел. и анализ информ. систем, 21:6 (2014), 44–56
2013
3.
П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский, “Автоматизация создания верифицированных тестовых сценариев на основе гидов”, Модел. и анализ информ. систем, 20:6 (2013), 64–77
4.
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013), 349–383
А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 19:6 (2012), 79–91
2011
6.
А. А. Летичевский, “Инсерционные машины”, Известия Кабардино-Балкарского научного центра РАН, 2011, № 1, 169–180
2005
7.
А. А. Летичевский, “Спецификация и моделирование распределенных систем с использованием базовых протоколов”, Известия Кабардино-Балкарского научного центра РАН, 2005, № 2, 58–67
1998
8.
A. A. Letichevskii, “Towards an interactive semantics of nondeterministic concurrent programming languages”, Известия Кабардино-Балкарского научного центра РАН, 1998, № 1, 11–19
1988
9.
А. А. Летичевский, “О завершимости поиска инвариантных равенств в программах”, Докл. АН СССР, 299:6 (1988), 1307–1309; A. A. Letichevskii, “Completability of a search for invariant equalities in programs”, Dokl. Math., 37:2 (1988), 559–561
1980
10.
В. М. Глушков, Ю. В. Капитонова, А. А. Летичевский, “Эффективность параллельных вычислений при ограниченных ресурсах”, Докл. АН СССР, 254:3 (1980), 527–530
1978
11.
А. А. Летичевский, “О максимальной десеквенции циклических операторов”, Докл. АН СССР, 242:4 (1978), 761–764
1976
12.
А. А. Летичевский, Л. Б. Смикун, “Об одном классе групп с разрешимой проблемой эквивалентности автоматов”, Докл. АН СССР, 227:1 (1976), 36–38
1969
13.
А. А. Летичевский, “Функциональная эквивалентность автомата с заключительным состоянием”, Докл. АН СССР, 185:1 (1969), 58–60
1968
14.
А. А. Летичевский, “Эквивалентность автоматов с заключительным состоянием относительно свободной полугруппы с правым нулем”, Докл. АН СССР, 182:5 (1968), 1007–1009
В. П. Гладун, А. А. Летичевский, С. Д. Михновский, К. М. Подколзина, З. Л. Рабинович, “Расширение логических возможностей языка АЛГОЛ-60”, Ж. вычисл. матем. и матем. физ., 5:2 (1965), 369–372; V. P. Gladun, A. A. Letichevskii, S. D. Mikhnovskii, K. M. Podkolzina, Z. L. Rabinovich, “An extension of the logical potentialities of ALGOL-60”, U.S.S.R. Comput. Math. Math. Phys., 5:2 (1965), 289–294
А. А. Летичевский, “Автоматные разложения отображений свободных полугрупп”, Ж. вычисл. матем. и матем. физ., 2:3 (1962), 467–474; A. A. Letichevskii, “Automatic expansion of representations of free semigroups”, U.S.S.R. Comput. Math. Math. Phys., 2:3 (1963), 489–496
А. А. Летичевский, “Условия полноты для конечных автоматов”, Ж. вычисл. матем. и матем. физ., 1:4 (1961), 702–710; A. A. Letichevskii, “Completeness conditions for finite automata”, U.S.S.R. Comput. Math. Math. Phys., 1:3 (1962), 829–840
Воспоминания об академике А. А. Дородницыне А. А. Летичевский Международная конференция по прикладной математике и информатике, посвященная 100-летию со дня рождения академика А. А. Дородницына 7 декабря 2010 г. 11:35
Обратная связь: