软件架构的静态评估| IEEE会议出版物| IEEE Xplore