> Шифр: prog/2007/1 Журнал 2007г. N 1 . - Указатель статей за 2006 г. Бабичев, А. В. Язык спецификации взаимодействующих процессов Model-100 / А.В. Бабичев, В.Г. Лебедев. - С.5-21. - Библиогр. в конце ст. Кл.слова: Язык Model-100, архитектура, макрогенерация, управление порядком вычисления Лисица, А. П. Верификация как параметризованное тестирование : (эксперименты с суперкомпилятором SCP4) / А.П. Лисица, А.П. Немытых. - С.22-34 Кл.слова: верификация, тестирование программы, интерпретатор игры moesl Терехов, А. Н. Реализация стыка между msc- b sdl- диаграммами в технологии real / А.Н. Терехов, В.В. Соколов. - С.35-50. - Библиогр. в конце ст. Кл.слова: верификация, новый способ, тестирование программ Клепинин, А. В. Об универсальной модели организации доступа к базам данных / А.В. Клепинин. - С.51-64. - Библиогр. в конце ст. Кл.слова: система управления базами данных, программный продукт Кузнецов, М. Б. Трансформация UML- моделей и ее использование в технологии MDA / М.Б. Кузнецов. - С.65-78 Кл.слова: технология MDA, трансформация моделей, язык описания, моделирования UML Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Терехов, А. Н. Реализация стыка между MSC- и SDL-диаграммами в технологии REAL [Текст] / А. Н. Терехов, В. В. Соколов> // Программирование. - 2007. - N 1. - С. 35-50. - Библиогр.: с. 49-50 (24 назв. )
Рубрики: Радиоэлектроника Математика Кл.слова (ненормированные): технологии программирования -- REAL -- языки программирования -- MSC-диаграммы -- SDL-диаграммы -- графические способы описания систем -- поведенческие модели объектов -- сценарии поведения систем Аннотация: Рассматриваются различные методы стыковки MSC- и SDL-диаграмм, в том числе позволяющие автоматизировать ручной переход от сценариев поведения системы в целом (HMSC/MSC) к поведенческой модели каждого объекта (SDL) , методы поддержки их адекватности в течение всего жизненного цикла - согласованное внесение изменений, расширения MSC-диаграмм для реальных ситуаций. Доп.точки доступа: Соколов, В. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Терехов, А. Н. Нанотехнологические перспективы России: от "нанобума" к объективным оценкам [Текст] / А. Н. Терехов> // Общественные науки и современность. - 2011. - № 6. - С. 49-63. : рис. - Библиогр.: с. 63
Рубрики: Экономика Экономика других отраслей промышленности--Россия, 1990-2009 гг. Кл.слова (ненормированные): нанотехнологии -- углеродные наноструктуры -- библиометрический анализ -- научная гонка -- научное сообщество -- научные кадры -- утечка мозгов Аннотация: Представлен краткий библиометрический анализ развития нанотехнологии в 1990-2009 гг. с оценкой позиции России. Значительное внимание уделено мировой научной гонке в области углеродных наноструктур как одному из центральных эпизодов в истории нанотехнологии и некоторым ее урокам для нашей страны. Показано, что серьезная деформация возрастной структуры научного сообщества, трудности в подготовке нового поколения исследователей для нанотехнологии становятся главным барьером для ее успешного развития. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Кознов, Д. В. Трансформация динамических представлений в предметно-ориентированном визуальном моделировании [Текст] / Д. В. Кознов, Е. В. Ларчик, А. Н. Терехов> // Программирование. - 2015. - № 4. - С. 3-12. - Библиогр.: с. 12 (45 назв.) . - ISSN 0132-3474
Рубрики: Техника Автоматизация оборудования Кл.слова (ненормированные): визуальное моделирование -- динамические представления -- исследования -- модельно-ориентированная инженерия -- навигационные сервисы Аннотация: В данной статье даются формальные определения динамического представления, трансформации динамического представления и навигационного сервиса. Доп.точки доступа: Ларчик, Е. В.; Терехов, А. Н. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Задачи поиска нечетких повторов при организации повторного использования документации [Текст] / Д. В. Луцив [и др.]> // Программирование. - 2016. - № 4. - С. 39-49. - Библиогр.: с. 47-49 (46 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Системное программное обеспечение Кл.слова (ненормированные): документация -- исследования -- программное обеспечение -- программные продукты -- рефакторинг документации Аннотация: В работе предлагается метод поиска нечетких повторов в документации на основе поиска точных клонов. Результаты поиска используются при рефакторинге документации. Доп.точки доступа: Луцив, Д. В.; Кознов, Д. В.; Басит, Х. А.; Терехов, А. Н. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Асимметричный маркерный процессинг [Текст] / М. В. Баклановский [и др.]> // Программная инженерия. - 2018. - Т. 9, № 4. - С. 156-162 : табл. - Библиогр.: с. 162 (3 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
Рубрики: Вычислительная техника Системы обработки численных данных Кл.слова (ненормированные): вычислительные процессоры -- вычислительные системы -- гетерогенные вычислительные системы -- производительность процессора -- процессоры Аннотация: Предложен подход к созданию гетерогенных вычислительных систем с возможностями организации единой вычислительной среды с унифицированным механизмом передачи управления, сквозного маршрута проектирования, автоматической генерации части элементов системы в процессе компиляции и с отладкой на уровне системы. Подход может применяться для элементов аппаратной защиты от обратного анализа, для создания высокопроизводительных систем со специализированными вычислительными ядрами и частичным параллелизмом и для повышения отказоустойчивости. Доп.точки доступа: Баклановский, М. В. (старший преподаватель); Кривошеин, Б. Н. (старший преподаватель); Терехов, А. Н. (доктор физико-математических наук; профессор; заведующий кафедрой); Терехов, М. А.; Сибиряков, А. Е. (старший преподаватель) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Обнаружение неточных повторов в документации программного обеспечения [Текст] = Detection of inaccurate replays in software documentation / Д. В. Кознов [и др.]> // Программирование. - 2018. - № 5. - С. 57-67. - Библиогр.: с. 67 (42 назв.). - Работа частично поддержана РФФИ, грант № 16-01-00304 . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): апробация -- документация программного обеспечения -- неточные повторы -- повторное использование документации -- программное обеспечение Аннотация: В данной работе дано формальное определение неточных повторов в документации программного обеспечения и представлен алгоритм обнаружения таких повторов. Доп.точки доступа: Кознов, Д. В.; Чернышев, Г. А.; Терехов, А. Н.; Романовский, К. Ю.; Григорьев, Д. А.; Луцив, Д. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Интерактивный поиск неточных повторов в документации программного обеспечения [Текст] / Д. В. Луцив [и др.]> // Программирование. - 2019. - № 6. - С. 55-66. - Библиогр.: с. 66 (42 назв.). - Работа выполнена при частичной поддержке РФФИ, грант № 16-01-00304 . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): интерактивный поиск -- неточные повторы -- программное обеспечение -- создание документов Аннотация: Представлена интерактивная методика поиска неточных повторов, позволяющая привлечь пользователя для реализации семантически-значимого поиска. Доп.точки доступа: Луцив, Д. В.; Кознов, Д. В.; Шелиховский, А. А.; Романовский, К. Ю.; Чернышев, Г. А.; Терехов, А. Н.; Григорьев, Д. А.; Смирнова, А. Н.; Боровков, Д. В.; Васенина, А. И.; Шеметова, Е. Н. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |