Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling
J Cámara - Software and Systems Modeling, 2024 - Springer
In software-intensive systems, navigating the complexities that emerge from the interaction
of design variability and stochastic operational uncertainties presents a daunting challenge …
of design variability and stochastic operational uncertainties presents a daunting challenge …
Leveraging Machine Learning for Optimal Object-Relational Database Map** in Software Systems
Modern software systems, developed using object-oriented programming languages
(OOPL), often rely on relational databases (RDB) for persistent storage, leading to the object …
(OOPL), often rely on relational databases (RDB) for persistent storage, leading to the object …
Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function
The use of formal methods in software engineering imparts a high degree of rigor and
precision on the software development process. While formal methods are crucial for …
precision on the software development process. While formal methods are crucial for …
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling
J Cámara-Moreno - 2024 - riuma.uma.es
In software-intensive systems, navigating the complexities that emerge from the interaction
of design variability and stochastic operational uncertainties presents a daunting challenge …
of design variability and stochastic operational uncertainties presents a daunting challenge …
Improving Scalability for Formal Analysis through Automated Tightening of Analysis Bounds
C Stevens - 2023 - search.proquest.com
Formal analysis is an invaluable tool for software engineers, yet state-of-the-art formal
analysis techniques suffer from well-known limitations in terms of scalability. Modern, real …
analysis techniques suffer from well-known limitations in terms of scalability. Modern, real …