Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
Advanced Lectures of the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Model-Driven Engineering
SFM, 2012.

@proceedings{SFM-2012,
	address       = "Bertinoro, Italy",
	doi           = "10.1007/978-3-642-30982-3",
	editor        = "Marco Bernardo and Vittorio Cortellessa and Alfonso Pierantonio",
	isbn          = "978-3-642-30981-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Model-Driven Engineering}",
	volume        = 7320,
	year          = 2012,
}

Event page: http://www.sti.uniurb.it/events/sfm12mde/

Contents (11 items)

3 ×#model transformation
3 ×#modelling
2 ×#analysis
2 ×#performance

SFM-2012-Selic #uml

The Less Well Known UML — A Short User Guide (BS), pp. 1–20.

SFM-2012-AndovaBEV #domain-specific language

MDE Basics with a DSL Focus (SA, MvdB, LJPE, TV), pp. 21–57.

SFM-2012-CabotG #constraints #ocl

Object Constraint Language (OCL): A Definitive Guide (JC, MG), pp. 58–90.

SFM-2012-RuscioEP #model transformation

Model Transformations (DDR, RE, AP), pp. 91–136.

SFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling #runtime

Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.

SFM-2012-CasoBGU #abstraction #validation

Abstractions for Validation in Action (GdC, VAB, DG, SU), pp. 192–218.

SFM-2012-PetriuAT #modelling #performance

Software Performance Modeling (DCP, MA, RT), pp. 219–262.

SFM-2012-Becker #analysis #model transformation #non-functional

Model Transformations in Non-functional Analysis (SB), pp. 263–289.

SFM-2012-CortellessaMT #analysis #modelling #performance

Software Performance Antipatterns: Modeling and Analysis (VC, ADM, CT), pp. 290–335.

SFM-2012-BroschKLSWW #version control

An Introduction to Model Versioning (PB, GK, PL, MS, KW, MW), pp. 336–398.

SFM-2012-VallecilloGBWH #model transformation #specification #testing

Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.