-
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
Journal: Software and Systems Modeling, 2013, Vol.13, 913-940, DOI:10.1007/s10270-013-0318-8
-
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
Journal: Software and Systems Modeling, 2013, Vol.14, 241-269, DOI:10.1007/s10270-012-0309-1
-
Model-checking software library API usage rules
Author: Fu Song, Tayssir Touili
Journal: Software and Systems Modeling, 2015, Vol.15, 961-985, DOI:10.1007/s10270-015-0473-1
-
Component-based verification using incremental design and invariants
Author: Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Journal: Software and Systems Modeling, 2014, Vol.15, 427-451, DOI:10.1007/s10270-014-0410-8
-
SAMM: an architecture modeling methodology for ship command and control systems
Author: Zhiqiang Fan, Tao Yue, Li Zhang
Journal: Software and Systems Modeling, 2014, Vol.15, 71-118, DOI:10.1007/s10270-013-0393-x
-
A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
Author: Xiao-bo Li, Feng Yang, Yong-lin Lei, Wei-ping Wang, Yi-fan Zhu
Journal: Software and Systems Modeling, 2016, Vol.16, 1201-1222, DOI:10.1007/s10270-015-0513-x
-
Generating process model collections
Author: Zhiqiang Yan, Remco Dijkman, Paul Grefen
Journal: Software and Systems Modeling, 2015, Vol.16, 979-995, DOI:10.1007/s10270-015-0497-6
-
Template-based model generation
Author: Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Chang-Jun Hu
Journal: Software and Systems Modeling, 2017, Vol., , DOI:10.1007/s10270-017-0634-5
