BibSLEIGH — Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems

Andy Schürr, Bran Selic
Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2009.

MDE

@proceedings{MoDELS-2009,
	address       = "Denver, Colorado, USA",
	doi           = "10.1007/978-3-642-04425-0",
	editor        = "Andy Schürr and Bran Selic",
	isbn          = "978-3-642-04424-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 5795,
	year          = 2009,
}

Contents (61 items)

MODELS-2009-Mellor #modelling #question #what: Models. Models. Models. So What? (SJM), p. 1.
MODELS-2009-MullerFB #modelling: Modeling Modeling (PAM, FF, BB), pp. 2–16.
MODELS-2009-AschauerDP #modelling #representation #scalability #traversal: Representation and Traversal of Large Clabject Models (TA, GD, WP), pp. 17–31.
MODELS-2009-SenMBJ #metamodelling: Meta-model Pruning (SS, NM, BB, JMJ), pp. 32–46.
MODELS-2009-ShoushaBL #analysis #concurrent #detection #uml: A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
MODELS-2009-BoskovicH #assessment #metric #modelling #performance: Model Driven Performance Measurement and Assessment with MoDePeMART (MB, WH), pp. 62–76.
MODELS-2009-LloydJ #analysis #authentication #ml #security #using: Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
MODELS-2009-ChenouardJ #automation #constraints: Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MODELS-2009-HorvathV #constraints #csp #modelling #problem: CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
MODELS-2009-KleinerAB #parsing: Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.
MODELS-2009-ThumSS #collaboration #lightweight #modelling #named: SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
MODELS-2009-GerthKE #independence #modelling #process: Language-Independent Change Management of Process Models (CG, JMK, GE), pp. 152–166.
MODELS-2009-BendixE #industrial #perspective #requirements: Requirements for Practical Model Merge — An Industrial Perspective (LB, PE), pp. 167–180.
MODELS-2009-NugrohoC #case study #industrial #modelling #quality #uml: Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.
MODELS-2009-ParetoEE #development #empirical: Concern Visibility in Base Station Development — An Empirical Investigation (LP, PE, SE), pp. 196–210.
MODELS-2009-Weissleder #industrial #modelling #state machine #testing #uml: Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.
MODELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly: On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MODELS-2009-LaraG #petri net #qvt: Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELS-2009-BroschLSWWKRS #modelling #word: An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.
MODELS-2009-MussbacherAW #aspect-oriented #modelling: Refactoring-Safe Modeling of Aspect-Oriented Scenarios (GM, DA, JW), pp. 286–300.
MODELS-2009-MaozMK #modelling #testing #using: Model-Based Testing Using LSCs and S2A (SM, JM, MK), pp. 301–306.
MODELS-2009-MohanK #development #enterprise #experience #lessons learnt #modelling #user interface #visual notation: Model Driven Development of Graphical User Interfaces for Enterprise Business Applications — Experience, Lessons Learnt and a Way Forward (RM, VK), pp. 307–321.
MODELS-2009-MazanekM #diagrams #editing #modelling #process: Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.
MODELS-2009-MilanovicGWH #modelling #process: Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MODELS-2009-RathVV #model transformation: Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MODELS-2009-WolfeGP #algorithm #consistency #incremental #runtime: An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
MODELS-2009-HelmingKNDS: Traceability-Based Change Awareness (JH, MK, HN, JD, AS), pp. 372–376.
MODELS-2009-Constantine #design #development #interactive #modelling: Interaction Design and Model-Driven Development (LLC), p. 377.
MODELS-2009-SoltenbornE #semantics #specification #testing #towards: Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.
MODELS-2009-LeungMLLSTL #ontology #scalability #semantics #using: Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
MODELS-2009-WalterPS #domain-specific language #framework #named #ontology: OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MODELS-2009-HermansPD #case study #domain-specific language #user study: Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MODELS-2009-DhaussyPCRTB #validation: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
MODELS-2009-WienandsG #domain-specific language #industrial #visual notation: Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (CW, MG), pp. 453–467.
MODELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism #requirements: A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
MODELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards: A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.
MODELS-2009-Maoz #modelling #polymorphism #semantics #specification: Polymorphic Scenario-Based Specification Models: Semantics and Applications (SM), pp. 499–513.
MODELS-2009-KleinKMJ #weaving: Aspect Model Unweaving (JK, JK, BM, JMJ), pp. 514–530.
MODELS-2009-OldevikMK #composition #contract: Model Composition Contracts (JO, MM, IK), pp. 531–545.
MODELS-2009-JohannesZFCKP #composition: Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELS-2009-YieCWD #approach #evolution: An Approach for Evolving Transformation Chains (AY, RC, DW, DD), pp. 551–555.
MODELS-2009-DawV #modelling #process #state machine #uml: Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.
MODELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification: Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MODELS-2009-DrusinskyS #logic #uml #using: Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
MODELS-2009-EsfahaniMSGM #composition #modelling: A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MODELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MODELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing: Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELS-2009-Booch #architecture #mining: Architectural Mining: The Other Side of the MDD (GB), p. 627.
MODELS-2009-MohaMBJ #refactoring: Generic Model Refactorings (NM, VM, OB, JMJ), pp. 628–643.
MODELS-2009-CuccuruRGT #classification #parametricity #uml: Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
MODELS-2009-MoiseevHS #approach #generative #implementation #ocl: Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MODELS-2009-Chimiak-Opoka #constraints #ocl: OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MODELS-2009-CengarleGR #modelling #variability: Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MODELS-2009-SchwanningerGEL #lifecycle #modelling #product line #variability: Variability Modelling throughout the Product Line Lifecycle (CS, IG, CE, ML), pp. 685–689.
MODELS-2009-MorinPLBVJ #metamodelling #variability #weaving: Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MODELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration: Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MODELS-2009-SunWG #model transformation: Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
MODELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using: Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
MODELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using: Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MODELS-2009-GinerP #agile #development #model transformation #testing: Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.

Andy Schürr, Bran SelicProceedings of the 12th International Conference on Model Driven Engineering Languages and SystemsMoDELS, 2009.

Contents (61 items)

Andy Schürr, Bran Selic
Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2009.