Proceedings of the Eighth European Conference on Modelling Foundations and Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris S. Kolovos
Proceedings of the Eighth European Conference on Modelling Foundations and Applications
ECMFA, 2012.

MDE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{ECMFA-2012,
	address       = "Kgs. Lyngby, Denmark",
	doi           = "10.1007/978-3-642-31491-9",
	editor        = "Antonio Vallecillo and Juha-Pekka Tolvanen and Ekkart Kindler and Harald Störrle and Dimitris S. Kolovos",
	isbn          = "978-3-642-31490-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth European Conference on Modelling Foundations and Applications}",
	volume        = 7349,
	year          = 2012,
}

Contents (32 items)

ECMFA-2012-Seidewitz #execution #manycore #uml
Executable UML: From Multi-domain to Multi-core (ES), p. 1.
ECMFA-2012-Lonn #challenge #design #modelling
Models Meeting Automotive Design Challenges (HL), pp. 2–3.
ECMFA-2012-MosserBD #adaptation #commutative #composition
A Commutative Model Composition Operator to Support Software Adaptation (SM, MBF, LD), pp. 4–19.
ECMFA-2012-VotintsevaWRS #case study #comparative #industrial #modelling #multi
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings (AV, PW, NR, PES), pp. 20–31.
ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #uml #validation
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.
ECMFA-2012-ElaasarL #case study #process #testing
Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.
ECMFA-2012-GoldschmidtM #domain-specific language #query
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
ECMFA-2012-SelimWCD #case study #industrial #legacy #migration #model transformation #modelling
Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.
ECMFA-2012-RathHV #emf #query
Derived Features for EMF by Integrating Advanced Model Queries (IR, ÁH, DV), pp. 102–117.
ECMFA-2012-KolovosRWMP #approach #documentation #lightweight #xml
A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
ECMFA-2012-PuissantSM #consistency #design #named #nondeterminism
Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.
ECMFA-2012-Zhang #aspect-oriented #modelling #state machine #uml
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.
ECMFA-2012-PfeifferW #development #multi #named
TexMo: A Multi-language Development Environment (RHP, AW), pp. 178–193.
ECMFA-2012-AtkinsonGK #modelling #multi #on the fly
On-the-Fly Emendation of Multi-level Models (CA, RG, BK), pp. 194–209.
ECMFA-2012-RiekeS #model transformation #refinement #specification
Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.
ECMFA-2012-BehjatiNYGB #automation #embedded #modelling
Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string
Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
ECMFA-2012-LaraG #metamodelling #modelling
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.
ECMFA-2012-BatoriTA #component #metamodelling #modelling
Metamodel Based Methodology for Dynamic Component Systems (GB, ZT, DA), pp. 275–286.
ECMFA-2012-LauderAVS #bidirectional #graph grammar #model transformation #precedence
Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.
ECMFA-2012-QureshiCT #constraints #specification
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications (TNQ, DJC, MT), pp. 303–318.
ECMFA-2012-SmolikV #code generation
Code Generation Nirvana (PCS, PV), pp. 319–327.
ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml
A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
ECMFA-2012-GeP #framework #realtime #safety #uml #verification
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
ECMFA-2012-VarroAS #pattern matching #unification
Unification of Compiled and Interpreter-Based Pattern Matching Techniques (GV, AA, AS), pp. 368–383.
ECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine
OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.
ECMFA-2012-GuyCDSJ #on the #type system
On Model Subtyping (CG, BC, SD, JS, JMJ), pp. 400–415.
ECMFA-2012-WinklerFGM #performance
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer (UW, MF, WG, AM), pp. 416–427.
ECMFA-2012-BurtonPRKPS #modelling #problem #using
Solving Acquisition Problems Using Model-Driven Engineering (FRB, RFP, LMR, DSK, SMP, SS), pp. 428–443.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.