( en | de | ru )

 

Disambiguierung von "Garlan, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing architectural styles with alloy.

, und . ROSATEA, Seite 70-80. ACM, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wahyudi David

Florian Bodo David

Joachim David

Jens-Ulrich Davids

Heinz David

 

Weitere Publikationen von Autoren mit dem selben Namen

An Automated Approach to Management of a Collection of Autonomic Systems., und . FAS*W@SASO/ICAC, Seite 110-115. IEEE, (2019)Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts., , und . ICSE, Seite 179-185. ACM, (1995)Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations., , , und . ACM Trans. Auton. Adapt. Syst., 10 (4): 23:1-23:28 (2016)MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs., , , und . Autom. Softw. Eng., 25 (3): 595-626 (2018)Documenting Software Architectures: Views and Beyond, , , , , , , , und . SEI Series in Software Engineering Addison-Wesley, Upper Saddle River, NJ, (2010)Architecture-based self-adaptation in the presence of multiple objectives., , und . SEAMS@ICSE, Seite 2-8. ACM, (2006)Software architecture: a travelogue.. FOSE, Seite 29-39. ACM, (2014)Building Long-Lived Adaptive Systems., , und . IEEE Software, 36 (2): 70-72 (2019)Formalizing Design Spaces: Implicit Invocation Mechanisms., und . VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 31-44. Springer, (1991)Explanations for human-on-the-loop: a probabilistic model checking approach., , , und . SEAMS@ICSE, Seite 181-187. ACM, (2020)