雜志介紹

Software And Systems Modeling雜志介紹

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

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

• 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