• Requirements Prioritization by End-users and Consequences on Design of a Virtual Reality Software - An Exploratory Study
  • Toward an Integrated Framework for Declarative and Interactive Spreadsheet Debugging
  • Architecture Level Prediction of Software Quality Attributes
  • Defect Bash - Literature Review
  • Yet, Another Method for Detecting API Deadlock
  • Transparent Persistence Appears Problematic for Software Maintenance - A Randomized, Controlled Experiment
  • Analyzing UML Activity and Component Diagrams - An Approach based on COSMIC Functional Size Measurement
  • Towards an MDE Methodology to Develop Multi-Agents Systems including Mobile Agents
  • Overview of an Approach Describing Multi-views/ Multi-abstraction Levels Software Architecture
  • Nested Web Application Components Framework - A Comparison to Competing Software Component Models
  • An Application of Software Fault Injection for Assessment of Quality of Test Sets for Business Processes Orchestrating Web-Services
  • Composing Classes - Roles Vs Traits
  • How Do Globally Distributed Agile Teams Self-organise? - Initial Insights from a Case Study
  • A Formal Passive Performance Testing Approach for Distributed Communication Systems
  • Identifying Critical Areas for Improvement in Agile Multi-site Co-development
  • The G.O.A.L. Approach - A Goal-Oriented Algebraic Language
  • Heterogeneous Models Matching for Consistency Management
  • Framework for Enabling Scalable Learning Game AI
  • Involving End-users in Domain-Specific Languages Development - Experiences from a Bioinformatics SME
  • Testware Visualized - Visual Support for Testware Reorganization
  • A Model for Software Contexts
  • QReal DSM platform - An Environment for Creation of Specific Visual IDEs
  • Supporting Service Versioning - MDE to the Rescue
  • Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering
  • Extracting Behavioral Models from Service Implementations
  • Intelligent Agile Method Framework
  • Automatically Generating Tests from Natural Language Descriptions of Software Behavior
  • Integrating Validation Techniques for Process-based Models
  • Requirements Engineering with Agent-Oriented Models
  • Continuous Test-Driven Development - A Novel Agile Software Development Practice and Supporting Tool
  • Topics and Treatments in Global Software Engineering Research
  • A Model-driven Process for Data Transformation of Heterogeneous Data
  • Optimising Model-transformations using Design Patterns
  • A Code Merger to Support Reverse Engineering Towards Model-driven Software Development
  • UML-based Design and Verification Method for Developing Dependable Context-aware Systems
  • Modelling and Enterprises - The Past, the Present and the Future
  • Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework
  • Towards a Meta-model of the Cloud Computing Resource Landscape
  • A Survey of Model Comparison Approaches and Applications
  • Model-driven Development of Interactive Web User Interfaces with HTML5
  • MDE for Enterprise Application Systems
  • Translating Platform-independent Code into Natural Language Texts
  • Application of Model Comparison Techniques to Model Transformation Testing
  • Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking
  • TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation
  • Challenges of Model-driven Modernization - An Agile Perspective
  • Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS
  • Visualizing OCL Constraint Patterns with VOCL
  • A Systematic Comparison of Semantic Integration Data Storage Architectures for Multidisciplinary Systems
  • Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval
  • A General Framework for the Development of MDD Projects
  • Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption
  • UML Class Diagram Simplification - A Survey for Improving Reverse Engineered Class Diagram Comprehension
  • A Meta-model for Tests of Avionics Embedded Systems
  • Consistency of UML Class and Statechart Diagrams with State Invariants
  • Synthesizing Decentralized Components from a Variant of Live Sequence Charts
  • Modular and Distributed Verification of SysML Activity Diagrams
  • Engineering Model Recommender Foundations - From Class Completion to Model Recommendations
  • Making Sense to Modelers - Presenting UML Class Model Differences in Prose
  • Systematic Development of Control Designs via Formal Refinement
  • Higher-order Rewriting of Model-to-Text Templates for Integrating Domain-specific Modeling Languages
  • Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification
  • A MDE Framework for Semi-automatic Development of Web Applications
  • Composition of Domain Specific Modeling Languages - An Exploratory Study
  • Improving Modeling with Layered UML Diagrams
  • Static Analysis and Testing of Executable DSL Specification
  • A PIM-to-Code Requirements Engineering Framework
  • Why Do We Not Learn from Defects? - Towards Defect-Driven Software Process Improvement
  • Model-based System Engineering for Fault Tree Generation and Analysis
  • Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation
  • A Model-based Software Technology Proposal
  • Development of Adaptive Multi-cloud Applications - A Model-Driven Approach
  • Model Driven Engineering of Cross-Layer Monitoring and Adaptation
  • High Level Design of Adaptive Real-time Embedded Systems - A Survey
  • Model-based Adaptation of Cloud Computing Applications
  • Automated Throughput Optimization of Cloud Services via Model-driven Adaptation