ジャーナル情報

Software & Systems Modeling (SoSyM)

ジャーナルのウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。

インパクトファクター:
3.2
出版社:
Springer
ISSN:
1619-1366
閲覧:
332521
フォロー:
10

論文募集

Software & Systems Modeling (SoSyM) is an academic journal published by Springer. (ISSN 1619-1366, impact factor 3.2, CCF B).

Aims and scope Software and Systems Modeling (SoSyM) is a bi-monthly international journal (published in English) that focuses on theoretical and practical issues pertaining to the development and application of modeling languages and techniques for software, as well as engineered and natural systems and processes. The aim of the journal is to publish high-quality works that (1) further understanding of the theoretical and foundational underpinnings of modeling languages and techniques, (2) present rigorous analyses of modeling experiences, and (3) introduce scalable modeling techniques and processes that facilitate rigorous and efficient development and understanding of software and systems. SoSyM encompasses several communities involving modeling languages and techniques, such as Model-Driven Engineering, Modeling and Simulation, or Data Engineering. The journal is unique in its emphasis on theoretical foundations of modeling languages and techniques, and on rigorous analyses of "real-world" modeling experiences. The balance of theoretical works and works based on in-depth analyses of experiences offers insights to researchers that can inform future investigations into better modeling languages and techniques, and provides modeling practitioners with a deeper understanding of modeling languages and techniques that can lead to more effective application. The journal targets researchers, practitioners and students who have a vested interest in results generated by high-quality modeling research and by rigorously analyzed modeling experiences. We invite authors to submit papers that discuss and analyze research challenges and experiences pertaining to software and system modeling languages, techniques, tools, practices and other facets. The following are some of the topic areas that are of special interest, but the journal publishes on a wide range of software and systems modeling concerns: Domain-specific models and modeling standards Model-based testing techniques Model-based simulation techniques Formal syntax and semantics of modeling languages such as the UML Rigorous model-based analysis Model composition, refinement and transformation Software Language Engineering Modeling Languages in Science and Engineering Language Adaptation and Composition Metamodeling techniques Measuring quality of models and languages Ontological approaches to model engineering Generating test and code artifacts from models Model synthesis Methodology Model development tool environments Modeling Cyberphysical Systems Data intensive modeling Derivation of explicit models from data Case studies and experience reports with significant modeling lessons learned Comparative analyses of modeling languages and techniques Scientific assessment of modeling practices More information can be found at www.sosym.org, which contains recent editorials, as well as information about the submission process for different paper categories (such as regular survey/overview, and special themes).
最終更新:Dou Sun

ベストペーパー

ベストペーパー
2019Generating instance models from meta models
2019A Multi-Paradigm Modelling approach to live modelling
2019RoboChart: modelling and verification of the functional behaviour of robotic applications
2019Trade-off analysis for SysML models using decision points and CSPs
2019Model execution tracing: a systematic mapping study
2019Applying static code analysis for domain-specific languages
2019Evaluating user interface generation approaches: model-based versus model-driven development
2019Thirteen years of SysML: a systematic mapping study
2019Questionnaire-based variability modeling for system configuration
2018Reducing accidental complexity in domain models
2018Using language workbenches and domain-specific languages for safety-critical software development
2018A feature-based survey of model view approaches
2018Hybrid co-simulation: it's about time
2018Toward testing from finite state machines with symbolic inputs and outputs
2018Understanding and improving UML package merge
2017The next evolution of MDE: a seamless integration of machine learning into domain modeling
2017SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
2017Lessons learned from developing mbeddr: a case study in language engineering with MPS
2017Managing design-time uncertainty
2017Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
2017Reusable specification templates for defining dynamic semantics of DSLs
2017Assert and negate revisited: Modal semantics for UML sequence diagrams
2017Assert and negate revisited: Modal semantics for UML sequence diagrams
2016Process mining: a two-step approach to balance between underfitting and overfitting
2016On challenges of model transformation from UML to Alloy
2016Process mining using BPMN: relating event logs and process models
2016Visual modeling of RESTful conversations with RESTalk
2016VMTL: a language for end-user model transformation
2016Model-driven performance prediction of systems of systems
2015Identifying duplicate functionality in textual use cases by aligning semantic actions
2015Enhanced graph rewriting systems for complex software domains
2015A situational method for semi-automated Enterprise Architecture Documentation
2015Formalizing and verifying stochastic system architectures using Monterey Phoenix
2015Survey of reliability and availability prediction methods from the viewpoint of software architecture
2015Survey of reliability and availability prediction methods from the viewpoint of software architecture

これを見た人はこちらも見ています

CCF正式名称インパクトファクター出版社ISSN
AIEEE Transactions on Computers3.8IEEE0018-9340
BAutomated Software Engineering3.1Springer0928-8910
BAdvanced Engineering Informatics9.9Elsevier1474-0346
CDiscover ComputingSpringer2948-2992
BInformation Sciences6.0Elsevier0020-0255
BInformation Systems3.4Elsevier0306-4379
CThe Journal of Strategic Information Systems11.8Elsevier0963-8687
BPattern Recognition7.6Elsevier0031-3203
CNeural Processing Letters2.8Springer1370-4621
CNeurocomputing6.5Elsevier0925-2312

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Computational Mathematics and ModelingSpringer1046-283X
Complex Adaptive Systems ModelingSpringer2194-3206
Advanced Modeling and Simulation in Engineering Sciences3.2Springer2213-7467
Programming and Computer Software0.5Springer0361-7688
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255
BComputer Networks4.6Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050

関連会議

CCFICORE略称正式名称投稿締切通知日開催日
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
CDAIInternational Conference on Distributed Artificial Intelligence2026-07-272026-09-162026-11-29
BASANERIEEE International Conference on Software Analysis, Evolution, and Reengineering2026-09-212026-12-012027-03-09
CINSCRYPTInternational Conference on Information Security and Cryptology2026-07-082026-08-152026-11-07
BETAPSEuropean Joint Conferences on Theory and Practice of Software2026-10-152026-12-222027-04-10
CCICA3PPInternational Conference on Algorithms and Architectures for Parallel Processing2026-07-252026-08-302026-10-26
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
CCHPCCInternational Conference on High Performance Computing and Communications2026-07-152026-09-102026-10-29
BA*ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
AA*KDDACM SIGKDD Conference on Knowledge Discovery and Data Mining2026-07-192026-11-142027-08-09

コメント 0

まだコメントはありません。

コメントするにはログインしてください