图回路算法的演绎综合
Deductive Synthesis of Graphic Circuit Algorithms作者机构：江西师范大学计算机科学系南昌330027 安阳市邮电局安阳455000
出 版 物：《计算机科学》 (Computer Science)
年 卷 期：1999年第26卷第11期
页 面：66-69页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：1.引言演绎综合是形式化开发算法(程序)的重要方法之一,用这种方法开发算法或程序不仅使人信服所得的算法(程序)确实能够完成给定的任务,而且通过揭示导致最后算法(程序)的设计决策来清楚表达算法(程序)怎样完成给定任务。改变开发过程中的设计决策和适当控制约束条件和决策的时机,我们能得到求解同类问题的一个算法族。
维普期刊数据库
同方期刊数据库