设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义。
The research on formal specification for design patterns acts an important role in reuse of design patterns.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
此项活动以用例和补充规约的形式，完成了系统的详细需求。
This activity completes detailing the requirements of the system in terms of use cases and Supplementary Specifications.
应用推荐