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