Программные средства - 004.4

Научные статьи

В разделе "Программные средства"
Журналистика для глухих детей как форма социализации и медиаобразования
Жилавская Ирина Владимировна, Широбокова Анастасия Александровна
Виртуализация жизни подростков? Реальность сегодняшнего дня
Илясов Е.В.
Компьютерная программа по выбору системы мониторинга технического состояния воздушных линий электропередачи
Виноградов Александр Владимирович, Синяков Алексей Николаевич, Семенов Александр Евгеньеви
Гуманитаризация физического образования: информационные технологии в решении гуманитарно-ориентированных задач
Комиссарова Светлана Александровна
Сетевые технологии при обработке диалектного материала: «Лексический атлас Волгоградской области»
Земляков Дмитрий Вячеславович, Кузнецова Елена Валентиновна
Использование проектно-исследовательского метода при подготовке студентов вуза в области информационных технологий
Крючкова Катерина Сергеевна
Формирование алгоритмической компетентности будущего учителя информатики при изучении баз данных и систем управления базами данных
Маньшин Максим Евгеньевич, Бабенко Алексей Александрович
Использование CMS и LMS для подготовки аудиторных учебных занятий
Ясавнина Светлана Николаевна
Современные тенденции и методические аспекты построения элективного курса по информатике в школе
Бородкина Татьяна Александровна, Данильчук Елена Валерьевна, Иванов Кирилл Юрьевич
Разработка модели готовности учителя информатики к использованию интернет-технологий в процессе обучения с интерактивной доской
Сергеев Алексей Николаевич, Склейнов Евгений Леонидович
Модель внутренней кластеризации социальной образовательной сети
Сергеев Алексей Николаевич
Автоматизация проведения открытых электронных аукционов в сети Интернет
Кононов Дмитрий Дмитриевич, Жучков Дмитрий Викторович
Визуализация графа с использованием парадигмы объектно-ориентированного программирования
Ткаченко Антон Юрьевич
К вопросу структурной надежности в мобильных сетях в условиях разрушающих информационных воздействий
Попков Глеб Владимирович
Разработка информационных систем городского хозяйства на основе декларативных спецификаций
Фереферов Евгений Сергеевич, Хмельнов Алексей Евгеньевич, Еаченко Андрей Сергеевич
Технология формирования и анализа данных здоровья населения Азиатского Севера
Парамонов Вячеслав Владимирович, Фдоров Роман Константинович, Ружников Геннадий Михайлович, Ефимова Наталья Васильевна
Формирование бизнес-процесса отбора проектов в портфель в диверсифицированной IT-компании
Данчук Надежда Игоревна, Загороднова Екатерина Павловна
Оценка научно-технического уровня инновационных проектов: организационно-управленческий аспект
Сотавов Абакар Капланович
Механизмы развития современной информационной среды
Дербина О.Д.
Оценка стоимости заказа на проектирование информационной системы с учетом расширенной чистой приведенной стоимости проекта
Лобанов В.И.
Инновационный взгляд на сферу услуг: онтологии сервиса
Каныгин Геннадий Викторович, Хорева Любовь Викторовна
О необходимости правового и методического обеспечения оценки стоимости программных продуктов
Мясников Максимилиан Рубэнович, Пузыня Наталия Юрьевна
Разработка системы интеграции подсистемы диспетчирования со станочным цеховым оборудованием машиностроительного предприятия
Соловейчик Кирилл Александрович
Интернет как актуальная угроза информационной безопасности личности
Краснова Галина Владимировна, Марков Александр Анатольевич
Цифровые платформы как ресурс повышения конкурентоспособности цепей поставок
Григорьев Михаил Николаевич, Максимцев Игорь Анатольевич, Уваров Сергей Алексеевич
Кластерный анализ как инструмент управления социально-экономическим развитием региона (на примере Центрального федерального округа)
Согачева О.В.
Городское хозяйство: от «города солнца» к умному городу
Ярош Наталья Николаевна
Информационные риски в банкинге
Спильниченко Владимир Кириллович
Инфраструктура статического анализа программ на языке C#
Кошелев В.К., Игнатьев В.Н., Борзилов А.И.
Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения
Дергачв А.В., Сидорин А.В.
Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах
Пальчевский Е.В., Халиков А.Р.
Usability of AutoProof: a case study of software verification
Khazeev Mansur, Rivera Victor, Mazzara Manuel, Tchitchigin Alexander
Certified grammar transformation to Chomsky normal form in F
Polubelova M.I., Bozhko S.N., Grigorev S.V.
Investigating concurrency in the co-simulation orchestration engine for Into-CPS
Thule C., Larsen P.G.
Design and architecture of real-time operating system
Mallachiev K.M., Pakulin N.V., Khoroshilov A.V.
Developing a debugger for real-time operating system
Emelenko A.N., Mallachiev K.A., Pakulin N.V.
Modelling the people recognition pipeline in access control systems
Gossen F., Margaria T., Gke T.
Parallel processing and visualization for results of molecular simulation problems
Puzyrkov D.V., Podryga V.O., Polyakov S.V.
Композиционная модель и способ построения функционально-ориентированных информационных ресурсов информационно-управляющих систем
Чукляев И.И.
Refinement types in Jolie
Tchitchigin Alexander, Safina Larisa, Elwakil Mohamed, Mazzara Manuel, Montesi Fabrizio, Rivera Victor