Date and time: 11.30am - 12.30pm, Friday 3rd April, 2009
Venue: 10.08.04 (Building 10, Level 8, Room 4)
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) (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.
About the speaker:
David Garlan
is a Professor of Computer Science and directs the Institute for Software
Research (ISR) International and various Professional Software Engineering
Programs in the
For further information about this talk, please contact Professor Heinz Schmidt: Heinz.Schmidt@rmit.edu.au.
Seminar Organisation
Seminars are free and open to the general public. No booking is necessary. If you are interested in giving a presentation in this seminar series, or to make suggestions for speakers, please contact Xiaodong Li, the seminar co-ordinator.