Discovery and Maintainability Verification of Software Systems Architecture