对动态软件体系结构的形式化描述通常可以采用的方法?()
A:图形化方法
B:代数进程方法
C:逻辑方法
D:以上皆是
出自:计算机科学