Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Кузнецов, М. Б.$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
Шифр: prog/2007/1
   Журнал
Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
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)

Найти похожие
Перейти к описаниям статей
2.


    Кузнецов, М. Б.
    Трансформация UML-моделей и ее использование в технологии MDA [Текст] / М. Б. Кузнецов // Программирование. - 2007. - N 1. - С. 65-78. - Библиогр.: с. 78 (9 назв. )
УДК
^a519.6
ББК 22.19
Рубрики: Математика
Кл.слова (ненормированные):
методики разработки программных систем -- MDA -- языки моделирования -- UML -- преобразования программных моделей -- трансформации программных моделей -- преобразования UML-моделей -- трансформации UML-моделей
Аннотация: Рассмотрены основы методики разработки программных систем MDA и роль, которую в этой методике играет трансформация моделей; также рассмотрен специализированный язык описания трансформации, его свойства и пример практического использования.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
3.


    Кузнецов, М. Б. (канд. физ. -мат. наук).
    Проблемы защиты входных цепей аппаратуры РЗА от мощных импульсных перенапряжений [Текст] / М. Б. кузнецов, Д. А. Кунгуров, М. В. Матвеев // Энергетик. - 2009. - N 2. - С. 40-42.
УДК
^a620.9
ББК 31.16
Рубрики: Энергетика
   Энергетическое оборудование
Кл.слова (ненормированные):
РЗА -- релейная защита автоматики -- электростанции -- электроподстанции
Аннотация: ООО "ЭЗОП" проводило эксперименты в целях проверки эффективности защиты вторичных цепей аппаратуры РЗА от вторичных проявлений молниевого разряда.


Доп.точки доступа:
Кунгуров, Д. А. (инж.); Матвеев, М. В. (канд. физ. -мат. наук); ООО "ЭЗОП"; ЭЗОП, ОООЭЗОП, общество с ограниченной ответственностью

Имеются экземпляры в отделах: всего 1 : эн.ф. (заказ статей по ЭДД) (1)
Свободны: эн.ф. (заказ статей по ЭДД) (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 22.08.2024
Число запросов 30174
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)