单项选择题
对动态软件体系结构的形式化描述通常可以采用的方法?()
A.图形化方法B.代数进程方法C.逻辑方法D.以上皆是
单项选择题 下列选项中关于ADL与其他语言的比较说法中错误的是()。
单项选择题 Unicon提供了一组预先定义的构件和连接件类型,体系结构的开发者可以从中选择合适的构件或连接件,这是为了达到()。
单项选择题 Rapide是一种可执行ADL,其目的在于通过定义并模拟基于事件的行为对分布式并发系统建模。Rapide是由5种子语言构成。以下选项中的语言均为Rapide语言的是()