Synthesizing verified components for cyber assured systems engineering
Authors (first, second and last of 6)

Software and Systems Modeling (SoSyM) is an international journal, publishing six issues yearly, that focuses on theoretical and practical issues in the development and application of software and system modeling languages, techniques, and methods, such as the Unified Modeling Language. The aim of SoSyM is to publish high-quality works that further understanding of the theoretical underpinnings of modeling languages and techniques, present rigorous analyses of modeling experiences, and present scalable modeling techniques and processes that facilitate rigorous and economical development of software.
SoSyM is unique in its emphasis on theoretical foundations of modeling languages and techniques and on rigorous analysis of real-world" modeling experiences. The balance of theoretical and experience-based works provides insights that can lead to better modeling languages and techniques. In addition, modeling practitioners can gain a deeper understanding of languages and techniques that can lead to more effective applications.
Click here to learn more about publishing in or pitching an idea for a theme issue/section or a special section.
Organized by Tony Clark, Djamel Eddine Khelladi, Vinay Kulkarni, and Steffen Zschaler
Deadlines
Intent to submit: 30 June 2023
Paper submission: 04 Aug 2023
Notification: 05 Jan 2024
Avoid the most common mistakes and prepare your manuscript for journal editors.
Learn more