论文部分内容阅读
本文从演绎综合,程序变换,归纳综合和过程实现四个方面来探讨了一下软件自动化的实现途径,可以解决软件开发中出现的一些问题,适用于广大软件开发者。
浅谈软体自动化的实现
【摘 要】
：
本文从演绎综合,程序变换,归纳综合和过程实现四个方面来探讨了一下软件自动化的实现途径,可以解决软件开发中出现的一些问题,适用于广大软件开发者。
【机 构】
：
淮南师专数学系教师232001
【出 处】
：
淮南师范学院学报
【发表日期】
：
1999年3期
其他文献
目的：通过对八一现代五项队运动员在备战第六届世界军人运动会期间进行血液指标的训练监控，为科学化训练与精心备战提供合理化建议。方法：对参加第六届世界军人运动会的8名八一
如何利用体育课堂，组织师专三年级学生随堂试教体育课中的部分身体活动内容和基本内容，是培养学生体育教学能力的重要手段，在组织试教过程中，学生不同的心理活动及表现是教师了解
运用文献资料法、跨文化研究法、访谈法等，对美国体育教师专业化发展路径进行研究，发现美国主要通过建立专业的组织和专业标准认证制度等路径推动体育教师专业化发展。中美两国
考试制度和学生成绩评定是教学改革的重要课题之一,但时至今日,我们仍在沿用着教师命题、课堂考试的老办法.这种单纯的知识复述型的考核办法,从本质看,是以教师为中心、以课
在高校外语教学中语法课历来是被看作一门难教的课程.原因在于:一、语法课不同于综合英语、阅读、口语、听力等其它课程.语法课程是一门传授语言章法基础知识的课程.它限于定
<正>陈登科是大家所熟识的一位农民出身的优秀作家。他出身在一个贫农家庭里,小时候只念过两年书。一九四0年参加革命后,在党的教育与关怀下,努力学习文化,从一个普通战士而
一个人的成熟,需要经过两次断乳:第一次是生理上脱离对母乳的依赖,显示自己已能独立汲取和消化自然界的营养;第二次则是摆脱成人的扶持,显示自己已不需家庭的照管,而成为一名
根据教育心理学的原理,对学生思维发展的客观规律进行了分析研究,提出了一种高中英语教学的方法。从英语教学实践中发现,该方法对学生掌握语言要点和语言功能有很大帮助。