postcondition相关论文
目的 评价瑞芬太尼后处理及其联合异丙酚后处理对大鼠肝脏缺血再灌注损伤的影响.方法 健康雄性SD大鼠30只,体重220 ～ 280 g,采用随......
Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它......
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面......
目的：探讨应激活化蛋白激酶（JNK MAPK）在大鼠缺血后适应中的变化,并进一步分析其对细胞凋亡的影响。方法：60只SD大鼠随机分为假手术（Sha......
