形式化软件设计相关论文
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术.在由范例库、基元库和规则库构成的知识库支持下,......
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下......
