Same time as the new curriculum reform, teaching reading education in China has become a hot topic widely studied one, begin to focus on primary education teaching reading, further development and refinement of primary school language teaching of reading. 同时由于新课程改革,阅读教学改革也已经成为了我国教育界广泛研究的一大热点,小学教育也开始关注阅读教学,进-步发展和完善了小学语文阅读教学。
Algebraic Verification Method of Data Refinement in Formal Specification Language 形式规范语言数据求精过程的代数验证方法
So, the theory of automatic refinement from Z specification to high language is preferred. 2.elementary to advanced. 人们提出了Z规格说明到高级语言自动求精的思想,但其实现却进展缓慢。(2)从低级到高级;
Specification and refinement relation are defined by the formal language RSL. 使用形式化语言RSL定义MRPI系统的规范和精化关系。
Refinement is an important process of implementing specification to execution. To implement refinement can make the application of Z language wider. 求精是规格说明实现可执行化的重要过程,实现规格说明求精,可以为Z语言应用于更广泛的领域奠定基础。