SC Harvester Papers Database Interface

Understanding and Supporting Quality Requirements Engineering in Software-intensive Product Development

Thomas Olsson. 2020

Challenges and directions for a community infrastructure for Big Data-driven research in software architecture

Truong Ho-Quang, M. Chaudron, R. Hebig, G. Robles. In: . 2020

Abstract: Abstract Research into software architecture and design has become more and more prominent since the 1990s. Since then, companies have reported how software architecting helped them to tackle various challenges in system design, especially related to system-level quality properties such as scalability and maintainability. Academic research in software architecture has focused on several areas, inc...

The Effect of Class Noise on Continuous Test Case Selection: A Controlled Experiment on Industrial Data

K. Al-Sabbagh, R. Hebig, M. Staron. In: . 2020

An Evaluation of Machine Learning Methods for Predicting Flaky Tests

Azeem Ahmad, O. Leifler, K. Sandahl. In: . 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems

Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Čaušević, M. Sirjani et al. In: . 2020

Towards Consistency Checking Between a System Model and Its Implementation

R. Jongeling, J. Fredriksson, Federico Ciccozzi, A. Cicchetti, J. Carlson. In: . 2020

Systematic Evaluation of Model Comparison Algorithms using Model Generation

Lorenzo Addazi, A. Cicchetti, Martin Gogolla. In: J. Object Technol.. 2020

Abstract: Model-Driven Engineering promotes the migration from code-centric to model-based software development. Systems consist of model collections integrating different concerns and perspectives, while semi-automated model transformations analyse quality attributes and generate executable code combining the information from these. Raising the abstraction level to models requires appropriate management tec...

Mälardalen University School of Innovation Design and Engineering Väster̊as, Sweden Thesis for the Degree of Master of Science (60 credits) in Computer Science with Specialization in Software Engineering TOOL ORCHESTRATION FOR MODELING, VERIFICATION AND ANALYSIS OF COLLABORATING AUTONOMOUS MACHINE

Pavle Mrvaljevic, A. Cicchetti, M. Sirjani, A. Fattouh, Stephan Baumgart. 2020

Simple and Efficient Computation of Minimal Weak Control Closure

A. Masud. In: . 2020

Architecting AI Deployment: A Systematic Review of State-of-the-Art and State-of-Practice Literature

Meenu Mary John, H. Olsson, J. Bosch. In: . 2020

Engineering Federated Learning Systems: A Literature Review

Hongyi Zhang, J. Bosch, H. Olsson. In: . 2020

Data Pipeline Management in Practice: Challenges and Opportunities

A. Munappy, J. Bosch, H. H. Olsson. In: . 2020

Towards a Verification-Driven Iterative Development of Cyber-Physical System

M. Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, M. H. Moghadam, Mehrdad Saadatmand. 2020

Abstract: Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. Cyber-physical systems are now in every corner of our lives, and we need robust methods for handling the ever-increasing complexity of their software systems. Model-Driven Development is a promising approach to tackle the complexity of systems through the concept of abs...

From Requirements to Verifiable Executable Models Using Rebeca

M. Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam. In: . 2020

Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents

Rong Gu, Eduard Paul Enoiu, C. Seceleanu, K. Lundqvist. In: . 2020