Software and Systems Modeling

短名Softw Syst Model
Journal Impact1.92
国际分区COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q3)
期刊索引SCI Q3中科院 3 区
ISSN1619-1366, 1619-1374
h-index59
国内分区计算机科学(3区)计算机科学计算机软件工程(3区)

我们邀请作者提交论文,讨论和分析与软件和系统建模语言、技术、工具、实践和其他方面相关的研究挑战和经验。以下是一些特别感兴趣的主题领域,但该杂志发表了广泛的软件和系统建模问题:特定领域的模型和建模标准;基于模型的测试技术;基于模型的仿真技术;形式化建模语言的语法和语义,如 UML;严格的基于模型的分析;模型组合、细化和转换;软件语言工程;科学和工程中的建模语言;语言适应和组合;元建模技术;测量模型和语言的质量;模型工程的本体方法;从模型生成测试和代码工件;模型综合;方法论;模型开发工具环境;建模网络物理系统;数据密集型建模;从数据中推导显式模型;案例研究和经验报告,其中包含重要的建模经验;建模语言和技术的比较分析;科学评估建模实践

期刊主页投稿网址
涉及主题计算机科学工程类程序设计语言软件工程操作系统数学软件人工智能哲学生物经济统一建模语言物理业务几何学理论计算机科学软件开发语言学
出版信息出版商: Springer Verlag出版周期: Quarterly期刊类型: journal
基本数据创刊年份: 2005原创研究文献占比94.95%自引率:10.00%Gold OA占比: 53.04%
平均审稿周期 网友分享经验:>12周,或约稿
平均录用比例网友分享经验:容易

期刊引文格式

这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。

并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。

只有1位作者的期刊

有2位作者的期刊

有3位作者的期刊

有5位以上作者的期刊

书籍引用格式

以下是创作和编辑的书籍的参考文献的示例。

学位论文引用格式

网页引用格式

这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。

专利引用格式

最新文章

Supporting method engineering with a low-code approach: the LOMET tool

2024-9-13

A system-theoretic assurance framework for safety-driven systems engineering

2024-9-13

IAT/ML: a metamodel and modelling approach for discourse analysis

2024-9-11

Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research

2024-9-3

MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements

2024-9-3

Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework

2024-9-3

RBPMN: the value of roles for business process modeling

2024-8-22

Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system

2024-8-16

TEC-MAP: a taxonomy of evaluation criteria and its application to the multi-modelling of data and processes

2024-8-16

Efficient construction of family-based behavioral models from adaptively learned models

2024-8-7

Using boundary objects and methodological island (BOMI) modeling in large-scale agile systems development

2024-8-5

Correction: iDOCEM

2024-8-5

Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games

2024-8-5

A modeling-based approach for dependability analysis of a constellation of satellites

2024-7-25

Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations

2024-7-18

Systematizing modeler experience (MX) in model-driven engineering success stories

2024-7-11

iDOCEM

2024-7-9

Requirements for modelling tools for teaching

2024-7-9

Guest editorial to the special section on PoEM’2022

2024-7-3

SymboleoPC: checking properties of legal contracts

2024-7-3

Automated generation of smart contract code from legal contract specifications with Symboleo2SC

2024-6-29

Human factors in model-driven engineering: future research goals and initiatives for MDE

2024-6-28

Using reactive links to propagate changes across engineering models

2024-6-10

ModelXGlue: a benchmarking framework for ML tools in MDE

2024-6-10

MBFair: a model-based verification methodology for detecting violations of individual fairness

2024-6-10

OIL: an industrial case study in language engineering with Spoofax

2024-6-3

Model modularity for reuse, libraries and composition: symbol management is key

2024-6-1

Modular language product lines: concept, tool and analysis

2024-5-28

Application and evaluation of interlinked approaches for modeling changing capabilities

2024-5-20

Going beyond templates: composition and evolution in nested OSTRICH

2024-5-20

Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities

2024-5-10

Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools

2024-5-8

Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models

2024-4-30

Guest editorial for the special section on SEFM 2020 and 2021

2024-4-30

What makes a good modeling research contribution?

2024-4-29

Accelerating similarity-based model matching using dual hashing

2024-4-29

On the application of process management and process mining to Industry 4.0

2024-4-25

Current trends in digital twin development, maintenance, and operation: an interview study

2024-4-18

Improving repair of semantic ATL errors using a social diversity metric

2024-4-18

Gamification of business process modeling education: an experimental analysis

2024-4-18

Empirically evaluating modeling language ontologies: the Peira framework

2024-4-16

Guest editorial to the special section on SEFM’22

2024-4-16

Guest editorial to the theme section on Trends in Enterprise Architecture Research

2024-4-12

From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain

2024-4-8

Correction: A framework for embedded software portability and verification: from formal models to low-level code

2024-4-4

Model-based code generation works: But how far does it go?—on the role of the generator

2024-4-1

Active model learning of stochastic reactive systems (extended version)

2024-3-23

Learning minimal automata with recurrent neural networks

2024-3-21

Lazy model checking for recursive state machines

2024-3-20

Exchanging information in cooperative software validation

2024-3-19

帮你贴心管理全部的文献

研飞ivySCI,高效的论文管理

投稿经验分享

分享我的经验,帮你走得更远

Built withby Ivy Science
Copyright © 2020-2024
版权所有:南京青藤格致信息科技有限公司