为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提...为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.展开更多
肝脏假性淋巴瘤(pseudolymphoma of liver)是临床上比较罕见的一种良性肿瘤。病理上主要由大小比较一致的淋巴细胞构成,细胞无异型,未见明显核分裂,中间有生发中心,由T、B细胞混合构成,提示为多克隆性病变。目前国内外有关报道较少。...肝脏假性淋巴瘤(pseudolymphoma of liver)是临床上比较罕见的一种良性肿瘤。病理上主要由大小比较一致的淋巴细胞构成,细胞无异型,未见明显核分裂,中间有生发中心,由T、B细胞混合构成,提示为多克隆性病变。目前国内外有关报道较少。我院自2003年1月至2006年2月间共诊治肝脏假性淋巴瘤3例,现结合本组资料及有关文献,对肝脏假性淋巴瘤的临床病理特点总结分析如下。展开更多
文摘为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.
文摘肝脏假性淋巴瘤(pseudolymphoma of liver)是临床上比较罕见的一种良性肿瘤。病理上主要由大小比较一致的淋巴细胞构成,细胞无异型,未见明显核分裂,中间有生发中心,由T、B细胞混合构成,提示为多克隆性病变。目前国内外有关报道较少。我院自2003年1月至2006年2月间共诊治肝脏假性淋巴瘤3例,现结合本组资料及有关文献,对肝脏假性淋巴瘤的临床病理特点总结分析如下。