Antonio Vallecillo, Juha-Pekka Tolvanen
Special Issue on Modelling Foundations and Applications — ECMFA 2012
ECMFA-J-2012, 2015.

@proceedings{ECMFA-J-2012,
	editor        = "Antonio Vallecillo and Juha-Pekka Tolvanen",
	journal       = "{Software and System Modeling}",
	number        = 1,
	title         = "{Special Issue on Modelling Foundations and Applications — ECMFA 2012}",
	volume        = 14,
	year          = 2015,
}

Contents (6 items)

2 ×#modelling

ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification

Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.

ECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #model transformation #modelling

Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.

ECMFA-J-2012-PfeifferW15 #design #development #multi

The design space of multi-language development environments (RHP, AW), pp. 383–411.

ECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string

Lightweight string reasoning in model finding (FB, JC), pp. 413–427.

ECMFA-J-2012-LaraGC15 #metamodelling #modelling

Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.

ECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using

Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.