Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier
Proceedings of the Sixth European Conference on Modelling Foundations and Applications
ECMFA, 2010.

@proceedings{ECMFA-2010,
	address       = "Paris, France",
	doi           = "10.1007/978-3-642-13595-8",
	editor        = "Thomas Kühne and Bran Selic and Marie-Pierre Gervais and François Terrier",
	isbn          = "978-3-642-13594-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth European Conference on Modelling Foundations and Applications}",
	volume        = 6138,
	year          = 2010,
}

Contents (26 items)

16 ×#modelling
3 ×#approach
3 ×#case study
3 ×#framework
3 ×#process
2 ×#abstraction
2 ×#automation
2 ×#behaviour
2 ×#composition
2 ×#development

ECMFA-2010-Atkinson #approach #modelling #novel #re-engineering

Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering (CA), p. 1.

ECMFA-2010-Corcoran #case study #development #experience #modelling #scalability

The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson (DC), p. 2.

ECMFA-2010-AcherCLF #composition #feature model

Comparing Approaches to Implement Feature Model Composition (MA, PC, PL, RBF), pp. 3–19.

ECMFA-2010-Balderas-ContrerasGC #algorithm #uml

A UML 2.0 Profile to Model Block Cipher Algorithms (TBC, GRG, RC), pp. 20–31.

ECMFA-2010-BruneliereCCJB #eclipse #modelling #tool support #towards

Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.

ECMFA-2010-CharfiMM #aspect-oriented #modelling #process

Aspect-Oriented Business Process Modeling with AO4BPMN (AC, HM, MM), pp. 48–61.

ECMFA-2010-ClowesKHRPJDP #approach #modelling #web

A Reflective Approach to Model-Driven Web Engineering (DC, DSK, CH, LMR, RFP, JJ, RD, SGP), pp. 62–73.

ECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements

Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.

ECMFA-2010-CregutCPFP #animation #framework #generative #platform

Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.

ECMFA-2010-EichbergMKM #execution #modelling

Model-Driven Engineering of Machine Executable Code (ME, MM, SK, MM), pp. 104–115.

ECMFA-2010-EllnerADJKP #behaviour #modelling #named

eSPEM — A SPEM Extension for Enactable Behavior Modeling (RE, SAH, JD, MJ, DK, MP), pp. 116–131.

ECMFA-2010-JohannesF #abstraction #composition #framework #modelling #network #reuse #using

Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework (JJ, MAF), pp. 132–143.

ECMFA-2010-KakadeMPN #development #modelling

Model-Based Development of Automotive Electronic Climate Control Software (RK, MM, BP, MN), pp. 144–155.

ECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using

Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.

ECMFA-2010-KleinerFA #automation #constraints #formal method #platform #theorem proving

Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.

ECMFA-2010-KoudriCLL #modelling

MoPCoM Methodology: Focus on Models of Computation (AK, JC, JCLL, VL), pp. 189–200.

ECMFA-2010-KusterGE #modelling #process

Dynamic Computation of Change Operations in Version Management of Business Process Models (JMK, CG, GE), pp. 201–216.

ECMFA-2010-Lopez-HerrejonE #consistency #detection #modelling #multi #nondeterminism #variability

Detecting Inconsistencies in Multi-View Models with Variability (RELH, AE), pp. 217–232.

ECMFA-2010-OnoTKSNF #abstraction #embedded #execution #modelling #performance

A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces (KO, MT, RK, YS, TN, NF), pp. 233–244.

ECMFA-2010-RoseKDWPPF #framework #named

Concordance: A Framework for Managing Model Integrity (LMR, DSK, ND, JRW, RFP, FACP, KJF), pp. 245–260.

ECMFA-2010-SchmidtPJF #component #library

An Integrated Facet-Based Library for Arbitrary Software Components (MS, JP, JJ, MAF), pp. 261–276.

ECMFA-2010-SterrittCC #behaviour #design pattern #precise #specification

Precise Specification of Design Pattern Structure and Behaviour (AS, SC, VC), pp. 277–292.

ECMFA-2010-TrujilloGLMREKS #energy #experience #modelling #variability

Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy (ST, JMG, RELH, XM, AR, AE, CWK, JDS), pp. 293–304.

ECMFA-2010-Vallecillo #modelling #on the

On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.

ECMFA-2010-WalterPSE #domain model

Joint Language and Domain Engineering (TW, FSP, SS, JE), pp. 321–336.

ECMFA-2010-YueBL #approach #automation #case study #diagrams #process

An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.