Analysis of research into the mathematical foundations of model-based systems engineering

DOI10.21638/SPBU10.2024.304MaRDI QIDQ6924968zbMATH OpenFDO

Authors Vladimir Aleksandrovich Sukhomlin

Publication date 26 September 2025

Published in Vestnik Sankt-Peterburgskogo Universiteta. Prikladnana Matematika, Informatika, Protsessy Upravleniya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21638/SPBU10.2024.304

zbMATH Keywords

finite state machinessystems engineeringcategory theory in model-based systems engineeringDEVS modelingmodel-based systems engineeringsemantics of SysML languagetripartite theory

Mathematics Subject Classification ID

General theory of computer systems (68M01)

Cites work

• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 50721 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• Abstract systems theory
• Categories for Software Engineering
• General systems theory: mathematical foundations
• Industrial applications of software synthesis via category theory -- case studies using specware
• Systems Movement: Autobiographical Retrospectives
• Using formal methods with SysML in aerospace design and engineering

This page was built for publication: Analysis of research into the mathematical foundations of model-based systems engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6924968)