• Breaking the Boundaries of Meta Models and Preventing Information Loss in Model-Driven Software Product Lines
  • Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View
  • A Methodology for Model-based Development and Safety Analysis of Transport Systems
  • Are Suggestions of Coupled File Changes Interesting?
  • Cloud Computing Adoption, Cost-benefit Relationship and Strategies for Selecting Providers: A Systematic Review
  • RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems
  • Semi-automatic Generation of OrBAC Security Rules for Cooperative Organizations using Model-Driven Engineering
  • Towards Semantical DSMLs for Complex or Cyber-physical Systems
  • Systematic Mapping Study of Ensemble Effort Estimation
  • A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems
  • An Empirical Study of Two Software Product Line Tools
  • Source and Test Code Size Prediction - A Comparison between Use Case Metrics and Objective Class Points
  • Evolution Taxonomy for Software Architecture Evolution
  • Extended Change Identification System
  • Constraints-based URDAD Model Verification
  • Evaluating A Novel Agile Requirements Engineering Method: A Case Study
  • Self-Protection Mechanisms for Web Applications - A Case Study
  • Validation of Loop Parallelization and Loop Vectorization Transformations
  • Zoetic Data and their Generators
  • Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs
  • AWSM - Agile Web Migration for SMEs
  • Multi-variant Model Transformations — A Problem Statement
  • Automatic Refactoring of Component-based Software by Detecting and Eliminating Bad Smells - A Search-based Approach
  • CURA: Complex-system Unified Reference Architecture - Position Paper: A Practitioner View
  • Evaluating the Evaluators - An Analysis of Cognitive Effectiveness Improvement Efforts for Visual Notations
  • An Appropriate Method Ranking Approach for Localizing Bugs using Minimized Search Space
  • A Human-centred Framework for Combinatorial Test Design
  • A Research Agenda on Visualizations in Information Systems Engineering
  • Towards an Engineering Process for Developing Accessible Software in Small Software Enterprises
  • Developing Green and Sustainable Software using Agile Methods in Global Software Development: Risk Factors for Vendors
  • An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences
  • Preventing Hospital Acquired Infections through a Workflow-based Cyber-physical System
  • On Source Code Optimization for Interpreted Languages using State Models
  • Managing Usability and Reliability Aspects in Cloud Computing
  • End to End Specification based Test Generation of Web Applications
  • Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation
  • Teaching of Formal Methods for Software Engineering
  • Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff
  • Collaborative Model-based Development of a Remote Train Monitoring System
  • Let`s Make it Fun: Gamifying and Formalizing Code Review
  • Formal Methods in Collaborative Projects
  • Topological Functioning Model for Software Development within MDA (Survey)
  • The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit
  • Comparison of Topological Functioning Model for Software Engineering with BPMN Approach in the Context of Model Driven Architecture
  • Verification of BPMN Model Functional Completeness by using the Topological Functioning Model
  • MOF-VM: Instantiation Revisited
  • An Empirical Study on the Perception of Metamodel Quality
  • Supporting CRUD Model Operations from EOL to SQL
  • From Model to Rig – An Automotive Case Study
  • Bidirectional Transformations with QVT-R: A Case Study in Round-trip Engineering UML Class Models and Java Source Code
  • Survey on Textual Notations for the Unified Modeling Language
  • Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving
  • Extending Graphical Part of the Interaction Flow Modeling Language to Generate Rich Internet Graphical User Interfaces
  • Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements
  • Generic and Distributed Runtime Environment for Model-driven Game Development
  • Towards Flexibility in Business Processes by Mining Process Patterns and Process Instances
  • Data Integration between Objectiver and DB-Main: A Case Study of a Model-Driven Interoperability Bridge
  • Deriving Software Design Models from a Set of Business Processes
  • Systematic Mapping Study of Model Transformations for Concrete Problems
  • A Controlled Experiment for Evaluating the Comprehensibility of UML Action Languages
  • Modelling Business Process Variants using Graph Transformation Rules
  • SCDML: A Language for Conceptual Data Modeling in Model-based Systems Engineering
  • A Methodology for Deriving Conceptual Data Models from Systems Engineering Artefacts
  • Towards a Common Understanding of Business Process Instance Data
  • Translating Task Models to State Machines
  • Towards Distributed Ecore Models
  • An Empirical Study on the Impact of Scrumban on Geographically Distributed Software Development
  • Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies
  • WebDPF: A Web-based Metamodelling and Model Transformation Environment
  • A MOF-based Social Web Services Description Metamodel
  • Change Rule Execution Scheduling in Incremental Roundtrip Engineering Chain: From Model-to-Code and Back
  • Comparing ConDec to CMMN - Towards a Common Language for Flexible Processes
  • Automating the Construction of Models based on Domain Views
  • Design of a Simulation Framework for Model-based Learning
  • Enabling Data Flows in UML Interactions
  • Formal MOF Metamodeling and Tool Support
  • Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code
  • Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software
  • A New Methodology CIM to PIM Transformation Resulting from an Analytical Survey
  • Exchanging Solutions for Information Systems Development using a Model Pattern Perspective - Diagram Templates in the Context of the Mdarte Collaborative Evolution Process
  • Multi-level Dynamic Instantiation for Resolving Node-edge Dichotomy
  • Virtual Worlds on Demand? Model-Driven Development of JavaScript-based Virtual World UI Components for Mobile Apps
  • A Categorization of GSN-based Safety Cases and Patterns
  • EXE-SPEM: Towards Cloud-based Executable Software Process Models
  • K: A Wide Spectrum Language for Modeling, Programming and Analysis
  • Umple as a Component-based Language for the Development of Real-time and Embedded Applications
  • Automated Quality Analysis of Software Engineering Method Models
  • Abstracting Data and Image Processing Systems using a Component-based Domain Specific Language
  • The EMF Parsley DSL for Developing EMF Applications
  • Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints
  • An EMF-like UML Generator for C++
  • UML Associations - Reducing the Gap in Test Coverage between Model and Code
  • Addressing the Need for Strict Meta-modeling in Practice - A Case Study of AUTOSAR
  • Comparative Analysis of Workbenches to Support DSMLs: Discussion with Non-Trivial Model-Driven Development Needs
  • XIS-CMS: Towards a Model-Driven Approach for Developing Platform-Independent CMS-Specific Modules
  • A Data Extraction Process for Avionics Systems’ Interface Specifications
  • SysML Models and Model Transformation for Security
  • Comparing System- and Test Model with Integrated Software-based Signal Simulation
  • Automating Activities in MDE Tools
  • Evaluating the Cloud Architecture of AToMPM
  • World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets
  • Model-Driven Product Line Engineering for Mapping Parallel Algorithms to Parallel Computing Platforms
  • Towards a Model Transformation Tool on the Top of the OpenCL Framework
  • Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models
  • Towards Statistical Comparison and Analysis of Models
  • Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
  • Modelling CAD Models - Method for the Model Driven Design of CAD Models for Deep Drawing Tools
  • ReIOS: Reflective Architecting in the Internet of Objects
  • Model-driven Engineering Tool Comparison for Architectures within Heterogenic Systems for Electric Vehicle
  • ImocaGen: A Model-based Code Generator for Embedded Systems Tuning
  • A Demonstration of Compilability for UML Template Instances
  • Towards Executable UML Interactions based on fUML
  • An Initial Wise Development Environment for Behavioral Models
  • Towards Hybrid Semantics of Enterprise Modeling Languages
  • Modelling of Systems for Real
  • What is Software Architecture to Practitioners: A Survey
  • An Approach to Class Diagrams Verification According to SOLID Design Principles
  • Flexible Component Composition through Communication Abstraction
  • An Ontology-based Security Framework for Decision-making in Industrial Systems
  • Model-driven Approach for the Interoperability of Enterprises’ Services Information Exchange
  • Performance Monitoring Framework for Service Oriented System Lifecycle
  • Process Oriented Learning and Training - A Model-based Approach in Learn PAd
  • Culture Contextualization in Open e-Learning Systems - Improving the Re-use of Open Knowledge Resources by Adaptive Contextualization Processes
  • Workplace Learning - Providing Recommendations of Experts and Learning Resources in a Context-sensitive and Personalized Manner - An Approach for Ontology Supported Workplace Learning
  • A Learning Architecture for Complex Organization
  • Model-based Learning Assessment Management
  • Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System
  • Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends
  • Model-Driven Development Challenges and Solutions - Experiences with Domain-Specific Modelling in Industry