采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。     

现实与理想之间的妥协—评厦华S34L变频彩电

2001年初,由于筹办婚礼,为小家选购一台合适的彩电的任务便“义不容辞”地落到了我这个音响迷的头上。首先确定屏幕尺寸,就目前的市场而言,74cm彩电性价比最高,但从家庭影院效果来看,屏幕确实小了点。背投影彩电102cm、127cm的大画面虽然不错,但我觉得CRT彩电的     

管理信息系统中报表问题的解决方案

本文从现实需求出发,在报表系统的开发过程中采用构造思路,对管理信息系统中的报表问题提出了一种比较灵活的解决方案--构造式报表.并结合具体技术实践,对构造式报表从技术上给出了一种解决办法.     

仿真软件在三相电路性能分析中的应用

三相交流电路是复杂的正弦电路,由三相电源、三相负载及三相传输导线构成,由于三相供电与单相相比,具有成本低,效率高的优点,所以在电能的产生,传输及使用方面得到了广泛应用.本文首先论述了三相电路的概念,在此基础上利用仿真软件辅助教学,验证三相电路的性能.     

基于Jenkins的持续集成测试环境插件开发

现代软件规模已经极具膨胀,软件测试所占用的时间的比例也越来越大,如何提供高效,快速,自动化,可定制的继承测试环境已经成为软件行业亟待解决的问题.DevOps和持续集成是一种软件开发实践,对于提高软件开发效率并保障软件开发质量提供了理论基础.Jenkins是一个开源软件项目,提供了一个开放易用的软件平台,使持续集成和自动化测试成为可能.     

基于RWSL的软件再工程

为基于遗留系统特征的软件再工程提出了一种统一的方法。该方法基于一种名为RWSL广谱语言的构架。该语言具有很好的形式语义。提出了该方法从源代码到规约的体系结构和工作流，并定义了RWSL的结构。     

我尝到了“金苹果”—金正N701DVD机使用体会

自99年底国产DVD机开始上市以来,各大厂家可谓使尽了浑身解数推销自己的产品,价格从2000多元降至1000多元,功能上也日新月异:先是带杜比5.1声道解码输出,然后纷纷智能升级(虽然从没见谁家的DVD机升级),再往后又加上了色差输出端子,现在最新机型还有了dts解码,逐行扫描功能(如万利达N926)。在商场看过两次DVD演示后,就开始盘算着弄一台玩玩了,确实,DVD比VCD在画质、音效上有了很大的提高,价格也降下来了,特别是