Фундаментальная и прикладная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Фундаментальная и прикладная математика, 2014, том 19, выпуск 3, страницы 111–170 (Mi fpm1592)  
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

Теоретико-категорный подход к проектированию программных систем

С. П. Ковалёв

Институт проблем управления им. В. А. Трапезникова РАН
PDF полного текста (522 kB) Список цитирования (6)
Список литературы:
PDF
HTML
Аннотация: Работа посвящена применению теории категорий для решения проблемы представления разнородных технологий программной инженерии в единой форме, удобной для их интеграции и координации в рамках общего цикла проектирования программных систем. Особое внимание уделяется современным технологиям, таким, как разработка, управляемая моделями, и аспектно-ориентированное программирование. Построены универсальные теоретико-категорные семантические модели этих технологий. Предложен новый способ разделения ответственности путём экспликации аспектной структуры формальных моделей программ. Построены и исследованы формальные технологии проектирования технологий, образующие математический фундамент разработки, управляемой моделями.
Ключевые слова: разработка, управляемая моделями, аспектно-ориентированное программирование, трассируемость, теория категорий, формальная технология проектирования, разделение ответственности.
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2016, Volume 214, Issue 6, Pages 814–853
DOI: https://doi.org/10.1007/s10958-016-2814-1
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.68
Образец цитирования: С. П. Ковалёв, “Теоретико-категорный подход к проектированию программных систем”, Фундамент. и прикл. матем., 19:3 (2014), 111–170; J. Math. Sci., 214:6 (2016), 814–853
Цитирование в формате AMSBIB
\RBibitem{Kov14}
\by С.~П.~Ковалёв
\paper Теоретико-категорный подход к~проектированию программных систем
\jour Фундамент. и прикл. матем.
\yr 2014
\vol 19
\issue 3
\pages 111--170
\mathnet{http://mi.mathnet.ru/fpm1592}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3431880}
\transl
\jour J. Math. Sci.
\yr 2016
\vol 214
\issue 6
\pages 814--853
\crossref{https://doi.org/10.1007/s10958-016-2814-1}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962298211}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/fpm1592
  • https://www.mathnet.ru/rus/fpm/v19/i3/p111
    • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Статистика просмотров:
    Страница аннотации:1334
    PDF полного текста:248
    Список литературы:49
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024