Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2012.
@proceedings{MoDELS-2012,
address = "Innsbruck, Austria",
doi = "10.1007/978-3-642-33666-9",
editor = "Robert B. France and Jürgen Kazmeier and Ruth Breu and Colin Atkinson",
isbn = "978-3-642-33665-2",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems}",
volume = 7590,
year = 2012,
}
Committee
Contents (51 items)
- MODELS-2012-Henzinger #modelling
- Quantitative Reactive Models (TAH), pp. 1–2.
- MODELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling
- Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
- MODELS-2012-NoyritGS #metamodelling #named #uml
- FacadeMetamodel: Masking UML (FN, SG, BS), pp. 20–35.
- MODELS-2012-RabbiM #agile #development #domain-specific language #workflow
- T□: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
- MODELS-2012-RamirezCBS #nondeterminism #runtime
- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
- MODELS-2012-AlferezP #evolution #modelling #runtime
- Dynamic Evolution of Context-Aware Systems with Models at Runtime (GHA, VP), pp. 70–86.
- MODELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements #runtime
- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.
- MODELS-2012-ScheidgenZFK #automation #modelling #scalability
- Automated and Transparent Model Fragmentation for Persisting Large Models (MS, AZ, JF, THK), pp. 102–118.
- MODELS-2012-CombemaleTB #infinity #modelling
- Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
- MODELS-2012-HegedusHRV #emf #modelling
- Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.
- MODELS-2012-FavreLV #architecture #modelling
- Modeling the Linguistic Architecture of Software Products (JMF, RL, AV), pp. 151–167.
- MODELS-2012-PfeifferW #development
- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
- MODELS-2012-GravinoRST #comprehension #design pattern #developer #documentation #replication #source code
- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension (CG, MR, GS, GT), pp. 185–201.
- MODELS-2012-RederE #consistency #design #incremental
- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes (AR, AE), pp. 202–218.
- MODELS-2012-FariasGL #aspect-oriented #consistency #detection #empirical #nondeterminism
- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment (KF, AG, CJPdL), pp. 219–234.
- MODELS-2012-HamannHG #behaviour #modelling #ocl #on the
- On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
- MODELS-2012-SchroeterLW #feature model #modelling #multi
- Multi-perspectives on Feature Models (JS, ML, TW), pp. 252–268.
- MODELS-2012-JohansenHFES #array #generative #modelling #product line
- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.
- MODELS-2012-KulkarniBR #product line #towards
- Towards Business Application Product Lines (VK, SB, SR), pp. 285–301.
- MODELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml
- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.
- MODELS-2012-ShaverL
- The Coroutine Model of Computation (CS, EAL), pp. 319–334.
- MODELS-2012-MaozS #semantics #synthesis
- Assume-Guarantee Scenarios: Semantics and Synthesis (SM, YS), pp. 335–351.
- MODELS-2012-KuhnMT #case study #development #modelling #scalability
- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development (AK, GCM, CAT), pp. 352–367.
- MODELS-2012-SunGBB #approach #industrial #modelling
- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software (YS, JG, KB, NvB), pp. 368–382.
- MODELS-2012-SalayWS #development #modelling
- Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
- MODELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
- Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
- MODELS-2012-KuhlmannG #logic #ocl #relational #uml
- From UML and OCL to Relational Logic and Back (MK, MG), pp. 415–431.
- MODELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
- On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
- MODELS-2012-GonzalezC #approach #atl #generative #named #testing
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
- MODELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
- MODELS-2012-AboussororOO #fault #modelling #simulation #visualisation
- Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
- MODELS-2012-BehjatiYB #approach #modelling #reuse #similarity #using
- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data (RB, TY, LCB), pp. 497–513.
- MODELS-2012-Wu0SZ #component #fault tolerance #modelling
- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
- MODELS-2012-VierhauserGHHL #consistency #framework #industrial #modelling #product line
- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines (MV, PG, WH, GH, DL), pp. 531–545.
- MODELS-2012-SaadaDHNS #generative #model transformation
- Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
- MODELS-2012-AranegaEM #feature model #model transformation #using
- Using Feature Model to Build Model Transformation Chains (VA, AE, SM), pp. 562–578.
- MODELS-2012-KainzBK #approach #model transformation
- A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
- MODELS-2012-SchulzeCA #approach #modelling #uml
- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling (GS, JCO, JA), pp. 595–608.
- MODELS-2012-GrammelKV #development #generative #modelling
- Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
- MODELS-2012-BrancoTCKV #abstraction #process #workflow
- Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
- MODELS-2012-IqbalAYB #case study #experience #industrial #uml
- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
- MODELS-2012-SunkleK #estimation #modelling
- Cost Estimation for Model-Driven Engineering (SS, VK), pp. 659–675.
- MODELS-2012-FariasGWCL #design #empirical #modelling
- Evaluating the Effort of Composing Design Models: A Controlled Experiment (KF, AG, JW, CC, CJPdL), pp. 676–691.
- MODELS-2012-ArandaDB #modelling #question #what
- Transition to Model-Driven Engineering — What Is Revolutionary, What Remains the Same? (JA, DD, AB), pp. 692–708.
- MODELS-2012-HumaGEJ #automation #towards #uml
- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions (ZH, CG, GE, OJ), pp. 709–725.
- MODELS-2012-AliYBW #case study #industrial #modelling #product line #testing
- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
- MODELS-2012-WilliamsBPP #analysis #modelling
- Sensitivity Analysis in Model-Driven Engineering (JRW, FRB, RFP, FACP), pp. 743–758.
- MODELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing
- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
- MODELS-2012-BesovaWWB #composition #multi
- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
- MODELS-2012-BriandFNSY #modelling
- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
- MODELS-2012-SindicoNS #architecture #design #industrial #modelling #process
- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design (AS, MDN, ALSV), pp. 810–826.
29 ×#modelling
6 ×#approach
6 ×#uml
5 ×#development
5 ×#industrial
4 ×#analysis
4 ×#generative
4 ×#product line
3 ×#case study
3 ×#consistency
6 ×#approach
6 ×#uml
5 ×#development
5 ×#industrial
4 ×#analysis
4 ×#generative
4 ×#product line
3 ×#case study
3 ×#consistency