
- RIUMA Principal
- Listar por autor
Listar por autor "Garlan, David"
Mostrando ítems 1-3 de 3
-
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. (Summary).
Cámara-Moreno, Javier; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; Troya-Castilla, Javier
; Vallecillo-Moreno, Antonio Jesús
[et al.] (2023)
Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly ... -
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction.
Cámara-Moreno, Javier; Wohlrab, Rebekka; Garlan, David; Schmerl, Bradley (Elsevier, 2022-12-19)
In software design, guaranteeing the correctness of run-time system behavior while achieving an acceptable balance among multiple quality attributes remains a challenging problem. Moreover, providing guarantees about the ...