排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
采用形式化技术的软件再工程 总被引:4,自引:0,他引:4
形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。 相似文献
2.
4.
2001年初,由于筹办婚礼,为小家选购一台合适的彩电的任务便“义不容辞”地落到了我这个音响迷的头上。首先确定屏幕尺寸,就目前的市场而言,74cm彩电性价比最高,但从家庭影院效果来看,屏幕确实小了点。背投影彩电102cm、127cm的大画面虽然不错,但我觉得CRT彩电的 相似文献
5.
三相交流电路是复杂的正弦电路,由三相电源、三相负载及三相传输导线构成,由于三相供电与单相相比,具有成本低,效率高的优点,所以在电能的产生,传输及使用方面得到了广泛应用.本文首先论述了三相电路的概念,在此基础上利用仿真软件辅助教学,验证三相电路的性能. 相似文献
6.
现代软件规模已经极具膨胀,软件测试所占用的时间的比例也越来越大,如何提供高效,快速,自动化,可定制的继承测试环境已经成为软件行业亟待解决的问题.DevOps和持续集成是一种软件开发实践,对于提高软件开发效率并保障软件开发质量提供了理论基础.Jenkins是一个开源软件项目,提供了一个开放易用的软件平台,使持续集成和自动化测试成为可能. 相似文献
7.
8.
自99年底国产DVD机开始上市以来,各大厂家可谓使尽了浑身解数推销自己的产品,价格从2000多元降至1000多元,功能上也日新月异:先是带杜比5.1声道解码输出,然后纷纷智能升级(虽然从没见谁家的DVD机升级),再往后又加上了色差输出端子,现在最新机型还有了dts解码,逐行扫描功能(如万利达N926)。在商场看过两次DVD演示后,就开始盘算着弄一台玩玩了,确实,DVD比VCD在画质、音效上有了很大的提高,价格也降下来了,特别是 相似文献
9.
1