共查询到18条相似文献,搜索用时 0 毫秒
1.
定义了函数式语言SFL,给出了由SFL到PROLOG的一般性转换方法,设计并实现了自动转换系统。 相似文献
2.
本文介绍了在当今业界的软件开发中所采用的主流方法,面向对象技术、UML建模语言和Java语言,并简要论述了它们之间的关系。 相似文献
3.
<正>一、软件测试方法概述1.软件测试的概念。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能的测试,甚至根据需要编写不同的测试工具,设计和维护测试系统,对测试方案可能出现的问题进行分析和评估。执行测试用例后,需要跟踪故障,以确保 相似文献
4.
本文分析了继承性的重要性之后,讨论了显式化关系的继承性,并分析了继承异常现象出现的原因和较好的解决方案。 相似文献
5.
提出了一种应用于过程式语言的动态部分求值技术,并实现了一个类如PASCAL语言的部分求值器。 相似文献
6.
7.
软件测试方法及面向对象软件的测试 总被引:1,自引:0,他引:1
一、软件测试方法概述1.软件测试的概念。软件测试就是利用测试工具按照测试方案和流程对产品进行功能和性能的测试,甚至根据需要编写不同的测试工具,设计和维护测试系统,对测试方案可能出现的问题进行分析和评估。执行测试用例后,需要跟踪故障,以确保开发的产品适合需求。 相似文献
8.
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。 相似文献
9.
甘翠芳 《广西师范学院学报(自然科学版)》2001,18(2):111-114
双向可控多媒体语言实验系统在外语教学中发挥了重要作用,取得了显著的教学效果。该文论述了该系统的配置、结构功能、工作原理、应用及效果。 相似文献
10.
11.
考试系统中Word操作题自动阅卷的实现 总被引:12,自引:0,他引:12
介绍采用VBA宏语言编写面向对象程序,对考生的Word操作题答案文档进行快速,准确的判读,以实现考试系统的自动阅卷功能。 相似文献
12.
指针与数组在C语言中最常使用,笔者在C语言的学习与教学中发现,它们的概念以及使用给人带来很多的混乱,而一般的教课书对它们之间的使用往往提的较少,本文将对此进行阐述。 相似文献
13.
14.
助跑技术是跳高项目中十分重要的技术环节.针对教学中学生出现的典型错误,通过文献资料法和实地调查法,对学生背越式跳高助跑技术教学,实践掌握情况进行阐述与分析,找出学生产生错误动作的原因,并提出了相应的纠正方法,教师在教学中进行针对性的教学与训练,以提高背越式跳高助跑教学效果. 相似文献
15.
卞之 《海南师范大学学报(自然科学版)》2002,15(1):32-36
电磁约束成型技术顺应材料科学高纯无污染近净成型的发展趋势 ,在电磁冶金和材料工程这一交叉领域中迅速发展 ,电磁力的载持和约束成型能力为这一发展提供了技术支持 .电磁约束成型技术具有无模、电磁搅拌、强冷却等工艺特点 .其凝固过程为一对流传热传质的动态过程 .工艺过程决定其凝固过程 ,最终决定其凝固组织 ,使其在温度和成份高度均匀的环境下具有优先形成等轴晶的倾向 相似文献
16.
17.