期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
An Incremental Approach to Automatic Algorithm Design
1
作者 栾尚敏 李未 《Journal of Computer Science & Technology》 SCIE EI CSCD 1999年第4期314-319,共6页
This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator wh... This paper presents an incremental approach to automatic algorithm design, which can be described by algebraic specifications precisely and conveniently. The definitions of selection operator and extension operator which can bedefined by strategy relations and transformations are given in order to model theprocess of finding the solution of a problem. Also discussed is its object-orientedimplementation. The functional specification and the design specification for an algorithm are given in one framework so that the correctness of the algorithm can beeasily proved. 展开更多
关键词 automatic algorithm design algebraic specification object-orientedmethodology
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部