David Garlan

Short Biography

David Garlan is a Professor of Computer Science and Director of Software Engineering Professional Programs in the School of Computer Science at Carnegie Mellon University. He received his Ph.D. from Carnegie Mellon in 1987. His interests include software architecture, self-adaptive systems, formal methods, and cyber-physical systems.
He is considered to be one of the founders of the field of software architecture, and, in particular, formal  representation and analysis of architectural designs. He has published numerous articles and co-authored two books about software architecture. In 2005 he received a Stevens Award Citation for "fundamental contributions to the development and understanding of software architecture as a discipline in software engineering".
Web Site: https://www.cs.cmu.edu/~garlan/

Abstract

Over the past decade and a half there has been increasing understanding about the role that software architecture can and should play in mastering the complexity of software system design, providing a basis for early analysis and prediction, ensuring that systems retain their structural integrity over time, and enabling reuse and dramatic cost reductions. In this talk I outline some of the key insights that drive the field and consider some of the salient features of software architecture as they relate to improving the dependability of software-based systems, focusing on techniques to
(a) express architectural descriptions precisely and unambiguously;
(b) provide soundness criteria and tools to check consistency of architectural designs;
(c) analyse those designs to determine implied system properties;
(d) exploit patterns and styles, and check whether a given architecture conforms to a given pattern;
(e) guarantee that the implementation of a system is consistent with its architectural design; and
(f) support self-healing capabilities.

Horario y lugar

A confirmar.