Characteristics of Higher-level Languages for Software Architecture, abstract , and postscript version , a pretty good analysis of the inadequacies of then (1994) current software architecture design methodologies.

Vitruvius Publications

Research paper list; lots more publications by Mary Shaw and others at CMU on software architecture design theory and practice.

CMU CS Venari Project Home Page

Lots of software engineering and software architecture design wisdom is accessible starting here.