[HTML][HTML] Una propuesta de algoritmo spin/promela para el análisis y diagnóstico de errores en diagramas de secuencia UML

CL Vidal-Silva, RH Villarroel, XA López-Cortés… - Información …, 2019 - SciELO Chile
Este trabajo describe las principales características de diagramas de secuencia UML, la
noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones …

An architectural pattern to realize multi software product lines in Java

MRA Setyautami, R Hähnle - Proceedings of the 15th International …, 2021 - dl.acm.org
We present a realization of multi software product lines in the Java programming language
that permits full interoperability and hierarchical dependencies among multiple product …

Variability management: Re-engineering microservices with delta-oriented software product lines

MRA Setyautami, HS Fadhlillah, D Adianto… - Proceedings of the 24th …, 2020 - dl.acm.org
Combining microservices and software product line engineering (SPLE) is a challenge in
variability management. This paper proposes a solution to that challenge by re-engineering …

Model-driven engineering for delta-oriented software product lines

MRA Setyautami, RR Rubiantoro… - 2019 26th Asia-Pacific …, 2019 - ieeexplore.ieee.org
Software product line engineering (SPLE) is an approach in software development that
produces various products based on commonality and variability. SPLE maintains the …

Modeling multi software product lines using UML

MRA Setyautami, D Adianto, A Azurat - Proceedings of the 22nd …, 2018 - dl.acm.org
We choose Unified Modeling Language (UML) as the foundation to model the proposed
solution of the Multi Software Product Lines (MPL) interoperability challenge. The proposed …

[PDF][PDF] UML Transformation to Java-based Software Product Lines

FP Waluyo, MRA Setyautami, A Azurat - Jurnal Ilmu Komputer dan …, 2022 - core.ac.uk
Software product line engineering (SPLE) is an emerging approach that enables variability
management in software development. SPLE offers tremendous benefits, but lack of tool …

Towards incremental validation of railway systems

R Hähnle, R Muschevici - … on Leveraging Applications of Formal Methods, 2016 - Springer
We propose to formally model requirements and interoperability constraints among
components of a railway system to enable automated, incremental analysis and validation …

Re-Engineering Microservice Applications into Delta-Oriented Software Product Lines

MRA Setyautami, HS Fadhlillah, D Adianto… - Handbook of Re …, 2022 - Springer
Software with microservice architecture consists of a collection of small and independent
services. Those services can be combined and modified to serve various purposes, which …

Integration of location-based information into mobile learning management system to verify scientific formulas in informal learning environment

R Aouf, AA Alawneh, HA Abboud… - International Journal of …, 2017 - inderscienceonline.com
Scientific formulas govern our life while moving from one location to another. Hence, this
study investigates into the development of an adaptive mobile learning model that extends …

Automatic model translation to UML from software product lines model using UML profile

R Muhammad, MRA Setyautami - … International Conference on …, 2016 - ieeexplore.ieee.org
Software Product Lines (SPL) enable a software to have various products in single
development. The products possess commonality and variability that should be defined in …