Guest editorial to the special section on model transformation (English)
- New search for: Hu, Z.
- New search for: Hu, Z.
In:
SOFTWARE AND SYSTEMS MODELING
;
14
, 2
;
533-535
;
2015
-
ISSN:
- Article (Journal) / Print
-
Title:Guest editorial to the special section on model transformation
-
Contributors:Hu, Z. ( author )
-
Published in:SOFTWARE AND SYSTEMS MODELING ; 14, 2 ; 533-535
-
Publisher:
- New search for: Springer Science + Business Media
-
Publication date:2015-01-01
-
Size:3 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.3
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.3 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 14, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 525
-
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015Chechik, Marsha / Georg, Geri / Gogolla, Martin / Jezequel, Jean-Marc / Rumpe, Bernhard / Schindler, Martin et al. | 2015
- 533
-
Guest editorial to the special section on model transformationHu, Zhenjiang / Lara, Juan et al. | 2013
- 537
-
Reuse in model-to-model transformation languages: are we there yet?Kusel, A. / Schönböck, J. / Wimmer, M. / Kappel, G. / Retschitzegger, W. / Schwinger, W. et al. | 2013
- 573
-
Constraint-driven modeling through transformationDemuth, Andreas / Lopez-Herrejon, Roberto Erick / Egyed, Alexander et al. | 2013
- 597
-
An algorithm for generating model-sensitive search plans for pattern matching on EMF modelsVarró, Gergely / Deckwerth, Frederik / Wieber, Martin / Schürr, Andy et al. | 2013
- 623
-
Specification-driven model transformation testingGuerra, Esther / Soeken, Mathias et al. | 2013
- 645
-
Enhancing classic transformation languages to support multi-level modelingAtkinson, Colin / Gerbig, Ralph / Tunjic, Christian Vjekoslav et al. | 2013
- 667
-
Special section of SoSyM dedicated to 50 years of Petri netsFrance, Robert / Rumpe, Bernhard et al. | 2014
- 669
-
The concepts of Petri netsDesel, Jörg / Reisig, Wolfgang et al. | 2014
- 685
-
Business process management as the “Killer App” for Petri netsAalst, W. M. P. et al. | 2014
- 693
-
Petri nets for the control of discrete event systemsGiua, Alessandro / Seatzu, Carla et al. | 2014
- 703
-
Petri nets in systems biologyKoch, Ina et al. | 2014
- 711
-
The Petri net twist in explicit model checkingWolf, Karsten et al. | 2014
- 719
-
Recent and simple algorithms for Petri netsFinkel, Alain / Leroux, Jérôme et al. | 2014
- 727
-
Petri and how he saw the worldSmith, Einar et al. | 2014
- 735
-
VPML: an approach to detect design patterns of MOF-based modeling languagesElaasar, Maged / Briand, Lionel C. / Labiche, Yvan et al. | 2013
- 765
-
Deontic BPMN: a powerful extension of BPMN with a trusted model transformationNatschläger, Christine / Kossak, Felix / Schewe, Klaus-Dieter et al. | 2013
- 795
-
ESUML-EAF: a framework to develop an energy-efficient design model for embedded softwareKim, Doo-Hwan / Hong, Jang-Eui et al. | 2013
- 813
-
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchangeMisbhauddin, Mohammed / Alshayeb, Mohammad et al. | 2013
- 839
-
Formal synthesis of application and platform behaviors of embedded software systemsKim, Jinhyun / Kang, Inhye / Choi, Jin-Young / Lee, Insup / Kang, Sungwon et al. | 2013
- 861
-
From subsets of model elements to submodelsCarré, Bernard / Vanwormhoudt, Gilles / Caron, Olivier et al. | 2013
- 889
-
Corpus-based analysis of domain-specific languagesTairas, Robert / Cabot, Jordi et al. | 2013
- 905
-
Mashup of metalanguages and its implementation in the Kermeta language workbenchJézéquel, Jean-Marc / Combemale, Benoit / Barais, Olivier / Monperrus, Martin / Fouquet, François et al. | 2013
- 921
-
A generic model decomposition technique and its application to the Eclipse modeling frameworkMa, Qin / Kelsen, Pierre / Glodt, Christian et al. | 2013
- 953
-
AuRUS: explaining the validation of UML/OCL conceptual schemasRull, Guillem / Farré, Carles / Queralt, Anna / Teniente, Ernest / Urpí, Toni et al. | 2013
- 981
-
Formal verification of QVT transformations for code generationStenzel, Kurt / Moebius, Nina / Reif, Wolfgang et al. | 2013
- 1003
-
A survey of approaches for verifying model transformationsAb. Rahim, Lukman / Whittle, Jon et al. | 2013
- 1029
-
Distributed implementation of message sequence chartsAbdallah, Rouwaida / Hélouët, Loïc / Jard, Claude et al. | 2013