论文部分内容阅读
提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.
B方法和构件技术在软件开发中的应用研究
【摘 要】
：
提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不
【机 构】
：
郑州轻工业学院
【出 处】
：
郑州轻工业学院学报（自然科学版）
【发表日期】
：
2004年期
【基金项目】
：
河南省自然科学基金;
其他文献
用绞股蓝胶囊治疗肾病综合征高脂血症 40例 (治疗组 ) ,同时与中医药疗法治疗的同类患者 2 0例 (对照组 )对照疗效 ,结果治疗组近期有效率为 80 .5 % ,明显优于对照组的疗效
目的:介绍一种治疗极外侧型腰椎间盘突出症的手术方法.方法:对6例需行椎间植骨融合及不宜取后路术式的极外侧腰椎间盘突出症患者取前路腹膜外术式.结果:6例均得到1～3年随访,全
晚期妊娠引产是现代产科临床中的一个重要内容 ,以往采用的方法很多 ,效果都不理想。自 90年代以来 ,PG应用于晚期妊娠引产 ,已有不少报道 ,认为其促宫颈成熟作用及引产效果
患者，男，４９岁。发现颈部肿块３个月入院。检查：双侧甲状腺不对称肿大，左右侧均触及多个大小不等圆形光滑肿块，随吞咽上下移动，颈部未触及肿大淋巴结，血清Ｔ３、Ｔ４水平正常。Ｂ超：右甲状腺下极探及
从临床、ＣＴ所见分析原发桥脑出血的预后 .发现高热、意识障碍、出血量≥ 4ｍＬ、血肿占据全桥脑或被盖两侧巨块型 ,破入脑室系统预后差 .无高热、无或轻度意识障碍、出血量 4ｍＬ、血肿
目的:评价Nd:YAG激光对三种细菌的杀菌效果.方法:用剂量分别为100mJ、25Hz、2.5W、140mJ、25Hz、3.5W及160mJ、25Hz、4.0W的脉冲Nd:YAG激光对三种细菌悬液照射4min后,计算其
目的:探讨先天性胆总管囊肿的最佳治疗方法.方法:对32例先天性胆总管囊肿病例行囊肿切除、肝管空肠吻合术的资料进行回顾分析.结果:32例患者中,术后仅1例发生不全性肠梗阻,其
脊膜膨出和脊髓脊膜膨出是临床上一种常见畸形,可发生于脊椎的任何部位.1987年 7月～1997年7月,我院手术治疗此类病儿54例,效果较好.现报告如下.
类风湿性关节炎(RA)是一种以关节慢性炎症为主要表现的自身免疫性疾病,具有发展迅速、病情顽固、致残率高等特点.其常致病人关节僵硬、畸形(包括髋关节),严重功能障碍者则需
目的 :介绍一种新的微创技术———经自制硬直镜行肺肿瘤切除术。方法 :总结分析 1993年 3月～ 1999年 3月采用本法完成的肺楔型切除术 18例 ,左肺下叶切除术 1例 ,右肺中下叶