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

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

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



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






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


Фундамент. и прикл. матем., 2014, том 19, выпуск 3, страницы 111–170 (Mi fpm1592)  

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

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

С. П. Ковалёв

Институт проблем управления им. В. А. Трапезникова РАН

Аннотация: Работа посвящена применению теории категорий для решения проблемы представления разнородных технологий программной инженерии в единой форме, удобной для их интеграции и координации в рамках общего цикла проектирования программных систем. Особое внимание уделяется современным технологиям, таким, как разработка, управляемая моделями, и аспектно-ориентированное программирование. Построены универсальные теоретико-категорные семантические модели этих технологий. Предложен новый способ разделения ответственности путём экспликации аспектной структуры формальных моделей программ. Построены и исследованы формальные технологии проектирования технологий, образующие математический фундамент разработки, управляемой моделями.

Ключевые слова: разработка, управляемая моделями, аспектно-ориентированное программирование, трассируемость, теория категорий, формальная технология проектирования, разделение ответственности.

Полный текст: PDF файл (522 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2016, 214:6, 814–853

Реферативные базы данных:

Тип публикации: Статья
УДК: 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://www.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{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962298211}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/fpm1592
  • http://mi.mathnet.ru/rus/fpm/v19/i3/p111

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. С. П. Ковалёв, “Методы теории категорий в модельно-ориентированной системной инженерии”, Информ. и её примен., 11:3 (2017), 42–50  mathnet  crossref  elib
    2. A. V. Samonov, G. N. Samonova, “Methodology and tools for development and verification of formal fUML models of requirements and architecture for complex software and hardware systems”, Труды ИСП РАН, 30:5 (2018), 123–146  mathnet  crossref
    3. А. В. Самонов, “Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов»”, Труды ИСП РАН, 31:5 (2019), 165–182  mathnet  crossref
  • Фундаментальная и прикладная математика
    Просмотров:
    Эта страница:389
    Полный текст:111
    Литература:22
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020