?
Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012
Камкин А., Петренко А., Терехов А.
Сборник содержит статьи, представленные на 6-ом весеннем/летнем коллоквиуме молодых исследователей в области программной инженерии (SYRCoSE 2012), проводимом в Перми 30 и 31 мая 2012 г. Отбор статей производился на основе рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования.
Программа коллоквиума охватывает следующие темы: технологии разработки программ; языки программирования, тестирование и верификация компьютерных систем; анализ программ; информационные системы, обработка изображений и видео и др.
Главы книги
Дворянский Л. В., Фрумин Д. И., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 122–127.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. Temporal logics, such as CTL, are used to state requirements of software systems behaviour. However, in the case of nested Petri nets models, CTL is not expressive enough for specification of system behaviour. In ...
Добавлено: 20 сентября 2012 г.
Сухов А. О., Лядова Л. Н., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 42–53.
Технологии, основанные на применении метамоделирования и предметно-ориентированных языков широко используются при разработке информационных систем. Существует множество средств для создания редакторов графических предметно-ориентированных языков с возможностями определения пользовательских графических нотаций. Однако они имеют ограничения. Система MetaLanguage разрабатывается для того, чтобы снять часть этих ограничений. MetaLanguage является языковым инструментарием, который обеспечивает создание визуальных динамически адаптируемых предметно-ориентированных языков ...
Добавлено: 9 декабря 2012 г.
Соколов Г., Ланин В. В., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 182–185.
Задача повышения пертинентности поиска при сохранении низкой временной сложности – широко распространенная проблема в CS. Семантический поиск как вариант решения данной проблемы обладает большой временной сложностью. В работе рассматривается использование агентного подхода для уменьшения временной сложности построения семантических индексов используемых для поиска. ...
Добавлено: 18 января 2013 г.
Бессонов В. А., Ланин В. В., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 186–190.
Статья посвящена описанию подхода к включению метаданных в документы форматов Open XML и ODF. Включаемые метаданные могут быть использованы для реализации семантического индексирования содержимого электронных документов. Предлагаемые подходы реализованы в программной библиотеке, обеспечивающей работу с указанными форматами документов. ...
Добавлено: 18 января 2013 г.
Шершаков С. А., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 79–84.
Добавлено: 14 марта 2013 г.
Sergey Shershakov, Irina Lomazova, , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 79–84.
Добавлено: 14 марта 2013 г.
Татарников А. Д., Камкин А. С., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 64–69.
Добавлено: 13 декабря 2017 г.
Научное направление:
Компьютерные науки
Философия, этика, религиоведение
Филология и лингвистика
Математика
Электроника и электротехника
Язык:
английский
Ключевые слова: базы данныхинформатикаматематическая логикавычислительная техникакибернетикатеоретические основы прикладного программного обеспеченияинформационные системы с базами знанийпроцессы информационного поискаинформационно-поисковые массивыманипулирование данными и файламимоделирование логических структуртехнология программированияавтоматизация программированияпрограммотехникаавтоматикаязыки программированияабстрактные машины
Медведев В. О., Annals of Global Analysis and Geometry 2026 Vol. 70 No. 2 P. 8–23
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2026 Vol. 36 No. 2 P. 323–334
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Kotenko E. и др., Proceedings of the ACM on Management of Data, USA 2026 Vol. 4 No. 1 P. 1–28
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2025 Vol. 35 No. 2 P. 148–158
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2026 Vol. 36 No. 2 P. 302–312
Добавлено: 19 сентября 2026 г.
Springer, Cham, 2026.
Добавлено: 19 сентября 2026 г.
Springer, Cham, 2026.
Добавлено: 19 сентября 2026 г.
FRUCT Oy, 2024.
Добавлено: 19 сентября 2026 г.
FRUCT Oy, 2024.
Добавлено: 19 сентября 2026 г.
FRUCT Oy, 2025.
Добавлено: 19 сентября 2026 г.
FRUCT Oy, 2026.
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Kotenko E. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 8 P. 1–26
Добавлено: 19 сентября 2026 г.
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Добавлено: 31 августа 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Полилогарифмы Чжоу — это специальные функции, возникающие при явном описании отображения регулятора Бейлинсона. Наиболее интересное функциональное уравнение для этой функции отражает тот факт, что она обращается в нуль на границе в комплексе циклов Блоха. Мы показываем, что это функциональное уравнение формально вытекает из более простых свойств: кососимметричности, функториальности и мультипликативности. Для доказательства этого мы рассматриваем ...
Добавлено: 16 июля 2026 г.
Болбачан В. С., / Series math "arxiv.org". 2024.
Пусть K поле характеристики ноль. Мы доказываем что его когомологии в степени m-1 и весе m рационально изоморфны когомологиям полилогарифмического комплекса в соответствующей степени. Это дает частичное расширение теоремы Суслина, описывающую неразложимую K теорию K_3 для поля. ...
Добавлено: 16 июля 2026 г.
Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.
Добавлено: 9 июля 2026 г.
Добавлено: 11 июня 2026 г.
Гущина В. А., / Series chemrxiv-2023-vpzhz-v2 "ChemRxiv". 2023.
Наночастицы полностью неорганических перовскитов CsPbBr3 и Cs4PbBr6 интенсивно изучаются благодаря их уникальным свойствам и широкому спектру применений; однако природа их оптических свойств до сих пор полностью не изучена из-за сложности синтеза однофазных наночастиц. В данной статье мы описываем особенности синтеза однофазных частиц и результаты их химического и фазового анализа. Используя данные о концентрациях наночастиц, мы ...
Добавлено: 14 мая 2026 г.