例句與造句

1. developing correct and efficient algorithmic programs has become a key topic in the computer science community
   為了更好地解決這兩個至關重要的問題，par方法應運而生。
2. formal development of correct and efficient algorithmic programs is at the heart of the research in the field of the formal method
   有效解決“軟件危機”的一種重要途徑是使用形式化方法來開發軟件產品。
3. herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
   本文提出的基于算法框架的軟件設計及分析復用技術是利用薛錦云教授提出的par方法，對算法程序進行形式化推導，得到其抽象算法。
4. par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue . it is based on the research of the projects supported by the national natural science foundation of china
   薛錦云教授在國家863和多項國家自然科學基金的資助下，根據多年從事算法程序設計理論研究的成果，提出了一種實用的開發和證明算法的方法??par。
5. It's difficult to find algorithmic programs in a sentence. 用algorithmic programs造句挺難的