Nesting in Ada programs is for the birds
Foundations for the study of software architecture
Uncovering architectural mismatch in component behavior
Static checking of system behaviors using derived component assumptions
ACM SIGSOFT Software Engineering Notes
ACM SIGPLAN Notices
ACM Transactions on Software Engineering and Methodology
Science of Computer Programming
Paola Inverardi
Daniel Yankelevich
Dewayne E. Perry
Jack C. Wileden
Daniele Compare
Lori A. Clarke
An efficient separate compilation strategy for very large programs
A notation for problematic architecture interactions
Test and analysis of software architectures