面向问题的系统化程序设计方法及其描述工具

来源 :计算机科学 | 被引量 : 0次 | 上传用户:chinasun09
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>一、引言 回顾以程序设计为核心的计算科学的研究、实践和教学,虽然有越来越多的人参与和林林总总的成果发表,而“程序设计危机”并没有得到根本的改善,为此,W.J,Dijistra重指出“真正讲授计算科
其他文献
一、引言  自从计算机以网络方式被连接开始,网络安全就成为一个重大问题,随着Internet的发展,安全系统的要求也与日俱增,现有的安全机制通过访问控制,例如口令和防火墙技
期刊
Reducing inconsistency is the key problem to improve data quality during data integration. In this paper,we first present a weighted algorithm of similarity coe
目的 分析急性白血病患者院内感染的相关因素,对具有易感因素的患者采取相应的防护措施。方法 选取急性白血病患者387例,采用回顾性分析的方法对患者院内感染的感染部位、病
文章基于热重分析对高水分毛竹废弃物的非等温干燥特性进行了研究,探讨了含水率和升温速率对毛竹废弃物干燥过程的影响。研究结果表明:含水率越高,升温速率越小,干燥所需的时
<正>1 CSCW概述 1.1CSCW的要领及分类“计算机支持协同工作”(Computer Supported Cooperative Work,CSCW)是一种将人类合作行为
目前,我国大多数医疗卫生机构的护理管理者都面临着护理人力资源缺乏的难题。护理人员是医疗卫生机构正常运行中的一支不可忽视的力量。因此,如何使护理人力资源配置更加合理以
<正> 一、引言近几年来,工作流管理(Workflow Management)技术的研究与应用都取得了快速发展,许多软件开发商推出了自己的工作流产品。产品的繁多推动了技术应用的进步,使开
肠套叠是婴幼儿最常见的急腹症之一,好发于4~10个月,由于不能叙述病史,临床诊断比较困难,而超声诊断已被公认为最佳诊断方法。下面结合我院256名诊断为肠套叠的患儿的超声学表现,对
<正> 一、引言无疑,常识(Common Knowledge)的表示和推理是知识领域中极其关键的研究问题,因为常识的特殊性质使它在多主体(Multi-agent)协同推理、通讯中起着重要的作用。可
<正>1.引言 NF~2的一个公开问题是如何表示关系.我们认为数据依赖是一种很好的表示方法由依赖表示的数据库模式具有最小数据冗余、上佳分解、高效查询更多还原