Loading [MathJax]/jax/output/SVG/config.js
Fundamentalnaya i Prikladnaya Matematika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Journal history

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Fundam. Prikl. Mat.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Fundamentalnaya i Prikladnaya Matematika, 2014, Volume 19, Issue 3, Pages 111–170 (Mi fpm1592)  
This article is cited in 6 scientific papers (total in 6 papers)

Category-theoretic approach to software systems design

S. P. Kovalyov

V. A. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia
Full-text PDF (522 kB) Citations (6)
References:
PDF
HTML
Abstract: Category theory is applied to the problem of representing heterogeneous software engineering technologies in a unified form suitable for their integration and coordination within the common software systems engineering cycle. Special attention is paid to modern technologies such as model-driven engineering and aspect-oriented programming. Universal category-theoretic semantic models of these technologies are constructed. A novel method of separation of concerns by explicating the aspectual structure of formal models of programs is proposed. We construct and analyze formal technologies (architecture schools) for designing technologies that comprise a mathematical basis for model-driven engineering.
English version:
Journal of Mathematical Sciences (New York), 2016, Volume 214, Issue 6, Pages 814–853
DOI: https://doi.org/10.1007/s10958-016-2814-1
Bibliographic databases:
Document Type: Article
UDC: 519.68
Language: Russian
Citation: S. P. Kovalyov, “Category-theoretic approach to software systems design”, Fundam. Prikl. Mat., 19:3 (2014), 111–170; J. Math. Sci., 214:6 (2016), 814–853
Citation in format AMSBIB
\Bibitem{Kov14}
\by S.~P.~Kovalyov
\paper Category-theoretic approach to software systems design
\jour Fundam. Prikl. Mat.
\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}
Linking options:
  • https://www.mathnet.ru/eng/fpm1592
  • https://www.mathnet.ru/eng/fpm/v19/i3/p111
    • This publication is cited in the following 6 articles:
    1. Angeline Aguinaldo, Jacob Bunker, Blake Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli, “RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming”, IEEE Trans. Automat. Sci. Eng., 19:3 (2022), 2637  crossref
    2. Beltiukov A.P., Maslov S.G., “Deductive Ergatic Design of Constructive Tasks Solutions”, Acta Polytech. Hung., 18:2 (2021), 69–85  crossref  isi  scopus
    3. A. V. Samonov, “Metody i sredstva razrabotki avtomatizirovannykh informatsionnykh sistem na osnove ontologii «Upravlenie kachestvom programmno-tekhnicheskikh kompleksov»”, Trudy ISP RAN, 31:5 (2019), 165–182  mathnet  crossref
    4. 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”, Trudy ISP RAN, 30:5 (2018), 123–146  mathnet  crossref
    5. V. M. Vishnevsky, D. V. Efrosinin, A. Krishnamoorthy, Lecture Notes in Computer Science, 11088, Developments in Language Theory, 2018, 561  crossref
    6. S. P. Kovalev, “Metody teorii kategorii v modelno-orientirovannoi sistemnoi inzhenerii”, Inform. i ee primen., 11:3 (2017), 42–50  mathnet  crossref  elib
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Фундаментальная и прикладная математика
    Statistics & downloads:
    Abstract page:1373
    Full-text PDF :262
    References:60
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025