计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
11期
232-238
,共7页
石海鹤%石海鹏%郑宇军%薛锦云
石海鶴%石海鵬%鄭宇軍%薛錦雲
석해학%석해붕%정우군%설금운
算法程序变换%自动化%形式化方法%算法设计
算法程序變換%自動化%形式化方法%算法設計
산법정서변환%자동화%형식화방법%산법설계
开发算法程序是计算机科学领域中最具挑战性的问题之一.为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化.算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展.本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向.
開髮算法程序是計算機科學領域中最具挑戰性的問題之一.為瞭提高算法程序的可靠性和生產效率,人們正在追求其開髮的自動化.算法程序變換是實現算法程序開髮自動化的重要途徑,已成為程序設計方法學和軟件自動化領域中的重要課題,目前已取得很大進展.本文介紹瞭算法程序變換的相關概唸,給齣瞭算法程序變換的分類,併從方法學、語言、算法設計能力、支撐工具及其適用領域等方麵分析和比較瞭幾箇有代錶性的算法程序變換研究項目,討論瞭噹前研究的不足以及今後的研究方嚮.
개발산법정서시계산궤과학영역중최구도전성적문제지일.위료제고산법정서적가고성화생산효솔,인문정재추구기개발적자동화.산법정서변환시실현산법정서개발자동화적중요도경,이성위정서설계방법학화연건자동화영역중적중요과제,목전이취득흔대진전.본문개소료산법정서변환적상관개념,급출료산법정서변환적분류,병종방법학、어언、산법설계능력、지탱공구급기괄용영역등방면분석화비교료궤개유대표성적산법정서변환연구항목,토론료당전연구적불족이급금후적연구방향.
