Timothy C. Lethbridge, Jordi Cabot, Alexander Egyed
Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2015.
@proceedings{MoDELS-2015,
editor = "Timothy C. Lethbridge and Jordi Cabot and Alexander Egyed",
isbn = "978-1-4673-6908-4",
publisher = "{IEEE}",
title = "{Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems}",
year = 2015,
}
Committee
Contents (49 items)
- MoDELS-2015-Easterbrook #modelling #question
- Modelling the climate system: Is model-based science like model-based engineering? (SME), p. 1.
- MoDELS-2015-Murphy
- Software supply chains (GCM), p. 2.
- MoDELS-2015-S #challenge #modelling #named #smarttech
- Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (RS), p. 3.
- MoDELS-2015-SzvetitsZ #modelling #reuse #runtime
- Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
- MoDELS-2015-KhalilD #evolution #execution #incremental #state machine #symbolic computation
- Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.
- MoDELS-2015-MaozR #difference #framework #semantics
- A framework for relating syntactic and semantic model differences (SM, JOR), pp. 24–33.
- MoDELS-2015-GreifenbergLRR #domain-specific language
- Engineering tagging languages for DSLs (TG, ML, SR, BR), pp. 34–43.
- MoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction
- Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
- MoDELS-2015-DasD #state machine #uml
- State machine antipatterns for UML-RT (TKD, JD), pp. 54–63.
- MoDELS-2015-AhmarGDP #communication #modelling #uml #visual notation
- Enhancing the communication value of UML models with graphical layers (YEA, SG, CD, XLP), pp. 64–69.
- MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation
- A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
- MoDELS-2015-HartmannMFNKT #distributed #modelling #peer-to-peer #runtime
- Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
- MoDELS-2015-Moawad0FNKT #modelling #performance
- Beyond discrete modeling: A continuous and efficient model for IoT (AM, TH, FF, GN, JK, YLT), pp. 90–99.
- MoDELS-2015-KrikavaRS #framework #modelling #resource management #runtime #towards
- Infrastructure as runtime models: Towards Model-Driven resource management (FK, RR, LS), pp. 100–105.
- MoDELS-2015-AmalioLG #formal method #named
- Fragmenta: A theory of fragmentation for MDE (NA, JdL, EG), pp. 106–115.
- MoDELS-2015-KuselEKRSS #co-evolution #consistency #modelling
- Consistent co-evolution of models and transformations (AK, JE, EK, WR, WS, JS), pp. 116–125.
- MoDELS-2015-MannaSG #combinator #specification #testing
- Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.
- MoDELS-2015-HolldoblerRW #model transformation #transformation language
- Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
- MoDELS-2015-CuadradoGL #atl #model transformation
- Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
- MoDELS-2015-LaraGC #modelling #type system
- A-posteriori typing for Model-Driven Engineering (JdL, EG, JSC), pp. 156–165.
- MoDELS-2015-PescadorGGCL #development #domain-specific language #modelling
- Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
- MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml
- Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
- MoDELS-2015-LarsenDCM #behaviour #coordination
- A Behavioral Coordination Operator Language (BCOoL) (MEVL, JD, BC, FM), pp. 186–195.
- MoDELS-2015-GregoricsGKDD #algorithm #diagrams #layout #visualisation
- Textual diagram layout language and visualization algorithm (BG, TG, GFK, AD, GD), pp. 196–205.
- MoDELS-2015-ValentimROCM #case study #empirical #specification #usability
- A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques (NMCV, JR, ACO, TC, SM), pp. 206–215.
- MoDELS-2015-AtkinsonGK15a #approach #modelling #multi
- A unifying approach to connections for multi-level modeling (CA, RG, TK), pp. 216–225.
- MoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #model transformation #statistics
- A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
- MoDELS-2015-SalayKSC #megamodelling #model management
- Enriching megamodel management with collection-based operators (RS, SK, ADS, MC), pp. 236–245.
- MoDELS-2015-NguyenYHKST #design pattern #named #security
- SoSPa: A system of Security design Patterns for systematically engineering secure systems (PHN, KY, TH, JK, RS, YLT), pp. 246–255.
- MoDELS-2015-OakesTLW #atl #contract #declarative #verification
- Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
- MoDELS-2015-NiemannHGW #contract
- Extracting frame conditions from operation contracts (PN, FH, MG, RW), pp. 266–275.
- MoDELS-2015-StephanC #clone detection #detection #identification #using
- Identification of Simulink model antipattern instances using model clone detection (MS, JRC), pp. 276–285.
- MoDELS-2015-SchottleK #api #modelling #reuse #using
- Concern-oriented interfaces for model-based reuse of APIs (MS, JK), pp. 286–291.
- MoDELS-2015-Fernandez-SaezC #documentation #industrial #maintenance #on the #overview #uml #using
- On the use of UML documentation in software maintenance: Results from a survey in industry (AMFS, DC, MG, MRVC), pp. 292–301.
- MoDELS-2015-KetataMFLC #migration #modelling #performance #predict
- Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
- MoDELS-2015-GogollaVBH #model transformation #testing
- Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
- MoDELS-2015-MontaghamiR #debugging #declarative #modelling
- Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
- MoDELS-2015-NguyenGA #case study #requirements
- Integrating goal-oriented and use case-based requirements engineering: The missing link (THN, JCG, MA), pp. 328–337.
- MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line
- Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
- MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support
- Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
- MoDELS-2015-VallejoKMB #case study #reuse #symmetry
- Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study (PV, MK, KJMM, JPB), pp. 358–367.
- MoDELS-2015-KulkarniBCB #complexity #towards
- Toward overcoming accidental complexity in organisational decision-making (VK, SB, TC, BSB), pp. 368–377.
- MoDELS-2015-LuddeckeSSS #modelling #network #using
- Modeling user intentions for in-car infotainment systems using Bayesian networks (DL, CS, JS, IS), pp. 378–385.
- MoDELS-2015-LettnerEGP #case study #experience #feature model #industrial #lessons learnt #modelling #scalability
- Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (DL, KE, PG, HP), pp. 386–395.
- MoDELS-2015-AliY #formal method #standard #testing
- Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
- MoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process
- A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
- MoDELS-2015-SandenRGBJVS #composition #design #modelling
- Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.
- MoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #platform #testing
- An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
- MoDELS-2015-SunkleKK #case study #modelling
- Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (SS, DK, VK), pp. 436–445.
25 ×#modelling
7 ×#case study
4 ×#approach
4 ×#framework
4 ×#model transformation
4 ×#testing
4 ×#uml
3 ×#evolution
3 ×#formal method
3 ×#industrial
7 ×#case study
4 ×#approach
4 ×#framework
4 ×#model transformation
4 ×#testing
4 ×#uml
3 ×#evolution
3 ×#formal method
3 ×#industrial