论文部分内容阅读
本文介绍一种支持软件理解和复用的程序设计方法,以及实现该方法的实验性系统URS—1。
一种面向可理解性的可复用软件开发方法
【摘 要】
：
本文介绍一种支持软件理解和复用的程序设计方法,以及实现该方法的实验性系统URS—1。
【机 构】
：
中国科学院软件研究所,中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
1990年1期
【基金项目】
：
国家自然科学基金委员会、机械电子工业部、国家科学技术委员会高技术计划的资助
其他文献
现代的超标量和超流水线高速处理器通常都带有二级高速缓冲存储器，以及较多的快速寄存器。利用程序变换来改善程序性能，是当今编译技术研究的热门课题之一。本文重点讨论了超级
近日，西藏自治区教育厅在全区范围内再次提高农牧民子女义务教育“三包”经费标准，这是继1988年第一次提高农牧民子女义务教育“三包”经费标准以来，第8次提高经费标准。
卡疤率高低是考核卡介苗接种质量的一项指标,很适合于基层。但现在卡疤率很难达到要求指标,其原因关键在于卡介苗接种技术。根据我们长期观察乡村医生实际操作和调查了解,发
Jackson系统开发方法(JSD)是八十年代初提出的一种很有名的操作式软件开发方法。为了支持开发者将其应用到软件开发实践中,我们设计了一种基于JSD方法的图形化的操作式规格说
目的观察胸腔内注入顺铂与香菇多糖治疗恶性胸腔积液的疗效及不良反应。方法恶性胸腔积液患者随机分为三组，A组注入顺铂（DDP）40～60mg＋香菇多糖4～6mg，B组注入顺铂（DDP）60mg，C组注入香菇
本文在给定的Occam子集上建立它的组合式时态语义。为了处理并发问题引入了局部环境、局部存储和局部通道状态,使其成为真正的并发语义,并在此语义下讨论了进程的各种分布式
本文描述了断言信度偏差,规则强度偏差,断言可靠度,规则可靠度,二级不确定性等概念,给出了处理信度偏差与规则强度偏差的推理方法和具有两级不确定性(可信度,可靠度)的推理模
婴儿死亡率及其变化规律是衡量一个国家和地区经济、文化、卫生状况,特别是妇幼保健工作质量的重要指标,是制订卫生政策和卫生事业发展规划的客观依据。本文根据我县1986年婴