Proceedings of the 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017
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


Proceedings of the 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017
MoDELS, 2017.

MDE
DBLP
Scholar
CSDL
Full names Links ISxN
@proceedings{MoDELS-2017,
	address       = "Austin, TX, USA",
	ee            = "https://www.computer.org/csdl/proceedings/models/2017/3492/00/index.html",
	isbn          = "978-1-5386-3492-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017}",
	year          = 2017,
}

Contents (37 items)

MoDELS-2017-Stevens #bidirectional #in the large
Bidirectional Transformations in the Large (PS), pp. 1–11.
MoDELS-2017-CuadradoGLCC #constraints #model transformation
Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.
MoDELS-2017-HidakaJT #model transformation #on the #transformation language
On Additivity in Transformation Languages (SH, FJ, MT), pp. 23–33.
MoDELS-2017-SelimCD #atl #how
How is ATL Really Used? Language Feature Use in the ATL Zoo (GMKS, JRC, JD), pp. 34–44.
MoDELS-2017-Zaytsev #design
Language Design with Intent (VZ), pp. 45–52.
MoDELS-2017-EgeaD #automation #code generation #named #ocl #sql
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.
MoDELS-2017-Al-RefaiCG #approach #fuzzy #logic #modelling #testing
A Fuzzy Logic Based Approach for Model-Based Regression Test Selection (MAR, WC, SG), pp. 55–62.
MoDELS-2017-UlkeSL #ocl #partial evaluation
Partial Evaluation of OCL Expressions (BU, FS, RL), pp. 63–73.
MoDELS-2017-Tikhonova #domain-specific language #reuse #semantics #specification
Reusable Specification Templates for Defining Dynamic Semantics of DSLs (UT), p. 74.
MoDELS-2017-Vaquero-Melchor #domain-specific language #mobile
Active Domain-Specific Languages: Making Every Mobile User a Modeller (DVM, JP, EG, JdL), pp. 75–82.
MoDELS-2017-RatiuPD #case study #domain-specific language #education #experience #industrial #towards
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners (DR, VP, KD), pp. 83–92.
MoDELS-2017-FamelisRCSC #design #nondeterminism #product line #reasoning #variability
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty (MF, JR, KC, RS, MC), pp. 93–100.
MoDELS-2017-TaentzerSSC #category theory #framework #product line
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory (GT, RS, DS, MC), pp. 101–111.
MoDELS-2017-LeducDCSB #composition #domain-specific language #execution
Revisiting Visitors for Modular Extension of Executable DSMLs (ML, TD, BC, TvdS, OB), pp. 112–122.
MoDELS-2017-RamadanS0JG #modelling #process #security #verification
From Secure Business Process Modeling to Design-Level Security Verification (QR, MS, DS, JJ, PG), pp. 123–133.
MoDELS-2017-MaozPRS #component #question #satisfiability #specification #why
Why is My Component and Connector Views Specification Unsatisfiable? (SM, NP, JOR, RS), pp. 134–144.
MoDELS-2017-AravantinosK #tool support #verification
Tool Support for Live Formal Verification (VA, SK), pp. 145–155.
MoDELS-2017-DenneyPW #architecture #development #modelling #safety
Model-Driven Development of Safety Architectures (ED, GP, IW), pp. 156–166.
MoDELS-2017-BertramMRRW #case study #component #experience
Component and Connector Views in Practice: An Experience Report (VB, SM, JOR, BR, MvW), pp. 167–177.
MoDELS-2017-FamelisC #nondeterminism
Managing Design-Time Uncertainty (MF, MC), p. 179.
MoDELS-2017-HartmannMFT #domain model #evolution #integration #machine learning #modelling
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling (TH, AM, FF, YLT), p. 180.
MoDELS-2017-BenelallamHMFBB #modelling
Raising Time Awareness in Model-Driven Engineering: Vision Paper (AB, TH, LM, FF, JB, OB, YLT), pp. 181–188.
MoDELS-2017-DurisicMST #case study #co-evolution #metamodelling #modelling #semantics #syntax
Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR (DD, CM, MS, MT), pp. 189–198.
MoDELS-2017-DebreceniBRD #collaboration #modelling
Property-Based Locking in Collaborative Modeling (CD, GB, IR, DV), pp. 199–209.
MoDELS-2017-BatotKSF #heuristic #metamodelling #ocl #recommendation
Heuristic-Based Recommendation for Metamodel — OCL Coevolution (EB, WK, HAS, MF), pp. 210–220.
MoDELS-2017-KlareBKLSR #java #metamodelling #named #tool support
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools (HK, EB, MEK, ML, TS, RHR), pp. 221–228.
MoDELS-2017-AbrahaoBCKPSW #challenge #experience #modelling #user interface
User Experience for Model-Driven Engineering: Challenges and Future Directions (SA, FB, BHCC, SK, RFP, HS, JW), pp. 229–236.
MoDELS-2017-ZolotasRKPH #model management #modelling #open source #tool support
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon (AZ, HHR, DSK, RFP, SH), pp. 237–247.
MoDELS-2017-Ernadote #ontology
Ontology-Based Pattern for System Engineering (DE), pp. 248–258.
MoDELS-2017-BarnerDMSFFP #modelling
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems (SB, AD, JM, AS, GF, MF, DGP), pp. 259–269.
MoDELS-2017-EderZVKI #case study #design #industrial
Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case (JE, SZ, SV, MK, AI), pp. 270–280.
MoDELS-2017-WortmannCB #industrial #modelling
A Systematic Mapping Study on Modeling for Industry 4.0 (AW, BC, OB), pp. 281–291.
MoDELS-2017-IzquierdoCC #eclipse #ecosystem #empirical #maturity #modelling
An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem (JLCI, VC, JC), pp. 292–302.
MoDELS-2017-AgnerL #education #modelling #overview
A Survey of Tool Use in Modeling Education (LTWA, TCL), pp. 303–311.
MoDELS-2017-GreenyerG #execution #specification #symbolic computation
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.
MoDELS-2017-DouBB #approach #modelling
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties (WD, DB, LCB), pp. 323–333.
MoDELS-2017-BeckmannMSV #diagrams #process #uml
Removal of Redundant Elements within UML Activity Diagrams (MB, VNM, AS, AV), pp. 334–343.

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.