process algebra; systems analysis; software reusability; logic programming; object-oriented programming; formal verification; component-based design; process calculus; design pattern; model checking; logic programming; formal system modeling; formal fram;
机译:使用正式RDF技术验证系统设计框架-CCC设计框架
机译:基于组件的框架开发方法中组件的形式规范
机译:SlockChain智能合同安全问题的正式验证框架
机译:设计成分合同的正式框架
机译:正式设计分析框架:面向方面的架构框架。
机译:基于组件的神经元离子通道动力学仿真的FPGA设计框架
机译:设计组件合同的正式框架