Формальная модель контекстно-зависимых программных структур и их преобразований в применении к методологии Language-Driven Development: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.17/

Формальная модель контекстно-зависимых программных структур и их преобразований в применении к методологии Language-Driven Development: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.17/

Библиографическая информация
Главный автор:	Седунов, А. А. Алексей Александрович (Автор)
Соавтор:	Воронежский государственный университет(Воронеж)
Другие авторы:	Тюкачев, Н. А. Николай Аркадиевич
Формат:	Книга
Язык:	Russian
Публикация:	Воронеж 2012
Предметы:	ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ МАТЕМАТИЧЕСКИЕ МЕТОДЫ LDD-СТРУКТУРЫ ЛОГИЧЕСКИЕ МОДЕЛИ АВТОРЕФЕРАТЫ
Online-ссылка:	https://viewer.rsl.ru/ru/rsl01005046062?page=1&rotate=0&theme=white Перейти в каталог Библиотеки ТУСУР

Похожие документы

Минимизация контекстно-свободных грамматик
по: Рязанов, Юрий Дмитриевич

Формальная феноменология
по: Васюков, Владимир Леонидович
Публикация: (1999)

Формальная онтология
по: Васюков, Владимир Леонидович
Публикация: (2006)

Формальная логика [учебник]
по: Малахов, Валерий Петрович
Публикация: (2001)

Формальная логика: учебник/
по: Малахов, В. П. Валерий Петрович
Публикация: (2001)

Формальная кинетика (Сборник вопросов и задач)
Публикация: (1997)

Формальная композиция творческий практикум по основам дизайна
по: Чернышев, О. В.
Публикация: (1999)

Формальная логика Учебник для философских факультетов университетов
Публикация: (1977)

Model-Driven Software Development
по: Beydeda, Sami
Публикация: (2005)

Ontology-Driven Software Development
Публикация: (2013)

О вычислительном распознавании аффинных контекстно-свободных языков
по: Сафонов, Константин Владимирович

Педагогическое образование в университете: контекстно-биографический подход
по: Гавриков, Анатолий Леонидович
Публикация: (2001)

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs
по: Chattopadhyay, Anupam
Публикация: (2009)

Прогнозирование преобразований организационных структур производства: /
по: Терентьев, В. Г. Владимир Григорьевич
Публикация: (1990)

Формальная грамматика и интенсиональная логика
по: Герасимова, Ирина Алексеевна 1953-
Публикация: (2000)

Традиционная и современная формальная логика
по: Субботин, Александр Леонидович 1927-
Публикация: (1969)

Model Driven Architecture and Ontology Development
по: Gašević, Dragan
Публикация: (2006)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings /
Публикация: (2014)

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /
по: Engels, Gregor
Публикация: (2007)

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings /
Публикация: (2013)

Формальная и функциональная структура слова учебное пособие
по: Зятковская, Ромуальда Григорьевна
Публикация: (1983)

Формальная система теории семантически значимых отображений
по: Бабанов, Алексей Михайлович

Формальная грамматика русского языка в примерах
по: Мирзабеков, Яхья Мирзабекович

Формальная теория систем внешних дифференциальных уравнений
по: Горбатенко, Евгений Матвеевич

Формальная школа и современное русское литературоведение
по: Якобсон, Роман Осипович 1896-1982
Публикация: (2011)

Метод защиты программных средств на основе запутывающих преобразований: диссертация на соискание ученой степени кандидата технических наук. 05.13.19/
по: Буинцев, Д. Н. Дмитрий Николаевич
Публикация: (2006)

Формальная определенность права автореферат диссертации на соискание ученой степени кандидата юридических наук : 12.00.01
по: Шабуров, Анатолий Степанович
Публикация: (1973)

Профессионально-предметное развитие педагога на основе контекстно-сетевой технологии

Метод защиты программных средств на основе запутывающих преобразований автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.19
по: Буинцев, Дмитрий Николаевич
Публикация: (2006)

Метод защиты программных средств на основе запутывающих преобразований: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.19/
по: Буинцев, Д. Н. Дмитрий Николаевич
Публикация: (2006)

Формальная и научная логика [учебное пособие для студентов, аспирантов вузов в области социологии]
по: Кравченко, Альберт Иванович 1949-
Публикация: (2014)

Психологическое консультирование зависимых клиентов
по: Капуччи, Дейвид
Публикация: (2021)

О применении KS-преобразований в задачах исследования эволюции орбит небесных тел
по: Бордовицына, Татьяна Валентиновна 1940-

Model Driven Engineering Languages and Systems (vol. # 4199) 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
по: Nierstrasz, Oscar
Публикация: (2006)

Формальная кинетика учебно-методическое пособие по курсу «Физическая химия» для студентов химического факультета ТГУ, обучающихся по направлению подготовки 04.03.01 - Химия и специальности 04.05.01 - Фундаментальная и прикладная химия
Публикация: (2017)

Model Driven Engineering Languages and Systems (vol. # 3713) 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
по: Briand, Lionel
Публикация: (2005)

Проектирование программных систем: Учебное пособие/
по: Мирютов, А. А.
Публикация: (2008)

Light-Driven Alignment
по: Antonyuk, Boris P.
Публикация: (2009)

Model-Driven Testing
по: Baker, Paul
Публикация: (2008)