软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用，而测试数据生成方法的J下确性和有效性，又是一个成功测......

对于泛型程序设计来说，类型的参数化多态是其理论框架，参数化多态引入了类型变量，使得类型参数化，支持类型上的抽象，从而可以大大提高软......

从瀑布式程序设计的角度，综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型，包括需求形式化建模与验证、屏蔽设计错误的多......

目前被人们广泛采用的处理函数式Ｉ／Ｏ的机制有三种，ＭｏｎａｄＤｉａｌｏｇｕｅ，ＣＰＳ，本文采用ＣＣＳ的理论和方法，把互模拟等价作为Ｉ／Ｏ程序的相等关系，描述了这三种Ｉ／Ｏ机制的操作语义，推......