Quantifying the encapsulation of implemented software architectures