通过求解语言方程进行基于组件的设计| IEEE期刊和杂志| IEEE Xplore