雜志介紹

Software And Systems Modeling雜志介紹

《Software And Systems Modeling》是一本以English為主的未開放獲取國際優秀期刊，中文名稱軟件和系統建模，本刊主要出版、報道計算機科學-COMPUTER SCIENCE, SOFTWARE ENGINEERING領域的研究動態以及在該領域取得的各方面的經驗和科研成果，介紹該領域有關本專業的最新進展，探討行業發展的思路和方法，以促進學術信息交流，提高行業發展。該刊已被國際權威數據庫SCIE收錄，為該領域相關學科的發展起到了良好的推動作用，也得到了本專業人員的廣泛認可。該刊最新影響因子為2，最新CiteScore 指數為6。

本刊近期中國學者發表的論文主要有：

• A case study on consistency management of business and IT process models in banking

  Author: Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Küster, Hagen V?lzer

• Model synchronization based on triple graph grammars: correctness, completeness and invertibility

  Author: Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel

• Model-checking software library API usage rules

  Author: Fu Song, Tayssir Touili

• Component-based verification using incremental design and invariants

  Author: Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

英文介紹

Software And Systems Modeling雜志英文介紹

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