Model-Driven Engineering Languages and Systems

16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

ISBN: 978-3-642-41532-6 (Print) 978-3-642-41533-3 (Online)

Table of contents (47 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Tool Support 1

    1. No Access

      Book Chapter

      Pages 1-17

      Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?

    2. No Access

      Book Chapter

      Pages 18-34

      Generic Model Assist

    3. No Access

      Book Chapter

      Pages 35-51

      Adding Spreadsheets to the MDE Toolkit

  3. Dependability

    1. No Access

      Book Chapter

      Pages 52-68

      Model-Driven Extraction and Analysis of Network Security Policies

    2. No Access

      Book Chapter

      Pages 69-86

      SafetyMet: A Metamodel for Safety Standards

    3. No Access

      Book Chapter

      Pages 87-103

      A Generic Fault Model for Quality Assurance

  4. Comprehensibility

    1. No Access

      Book Chapter

      Pages 104-120

      Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages

    2. No Access

      Book Chapter

      Pages 121-137

      Teaching Model Driven Engineering from a Relational Database Perspective

    3. No Access

      Book Chapter

      Pages 138-153

      Big Metamodels Are Evil

  5. Tool Support 2

    1. No Access

      Book Chapter

      Pages 154-169

      Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study

    2. No Access

      Book Chapter

      Pages 170-186

      Recommending Auto-completions for Software Modeling Activities

    3. No Access

      Book Chapter

      Pages 187-202

      Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples

  6. Testing

    1. No Access

      Book Chapter

      Pages 203-219

      Testing M2T/T2M Transformations

    2. No Access

      Book Chapter

      Pages 220-236

      An Approach to Testing Java Implementation against Its UML Class Model

    3. No Access

      Book Chapter

      Pages 237-253

      Automated Test Case Selection Using Feature Model: An Industrial Case Study

  7. Semantics Evolution 1

    1. No Access

      Book Chapter

      Pages 254-270

      Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes

    2. No Access

      Book Chapter

      Pages 271-286

      Fine-Grained Software Evolution Using UML Activity and Class Models

    3. No Access

      Book Chapter

      Pages 287-303

      Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management

  8. Verification

    1. No Access

      Book Chapter

      Pages 304-319

      Model Checking of UML-RT Models Using Lazy Composition

    2. No Access

      Book Chapter

      Pages 320-335

      Behavioural Verification in Embedded Software, from Model to Source Code

previous Page of 3