论文部分内容阅读
本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷，本文已初步实现了面向该方法的实现工具。
一种严格的软件开发方法框架
【摘 要】
：
本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造
【机 构】
：
长沙工学院计算机系
【出 处】
：
软件学报
【发表日期】
：
1996年3期
【基金项目】
：
国家863高科技项目
其他文献
近15～20年间,吸烟与各种肿瘤及心脑血管疾病间的明显关系已被越来越多的流行病学资料和临床医学研究所证实,其中以肺癌为著。目前我国年平均死于肺癌的患者近20万人。如
琦善是满洲正黄旗人。1840年,鸦片战争爆发后,他诬陷民族英雄林则徐,深得昏庸无能的道光皇帝的信任,被委任为饮差大臣兼两广总督,负责处理满清和英国在华的尖锐矛盾。 琦善
瑞雪纷飞。车轮滚滚。 犬年11月14日。53次特快列车迎着寒风向着北京疾驶。 3号软席车厢里,中国职工教育和职业培训协会企业委员会秘书长王忠义正同宝钢教委的张心侠同志围绕
目的探讨TTF-1、CK7在胸水细胞块中鉴别肺腺癌中表达的敏感性和特异性及在肺腺癌诊断中的应用。方法临床资料和影像学资料诊断为肺癌的病人,胸水离心涂片中见到癌细胞,胸水再
目的建立简便有效的腹膜间皮细胞体外培养鉴定及TGF-β1、CTGF蛋白含量测定方法。方法胰蛋白酶-EDTANa2消化网膜组织培养腹膜间皮细胞;用形态学、免疫组化鉴定细胞。结果分离
目的总结全肺切除术治疗结核性毁损肺的临床效果。方法回顾分析我院近10年来行全肺切除手术治疗69例结核性毁损肺的临床资料,其中行右全肺切除术29例,左全肺切除术40例。结果
广东省电工技能考核鉴定站是广东省劳动厅设在广东工学院基础部的初、中级电工考核定点单位它成立于1993年1月。考核站设有实操考核室5间,250平方米。每间每次可容纳16人进行
招远市技工学校现开设黄金综合采选、井下电钳、电工、车工、化工工艺、烹饪等11个专业,在校学生900人,学校自创办以来,坚持正确的办学方向,紧紧围绕企业需求,不断改革教学体
目的探讨外周血DNA表皮生长因子受体（EGFR）基因第1内含子区CA-SSR多态性与晚期非小细胞肺癌患者吉非替尼临床疗效的相关性。方法采用PCR扩增和序列测定的方法对60例接受过吉非