程序推导相关硕士博士期刊学术论文 - 搜论网

程序推导相关论文

程序推导的表示

<正> 软件自动化是提高软件生产率的关键途径之一,而类比程序设计是软件自动化的一条重要途径,它的主要思想是系统地将求解一个问......

期刊

程序推导软件自动化类比程序设计

少年棋手与机器人[连载]

五、女博士当一回"黑客"丽丽和两个伙伴来到妈妈的住处,她向妈妈叙述了事件的整个过程。李欣博士难过地说:"我们立即去你爸爸的机......

期刊

机器人棋手情感警察部队程序推导女博士研究所光电输入警察局总监

基于Pro图的程序形式推导技术

介绍一种形式化程序推导方法，该法使用Ｈｏａｒｅ公式（Ｐ／Ｐ／Ｑ），通过Ｐｒｏ图图解前谓词Ｐ和后谓词Ｑ，并按Ｐｒｏ图激活过程逐步写出过程式语言的源程序。......

期刊

谓语逻辑程序推导程序设计 Pro图源程序

看过本文同时还关注