formal specification paradigms
...算机系统研究方法，该知识体系中有6个主要领域，分别为: ① 基础(Foundations); ② 形式化规格(Formal specification paradigms); ③ 正确性验证及演算(Correctness, verification and calculation); ④ 形式化语义(Formal semantics); ⑤ 可执行规范支持(Sup...
基于8个网页-相关网页
formal specification paradigms
形式化规范范例
以上为机器翻译结果，长、整句建议使用 人工翻译 。