D
David Garlan
Researcher at Carnegie Mellon University
Publications - 393
Citations - 27897
David Garlan is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Software architecture & Software system. The author has an hindex of 68, co-authored 378 publications receiving 26980 citations. Previous affiliations of David Garlan include Tektronix & Software Engineering Institute.
Papers
More filters
Proceedings ArticleDOI
Software Architecture Evaluation and Analysis Session Report
TL;DR: The broad vision for analysis and evaluation of architectures is considered: to provide an engineering discipline that allows architects to make principled architectural decisions, evaluate the impact of those decisions, determine the conformance between architectures and other artifacts, and extract architectural representations from implementations.
F ormal m odeling of the e nterprise j avab eans tm c omponent i ntegra t ion f ramework
João Pedro Sousa,David Garlan +1 more
TL;DR: It is shown how a formal architectural description language can be used to describe and provide insight into component integration frameworks, such as Sun Microsystems’ EJB framework.
Modeling Uncertainty of Predictive Inputs in Anticipatory Dynamic Configuration
TL;DR: This paper describes the proposed approach to represent multiple sources of uncertainty and outline algorithms for solving the anticipatory configuration problem with predictive inputs and proposes an anticipatory adaptation strategy that helps improve the global behavior of the system in many situations.
Proceedings ArticleDOI
Using Medical Devices to Teach Formal Modeling
Orieta Celiku,David Garlan +1 more
TL;DR: The development of educational materials designed to give students the necessary experience to infuse formal modeling into practice are reported on.
Proceedings ArticleDOI
The Unknown Unknowns Are Not Totally Unknown
TL;DR: In this paper, the authors argue that for most systems there are changes that are not directly handled by first-order adaptation, but can, with appropriate engineering, be addressed naturally through secondorder adaptation.