• From Theory to Practice: The Challenges of a DevOps Infrastructure as Code Implementation
• A Commit Change-based Weighted Complex Network Approach to Identify Potential Fault Prone Classes
• A Social Multi-agent Cooperation System based on Planning and Distributed Task Allocation: Real Case Study
• Impact of Mutation Operators on Mutant Equivalence
• Analysis of GPGPU Programs for Data-race and Barrier Divergence
• An Automatic Test Data Generation Tool using Machine Learning
• Automated Selection of Software Refactorings that Improve Performance
• A Versatile Tool Environment to Perform Model-based Testing of Web Applications and Multilingual Websites
• Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study
• Extreme Learning Machine based Linear Homogeneous Ensemble for Software Fault Prediction
• Patterns in Textual Requirements Specification
• Developing a Task Management System - A Classroom Software Engineering Experience
• Factors that Complicate the Selection of Software Requirements - Validating Factors from Literature in an Empirical Study
• TCC (Tracer-Carrying Code): A Hash-based Pinpointable Traceability Tool using Copy&Paste
• A Pattern-matching based Approach for Problem Solving in Model Transformations
• Formalizing Agile Software Product Lines with a RE Metamodel
• Supporting the Systematic Goal Refinement in KAOS using the Six-Variable Model
• Orchestrating Functional Change Decisions in Scrum Process using COSMIC FSM Method
• Simple App Review Classification with Only Lexical Features
• Enhancing Software Development Process Quality based on Metrics Correlation and Suggestion
• Towards an Agile Development Model for Certifiable Medical Device Software - Taking Advantage of the Medical Device Regulation
• Finding Regressions in Projects under Version Control Systems
• Towards a Taxonomy of Bad Smells Detection Approaches
• WIoT: Interconnection between Wise Objects and IoT
• iArch-U/MC: An Uncertainty-Aware Model Checker for Embracing Known Unknowns
• A Software Product Line Approach for Feature Modeling and Design of Secure Connectors
• Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices
• Clustering-based Under-sampling for Software Defect Prediction
• A Refinement based Verification Approach of BPMN Models using NuSMV
• Variability Modelling for Elastic Scaling in Cloud Computing
• In Situ Mutation for Active Things in the IoT Context
• Machine Learning for the Internet of Things Security: A Systematic Review
• An Investigation into the Energy Consumption of HTTP POST Request Methods for Android App Development
• End-User Software Engineering in K-12 by Leveraging Existing Curricular Activities
• Analysis of Ensemble Models for Aging Related Bug Prediction in Software Systems
• COnfECt: An Approach to Learn Models of Component-based Systems
• Deriving Integrated Software Design Models from BPMN Business Process Models
• A Multi-source Machine Learning Approach to Predict Defect Prone Components
• Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems
• A Formal Approach for Multi-occurrence Crisis Management
• From a BPMN Model to an Aligned UML Analysis Model
• On the Use of Models for Real-time Reconfigurations of Embedded Systems
• A Refactoring Architecture for Measuring and Identifying Spots of Design Patterns Insertion in Source Code
• Enhancing Problem Clarification Artifacts with Online Deliberation
• Evolving a Model for Software Process Context: An Exploratory Study
• Cloud Adoption Readiness Assessment Framework for Small and Medium Enterprises in Developing Economies - Evidential Reasoning Approach
• Investigating the Effect of Software Metrics Aggregation on Software Fault Prediction
• Cross Project Software Defect Prediction using Extreme Learning Machine: An Ensemble based Study
• Revisiting the Notion of GUI Testing
• A Software Product Line Approach to Designing End User Applications for the Internet of Things
• Lightweight Call-Graph Construction for Multilingual Software Analysis
• The Dynamic Sensor Data Description and Data Format Conversion Language
• A Comprehensive Approach to Compliance Management in Inter-organizational Service Integration Platforms
• Deconstructing the Refactoring Process from a Problem-solving and Decision-making Perspective
• On Graphical User Interface Verification
• Improved Effort Estimation of Heterogeneous Ensembles using Filter Feature Selection
• Issue Tracking Systems: What Developers Want and Use
• Why Do We Need the C language in Programming Courses?
• Adapting a Component-based Model Approach to SOA: A Robotic Experience
• Reference Architecture Design: A Practical Approach
• On Handling Source Code Positions and Local Variables in LTL Software Model Checking
• Everything-as-a-Thing for Abstracting the Internet-of-Things
• Cognitive Computing Meets the Internet of Things
• Developing a Taxonomy for Software Process Context
• Web Service Selection based on Parallel Cluster Partitioning and Representative Skyline
• Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System
• Open Source Data Mining Tools Evaluation using OSSpal Methodology
• Virtualization: Past and Present Challenges
• A Symbolic Model Checker for Database Programs
• System to Predict Diseases in Vineyards and Olive Groves using Data Mining and Geolocation
• Towards a Visualization of Multi-level Metamodeling Techniques
• Towards GUI Functional Verification using Abstract Interpretation
• Grasping Primitive Enthusiasm - Approaching Primitive Obsession in Steps
• JavaScript Guidelines for JavaScript Programmers - A Comprehensive Guide for Performance Critical JS Programs
• The Addition of Geolocation to Sensor Networks
• Benefits, Limitations and Costs of IT Infrastructure Virtualization in the Academic Environment. Case Study using VDI Technology
• On using UML Diagrams to Identify and Assess Software Design Smells
• Digital LOTCA - How to Evaluate Acquired Brain Injury using Technology
• UML and Agile Methods: Looking for an Agreement
• Collaboration Engineering: Supporting the Collaborative Processes Design for the Accessible and Usable Interactive Systems Design
• Analyzing Collaboration in the Gamification Process of Childprogramming
• A Simplified MbUID Process to Generate Web Form-based UIs
• Towards Supporting the Extended DevOps Approach through Multi-cloud Architectural Patterns for Design and Pre-deployment - A Tool Supported Approach
• An Intelligent Cloud Management Approach for the Workflow-cloud Framework WFCF
• Cost Comparison of Lambda Architecture Implementations for Transportation Analytics using Public Cloud Software as a Service
• Non-functional Requirements for Real World Big Data Systems - An Investigation of Big Data Architectures at Facebook, Twitter and Netflix
• Software Engineering Approach to Bug Prediction Models using Machine Learning as a Service (MLaaS)
• Cloud Computing Market Segmentation
• Air Traffic Safety Risk Assessment based on Rough Set and BP Neural Network
• Cloud-RA: A Reference Architecture for Cloud Based Information Systems
• Cloud Software Engineering: Traditional or Innovative – The Choice Is Yours
• An Action Research Study towards the Use of Cloud Computing Scenarios in Undergraduate Computer Science Courses
• Problem-based Elicitation of Security Requirements - The ProCOR Method
• Incremental Bidirectional Transformations: Applying QVT Relations to the Families to Persons Benchmark
• Adopting Collaborative Games into Agile Requirements Engineering
• A Framework to Support Behavioral Design Pattern Detection from Software Execution Data
• Optimized Realization of Software Components with Flexible OpenCL Functionality
• A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems
• Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms
• Refactoring Object-Oriented Applications for a Deployment in the Cloud - Workflow Generation based on Static Analysis of Source Code
• Exploring Crowdsourced Reverse Engineering
• Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia
• Verification of Feature Coordination using the Fluent Calculus
• A MDE Approach for Heterogeneous Models Consistency
• Software Evolution for Digital Transformation
• An Approach to Prioritize Classes in a Multi-objective Software Maintenance Framework
• Tool-assisted Game Scenario Representation Through Flow Charts
• Model-Aware Software Engineering - A Knowledge-based Approach to Model-Driven Software Engineering
• Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
• A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans
• Towards Classification of Lightweight Formal Methods
• K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
• A Practical Extension of Frameworks for Auditing with Process Mining
• Software Architecture Evaluation: A Systematic Mapping Study
• Automated Refactoring of Software using Version History and a Code Element Recentness Measure
• Quality Requirements Analysis with Machine Learning
• Comprehensive View on Architectural Requirements for Maintenance Information Systems
• Design and Implementation of a Geis for the Genomic Diagnosis using the SILE Methodology. Case Study: Congenital Cataract
• FocusST Solution for Analysis of Cryptographic Properties
• Handling Tenant-Specific Non-Functional Requirements through a Generic SLA
• Anomalies Correlation for Risk-Aware Access Control Enhancement
• VarSearch: Annotating Variations using an e-Genomics Framework
• Deep Learning Process Prediction with Discrete and Continuous Data Features
• Function References as First Class Citizens in UML Class Modeling
• Goal-Satisfaction Verification to Combination of Use Case Components
• A Structured Approach to Support Collaborative Design, Specification and Documentation of Communication Protocols
• Toward a Better Understanding of How to Develop Software Under Stress – Drafting the Lines for Future Research
• Towards Model based Testing for Software Defined Networks
• Designing BP-IS Aligned Models: An MDA-based Transformation Methodology
• Using COSMIC FSM Method to Analyze the Impact of Functional Changes in Business Process Models
• A Hybrid Approach To Detect Code Smells using Deep Learning
• Requirements Engineering Tools for Global Software Engineering - A Feature Analysis Study
• Iterative Process for Generating ER Diagram from Unrestricted Requirements
• A Bug Assignment Approach Combining Expertise and Recency of Both Bug Fixing and Source Commits
• Translation of Heterogeneous Requirements Meta-Models Through a Pivot Meta-Model
• Assessing the Impact of Measurement Tools on Software Mantainability Evaluation
• An Approach of Text to Model Transformation of Software Models
• Gamification and Evaluation of the Use the Agile Tests in Software Quality Subjects: The Application of Case Studies
• A Methodology to Teaching Statistical Process Control in Computer Courses
• The Topological Functioning Model as a Reference Model for Software Functional and Non-functional Requirements
• Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application
• Retrieving the Topology from the Knowledge Frame System for Composition of the Topological Functioning Model
• Determination of Natural Language Processing Tasks and Tools for Topological Functioning Modelling
• Verification of Causality in the Frame System based on the Topological Functioning Modelling
• Tool Support to Automate Transformations from SBVR to UML Use Case Diagram
• A Model-Driven Method for Fast Building Consistent Web Services in Practice
• A Model Compilation Approach for Optimized Implementations of Signal-processing Systems
• Generating Multi-Variant Java Source Code Using Generic Aspects
• Predicting the Perceived Modularity of MOF-based Metamodels
• Virtual Extension of Meta-models with Facet Tools
• DoMoRe – A Recommender System for Domain Modeling
• An Integrated Framework to Specify Domain-Specific Modeling Languages
• A Fully Implemented Didactic Tool for the Teaching of Interactive Software Systems
• Reusing Platform-specific Models in Model-Driven Architecture for Software Product Lines
• Towards Interactive Mining of Understandable State Machine Models from Embedded Software
• Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints
• Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence
• Static Analysis of Conformance Preserving Model Transformation Rules
• Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology
• Retrofitting Type-safe Interfaces into Template-based Code Generators
• A Process-oriented Build Tool for Safety-critical Model-based Software Development
• Cost-aware Scheduling of Software Processes Execution in the Cloud
• Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests
• Test Generation for Performance Evaluation of Mobile Multimedia Streaming Applications
• Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators
• Component-based Modeling in Umple
• Fast Simulation Preorder Algorithm
• Evolving Attacker Perspectives for Secure Embedded System Design
• Multi-level Latency Evaluation with an MDE Approach
• Refinements and Structural Decompositions in Generated Code
• Formal, Model- and Scenario-based Requirement Patterns
• Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems
• Challenges and Opportunities of Modularizing Textual Domain-Specific Languages
• An Ontological Context Modeling Framework for Coping with the Dynamic Contexts of Cyber-physical Systems
• Model Driven Architecture based Testing Tool based on Architecture Views
• Clone Detection for Ecore Metamodels using N-grams
• Translating Multi-device Task Models to State Machines
• Can Abstraction Be Taught? Refactoring-based Abstraction Learning
• Information Extraction from High-level Activity Diagrams to Support Development Tasks
• Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository
• A Model-driven Approach for Generating RESTful Web Services in Single-Page Applications
• Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types
• Using Structure of Automata for Faster Synchronizing Heuristics
• Modeling a Tool for Conducting Systematic Reviews Iteratively
• Model-guided Security Analysis of Interconnected Embedded Systems
• Towards an Implementation of Data and Resource Patterns in Constraint-based Process Models
• Qualitative Simulation of Hybrid Systems with an Application to SysML Models
• Managing Variability in Models and Derived Artefacts in Model-driven Software Product Lines
• BXtend - A Framework for (Bidirectional) Incremental Model Transformations
• Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions
• Analysis of the Evolution of the UML Metamodel
• Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services
• Ontology then Agentology: A Finer Grained Framework for Enterprise Modelling
• A C++ Implementation of UML Subsets and Unions for MDE
• Pattern based Web Security Testing
• A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and Code
• Self-describing Operations for Multi-level Meta-modeling
• A Combination of V Development Life Cycle and Model-based Testing to Deal with Software System Evolution Issues
• Concurrent Programming using Umple
• A Meta-model based Automatic Conceptual Model-to-Model Transformation Methodology
• Towards Domain-specific Flow-based Languages
• An Y MDE Approach for Enactable Software Process Models Generation
• Cost-Risk Optimization Applied in the Context of Regulation
• Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models
• Towards Better Document to Model Synchronisation: Experimentations with a Proposed Architecture
• Context-specific Quality Evaluation of Test Cases
• Supporting Simulation Experiments with Megamodeling
• Multi-Concerns Engineering for Safety-Critical Systems
• Modelling a CPS Swarm System: A Simple Case Study
• Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDE
• Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems
• A Daily Dose of DSL - MDE Micro Injections in Practice
• Integration of Hawk for Model Metrics in the MEASURE Platform
• Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines
• Towards Automated Analysis of Model-Driven Artifacts in Industry
• Pain-mitigation Techniques for Model-based Engineering using Domain-specific Languages
• Towards Distributed Model Analytics with Apache Spark
• Formal Description and Verification of a Text-based Model Differencing and Merging Method
• Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
• Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations
• Data Harvesting, Curation and Fusion Model to Support Public Service Recommendations for e-Governments
• Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing Activities
• User Impersonation as a Service in End-to-End Testing