An Improved Approach for Class Test Ordering Optimization using Genetic Algorithms
Using Runtime State Analysis to Decide Applicability of Dynamic Software Updates
Game Bot Detection in Online Role Player Game through Behavioural Features
A Fuzzy Logic-based Approach for Assessing the Quality of Business Process Models
Towards Modeling the User-perceived Quality of Source Code using Static Analysis Metrics
From Document Warehouse to Column-Oriented NoSQL Document Warehouse
A Wise Object Framework for Distributed Intelligent Adaptive Systems
Specification Approach using GR-TNCES: Application to an Automotive Transport System
An Intentional Perspective on Partial Agile Adoption
A New Approach for Traceability between UML Models
Lightweight Multilingual Software Analysis
A Novel Method for Improving Productivity in Software Administration and Maintenance
Investigating Differences and Commonalities of Software Metric Tools
Metamodeling Approach for Hazard Management Systems
Agile Product Line Engineering: The AgiFPL Method
A Selection of Development Processes, Tools, and Methods for Organizations that Share a Software Framework between Internal Projects
KYPO Cyber Range: Design and Use Cases
A Motivating Social Robot to Help Achieve Cognitive Consonance During STEM Learning
Model-based Tool Support for the Development of Visual Editors - A Systematic Mapping Study
REHLib: New Optimal Implementation of Reconfigurable Energy Harvesting Multiprocessor Systems
A Min-Max Tchebycheff Based Local Search Approach for MOMKP
Big Data Analytic Approaches Classification
Towards the Layered Evaluation of Interactive Adaptive Systems using ELECTRE TRI Method
WebRTC Testing: State of the Art
An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems
EcoLogic: IoT Platform for Control of Carbon Emissions
Improving Requirements Engineering through Goal-oriented Models and Tools: Feedback from a Large Industrial Deployment
Inference-based Detection of Architectural Violations in MVC2
Automated Unit Testing in Model-based Embedded Software Development
Employing Linked Data in Building a Trace Links Taxonomy
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection
Estimating the Survival Rate of Mutants
SAND - A Dashboard for Analyzing Employees’ Social Actions over Google Hangouts
What Techniques Can Be Used for GUI Risk-based Testing?
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems
An Evaluation of Cloud-based Platforms for Web-Application Development
Aligning Requirements-driven Software Processes with IT Governance
New Verification Approach for Reconfigurable Distributed Systems
Towards a Mechanism for Controlling Meta-model Extensibility
An End-to-end Formal Verifier for Parallel Programs
Towards a Middleware and Policy-based Approach to Compliance Management for Collaborative Organizations Interactions
Analyzing and Validating Virtual Network Requests
Multi-disciplinary Optimization with Standard Co-simulation Interfaces
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Designing Situation Awareness - Addressing the Needs of Medical Emergency Response
Big Data Analytics: A Preliminary Study of Open Source Platforms
The Ability of Cloud Computing Performance Benchmarks to Measure Dependability
Model for Quality of Life Evaluation of Countries European Union with using Rule-based Systems
Multi-agent Deep Reinforcement Learning for Task Allocation in Dynamic Environment
Analyzing Functional Changes in BPMN Models using COSMIC
Program Understanding Models: An Historical Overview and a Classification
A Statistical Approach to Resolve Conflicting Requirements in Pervasive Computing Systems
Feature Model Composition Assisted by Formal Concept Analysis
An Architecture for Visualization of Industrial Automation Data
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments
Security Support in Continuous Deployment Pipeline
Investigating the Prioritization of Unit Testing Effort using Software Metrics
Knowledge Engineering for Business Process Modeling
GenDomus: Interactive and Collaboration Mechanisms for Diagnosing Genetic Diseases
Automatic Source Code Generation for Web-based Process-oriented Information Systems
New Approach for Selecting Cluster Head based on LEACH Protocol for Wireless Sensor Networks
Biologically Inspired Security as a Service for Service-Oriented Middleware
GenesLove.Me: A Model-based Web-application for Direct-to-consumer Genetic Tests
A Change Impact Analysis Model for Aspect Oriented Programs
Wireless Sensor Network based System for the Prevention of Hospital Acquired Infections
Search based GUI Test Generation in Java - Comparing Code-based and EFG-based Optimization Goals
Entropy-based Framework Dealing with Error in Software Development Effort Estimation
Network Reconfiguration for Wireless Sensor Networks using UML/MARTE Profile
Introducing Context Awareness in Unmodified, Context-unaware Software
Context-awareness Meta-model for Reconfigurable Control Systems
A Tool for Visualizing the Execution of Programs and Stack Traces Especially Suited for Novice Programmers
Web Migration - A Survey Considering the SME Perspective
A Reusable Requirements Catalog for Internationalized and Sustainable Blood Donation Apps
Does the Migration to GitHub Relate to Internal Software Quality?
A Statement Level Bug Localization Technique using Statement Dependency Graph
The GRADE Decision Canvas for Classification and Reflection on Architecture Decisions
A Guidance System for Business Process Flexibility
Agent-based Semantic Negotiation Protocol for Semantic Heterogeneity Solving in Multi-agent System
Enriching Frame-based Structured Representations for Requirements using Case Frames - An Approach Towards Handling Incompleteness in Informal Requirements
From Temporal Models to Property-based Testing
Towards the Integration of Metaprogramming Services into Java
Evaluating the Quality of the Documentation of Open Source Software
Prodeling with the Action Language for Foundational UML
Proactive Trust Assessment of Systems as Services
Software Engineering and Genomics: The Two Sides of the Same Coin?
A Survey on Domain Knowledge Representation with Frames
Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model
Tool Support to Automate Transformations between CIM and PIM Levels
Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis
Patterns System for the Design of Partial Reconfigurable Applications on FPGA
Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model
Maintaining Workspace Consistency in Filtered Editing of Dynamically Evolving Model-driven Software Product Lines
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach
Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities
Towards Sharable Application Ontologies for the Automatic Generation of UIs for Dialog based Linked Data Applications
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution Approaches
An Exploration of the ‘It’ in ‘It Depends’: Generative versus Interpretive Model-Driven Development
Testing Environment Emulation - A Model-based Approach
SMART REIFIER: Model-Driven Development of Service-Oriented SCADA Applications from Models of Sensor and Actuator Networks
CloudTL: A New Transformation Language based on Big Data Tools and the Cloud
Language Architecture: An Architecture Language for Model-Driven Engineering
A Domain-aware Framework for Integrated Model-based System Analysis and Design
The Power of a Model-Driven Approach to Handle Evolving Data Warehouse Requirements
On using Sarkar Metrics to Evaluate the Modularity of Metamodels
Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
Security-aware Modeling and Analysis for HW/SW Partitioning
Creating and Analyzing Source Code Repository Models - A Model-based Approach to Mining Software Repositories
Creating User-specific Business Process Monitoring Dashboards with a Model-driven Approach
A Domain-specific Language for Configurable Traceability Analysis
Model Execution and Debugging - A Process to Leverage Existing Tools
A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
Supporting Software Architecture Evolution by Functional Decomposition
A Model-Driven fUML Execution Engine for C++
The Integration of Agile Development and Model Driven Development - A Systematic Literature Review
Ontology-Driven Conceptual Modeling for Early Warning Systems: Redesigning the Situation Modeling Language
Axioms of Linguistic Architecture
UI-GEAR: User Interface Generation prEview capable to Adapt in Real-time
SEMF – The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering
Prevent Collaboration Conflicts with Fine Grained Pessimistic Locking
Model-to-Model based Approach for Software Component Allocation in Embedded Systems
Automating the Customization of Model-Driven Software Engineering Environments
Integrating Interface Modeling and Analysis in an Industrial Setting
Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications
Architecture Descriptions of Software Systems: Complex Connectors vs Realisability
Model-driven Approach for Privacy Management in Business Ecosystem
An Approach to Pruning Metamodels like UML
Use of Architecture Description to Maintain Consistency in Agile Processes
Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0
On using Colors in UML Models
Consistent Projectional Text Editors
Measuring the Evolution of Meta-models - A Case Study of Modelica and UML Meta-models
Towards Meta-adaptation of Dynamic Adaptive Systems with Models@Runtime
Model-driven Engineering for the Configuration and Deployment of Data Processing Applications
Security Requirements Verification for Existing Systems with Model Checking Technique and UML
Towards Effective SysML Model Reuse
ATL Transformation of Queueing Networks to Queueing Petri Nets
World Wide Modeling Made Easy - A Simple, Lightweight Model Server
Override Traditional Decision Support Systems - How Trajectory ELT Processes Modeling Improves Decision Making?
Distributing Scenario-based Models: A Replicate-and-Project Approach
XIS-Reverse: A Model-driven Reverse Engineering Approach for Legacy Information Systems
Towards Including Layout Properties for Modeling Graphical User Interfaces - Generic Properties for GUI Metamodels
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality
Complete Code Generation from UML State Machine
An MDE Approach to Generate Schemas for Object-document Mappers
Towards User-centric DSLs to Manage IoT Systems
Model Driven Implementation of Security Management Process
Process Development for the Liquid-sensing Enterprise
Combining Techniques to Verify Service-based Components
Concurrent History-based Usage Control Policies
Validating TOSCA Application Topologies
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
Practical Large-scale Model-Driven Development of Business Applications with an Executable UML
A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making
Towards Automated Generation of Regulation Rule Bases using MDA
Objecting to the Revolution: Model-Based Engineering and the Industry - Root Causes Beyond Classical Research Topics
Empowering Testing Activities with Modeling - Achievements and Insights from Nine Years of Collaboration with Cisco
Explicit Control of Dataflow Graphs with MARTE/CCSL