形式化方法是构建可信软件的重要途径。
Formal method is an important approach for construction of the trustworthy software.
进一步的工作无疑需要形式化soad方法。
Future work is certainly required to formalize the SOAD approach.
目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。
Now the main methods of software architecture description are formal description and visual description.
类划分是一个更加形式化的设计测试用例的方法。
Equivalence partitioning is a much more formalized method of test case design.
类划分是一个更加形式化的设计测试用例的方法。
Equivalence partitioning is a much more formalized method of test case design.
应用推荐