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

Jon Whittle, Tony Clark, Thomas Kühne
Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2011.

MDE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{MoDELS-2011,
	address       = "Wellington, New Zealand",
	doi           = "10.1007/978-3-642-24485-8",
	editor        = "Jon Whittle and Tony Clark and Thomas Kühne",
	isbn          = "978-3-642-24484-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 6981,
	year          = 2011,
}

Committee

  • Doctoral Symposium Chairs: Joerg Evermann, Ivan Porres
  • General Chair: Thomas Kühne
  • Local Chairs: Stuart Marshall, Hui Ma
  • Panel Chair: Colin Atkinson
  • Practical Track Chair: Tony Clark
  • Practical Track Program Committee: Patrick Albert, Robert Baillargeon, Edward J. Barkmeyer, Balbir Barn, Mariano Belaunde, Jorn Bettin, Rao Bhaskar, Behzad Bordbar, William R. Cook, Diarmuid Corcoran, Huáscar Espinoza, Geri Georg, Jack Greenfield, Pavel Hruby, Narendra Jussien, Vinay Kulkarni, Stephen J. Mellor, Dragan Milicev, Hiroshi Miyazaki, Juan Carlos Molina Udaeta, Syed Salman Qadri, Ina Schieferdecker, Bran Selic, Richard Soley, Ingo Stürmer, Jun Sun, François Terrier, Laurence Tratt, Michael von der Beeck, Thomas Weigert, Frank Weil, Edward D. Willink
  • Program Chair: Jon Whittle
  • Program Committee: Daniel Amyot, Colin Atkinson, Joanne M. Atlee, Don S. Batory, Benoit Baudry, Paulo Borba, Ruth Breu, Lionel C. Briand, Jean-Michel Bruel, Jordi Cabot, Michel R. V. Chaudron, Marsha Chechik, Jane Cleland-Huang, Krzysztof Czarnecki, Jürgen Dingel, Alexander Egyed, Gregor Engels, Rik Eshuis, Robert B. France, Sébastien Gérard, Holger Giese, Martin Glinz, Martin Gogolla, Aniruddha S. Gokhale, Jeff Gray, John Grundy, Mark Harman, Øystein Haugen, Mats Per Erik Heimdahl, Patrick Heymans, John Howse, Zhenjiang Hu, Heinrich Hußmann, Paola Inverardi, Jan Jürjens, Shmuel Katz, Gerti Kappel, Gabor Karsai, Jörg Kienzle, Ingolf Krüger, Thomas Kühne, Jochen M. Kuester, Michael Lawley, Timothy C. Lethbridge, Hong Mei, Tom Mens, Ana M. D. Moreira, Pierre-Alain Muller, Richard F. Paige, Mauro Pezzè, Dorina C. Petriu, Alfonso Pierantonio, Ivan Porres, Nicolas Rouquette, Bernhard Rumpe, Andy Schürr, Bran Selic, Miroslaw Staron, Perdita Stevens, Paul A. Strooper, Kevin J. Sullivan, Dániel Varró, Eelco Visser, Liming Zhu, Steffen Zschaler
  • Publicity Chair: Werner Heijstek
  • Satellite Events Chair: Jörg Kienzle
  • Tutorials Chair: Vasco Amaral
  • Contents (52 items)

    MODELS-2011-Petre #modelling
    The Value in Muddling Around Modelling (MP), p. 1.
    MODELS-2011-DragoGM #model transformation #quality #towards
    Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
    MODELS-2011-KainzBK #automation #concept #metamodelling #model transformation
    Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
    MODELS-2011-TisiPJC #execution #lazy evaluation #model transformation
    Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
    MODELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using
    Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.
    MODELS-2011-BlouinCBB #modelling
    Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.
    MODELS-2011-Espinazo-PaganCM #approach #modelling #named #scalability
    Morsa: A Scalable Approach for Persisting and Accessing Large Models (JEP, JSC, JGM), pp. 77–92.
    MODELS-2011-FabryZG #case study #design #experience #interactive
    Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
    MODELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
    An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
    MODELS-2011-AbedK #aspect-oriented #distributed #modelling
    Aspect-Oriented Modelling for Distributed Systems (WAA, JK), pp. 123–137.
    MODELS-2011-ReggioRSCD #modelling #precise #process
    A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
    MODELS-2011-MaozRR #analysis #configuration management #consistency #diagrams #semantics
    Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.
    MODELS-2011-BavotaGOLTGC #comprehension #diagrams #identification #uml
    Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.
    MODELS-2011-Kraemer #android #process #uml
    Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.
    MODELS-2011-SteelD #model transformation
    Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
    MODELS-2011-PalyartLOB #framework #maintenance #scalability
    Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.
    MODELS-2011-LettnerTM #embedded #identification #migration #overview #problem
    A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.
    MODELS-2011-KoudriCGT #component #design #evaluation #standard
    Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AK, AC, SG, FT), pp. 243–257.
    MODELS-2011-Al-BatranSH #clone detection #detection #development #embedded #modelling #semantics
    Semantic Clone Detection for Model-Based Development of Embedded Systems (BAB, BS, BH), pp. 258–272.
    MODELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime
    Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
    MODELS-2011-ClavreulMBF #architecture #behaviour #modelling
    Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
    MODELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
    From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
    MODELS-2011-HamidGJD #design #formal method #modelling
    Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (BH, SG, CJ, ND), pp. 319–333.
    MODELS-2011-LindH #approach #automation #component #embedded #estimation #modelling
    A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (KL, RH), pp. 334–348.
    MODELS-2011-FleureyMSB
    MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
    MODELS-2011-ElaasarL #case study #diagrams #uml
    Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.
    MODELS-2011-FeinererSS #diagrams #multi
    Reducing Multiplicities in Class Diagrams (IF, GS, TS), pp. 379–393.
    MODELS-2011-Sagar #modelling #simulation
    Creating Models for Simulating the Face (MS), p. 394.
    MODELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing
    EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.
    MODELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification
    Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.
    MODELS-2011-CichosOLS #generative #modelling #product line #testing
    Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
    MODELS-2011-Steimann #constraints #refactoring
    Constraint-Based Model Refactoring (FS), pp. 440–454.
    MODELS-2011-AkiyamaHKS #design #refactoring
    Supporting Design Model Refactoring for Improving Class Responsibility Assignment (MA, SH, TK, MS), pp. 455–469.
    MODELS-2011-ZaparanuksH #modelling
    Vision Paper: The Essence of Structural Models (DZ, MH), pp. 470–479.
    MODELS-2011-WilkeGRA #energy #modelling #testing #towards
    Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.
    MODELS-2011-FahrenbergLW #difference #exclamation #semantics
    Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.
    MODELS-2011-RamirezC #automation #monitoring #requirements
    Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
    MODELS-2011-BalabanK #development
    Logic-Based Model-Level Software Development with F-OML (MB, MK), pp. 517–532.
    MODELS-2011-StenzelMR #code generation #qvt #verification
    Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
    MODELS-2011-Iraqi-HoussainiKR #design #modelling
    Model-Based (Mechanical) Product Design (MIH, MK, LR), pp. 548–562.
    MODELS-2011-IzukuraYOSKX #approach #development #modelling #using
    Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.
    MODELS-2011-KulkarniBR #agile #approach #experience #modelling
    Early Experience with Agile Methodology in a Model-Driven Approach (VK, SB, UR), pp. 578–590.
    MODELS-2011-SchulteJ #development #modelling
    Finding Models in Model-Based Development — (WS, EKJ), p. 591.
    MODELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using
    CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
    MODELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question
    Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.
    MODELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards
    Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
    MODELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing
    Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.
    MODELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
    Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
    MODELS-2011-HermannEOCDX #correctness #graph grammar
    Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
    MODELS-2011-JensenCGN #behaviour #detection
    A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
    MODELS-2011-CuccuruGT
    Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
    MODELS-2011-ZhangK #architecture #collaboration #industrial #modelling #using
    Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models (RZ, AK), pp. 714–728.

    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.