Machine-aid 相关硕士博士期刊学术论文 - 信丰网

Machine-aid相关论文

机器辅助下的形式化规格说明求精技术

<正>形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发......

期刊

形式化规格说明机器辅助求精技术形式语言 Formal specification COOZ C + + Refinement Machine-aid

看过本文同时还关注