计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2008年
3期
721-725,728
,共6页
形式化方法Designware%规约精化%算法设计%高可信
形式化方法Designware%規約精化%算法設計%高可信
형식화방법Designware%규약정화%산법설계%고가신
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.
介紹瞭一種新的支持算法設計自動化的形式化方法Designware,詳細分析瞭其理論基礎及規約精化機理,闡述瞭其半自動算法設計支撐繫統,併結閤一箇開髮實例展示瞭Designware的具體使用,給齣瞭Designware的兩箇實際應用項目,最後對Designware進行瞭評述.
개소료일충신적지지산법설계자동화적형식화방법Designware,상세분석료기이론기출급규약정화궤리,천술료기반자동산법설계지탱계통,병결합일개개발실례전시료Designware적구체사용,급출료Designware적량개실제응용항목,최후대Designware진행료평술.
