SC Harvester Papers Database Interface

Mälardalen University School of Innovation Design and Engineering Vä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

Systematic Evaluation of Model Comparison Algorithms using Model Generation

Lorenzo Addazi, A. Cicchetti. 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 diﬀerent 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...

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, M. H. Moghadam. In: . 2020

Automated Reuse Recommendation of Product Line Assets Based on Natural Language Requirements

Muhammad Abbas, Mehrdad Saadatmand, Eduard Paul Enoiu, Daniel Sundmark, Claes Lindskog. 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

Exploring Blockchain Municipal Use Cases

Livia Norström, Juho Lindman. In: . 2020

The uncertain promise of blockchain for government

Juho Lindman, J. Berryhill, B. Welby, M. Barbieri. In: . 2020

Abstract: Blockchain remains a hot topic for digital transformation and innovation. In the private sector, blockchain has demonstrated disruptive potential through proven use cases. However, despite strong interest and greater awareness, blockchain has had minimal impact on the public sector, where few projects have moved beyond small pilots. At the same time, there is a growing scepticism and cynicism abou...

Intelligent Load Testing: Self-adaptive Reinforcement Learning-driven Load Runner

M. H. Moghadam, Mehrdad Saadatmand, Markus Borg, Golrokh Hamidi, M. Bohlin et al. In: . 2020

Estimating the Complexity of Architectural Design Decision Networks

C. Sanchez, Rafael Capilla, M. Staron. In: IEEE Access. 2020

Abstract: The stability and longevity of software systems rely on the quality of design decisions over time. In modern software-intensive systems the number of design decisions taken, the dependencies between those decisions, and the number of design alternatives considered, complicate software maintenance and jeopardize the system’s longevity. Despite the existence of complexity metrics applied to code, th...