论文部分内容阅读
许多PDL(设计程序语言Program Design Language的缩写)已经提出。本文将简要综述各种PDL,将它们分类、分析特点,并指出在模块化和程序正确性证明方面的进展和存在的问题。
PDL——软件设计的有效工具
【摘 要】
：
许多PDL(设计程序语言Program Design Language的缩写)已经提出。本文将简要综述各种PDL,将它们分类、分析特点,并指出在模块化和程序正确性证明方面的进展和存在的问题。
【出 处】
：
计算机应用与软件
【发表日期】
：
1985年04期
其他文献
一、苏联软件行业简况苏联计算机软件的科研、生产、应用是与硬件研制、生产、应用紧密结合共同发展的。主力是科研部门:与计算技术有关的苏联科学院的研究所和工业部门研究所。高等院校和使用部门的研究设计单位也是从事软件和应用软件的研制力量。自1966年以来,出现了软件行业组织:全国性的国家算法程序库,全苏性科研生产联合公司,各部门及地区的专业性算法程序库、软件科研生产中心的分支机构,从事软件生产及软件事业的
期刊
本文提出一个混合分层的外形识别系统,综合应用客体外形的数字特征和结构特征,通过一个统计分类器及一个结构分类器的复合运用,实现分类效果的逐级积累,有效地提高识别系统的效果。该系统所实现的数学模型及其软件,可应用于诸如工业机器人的外形识别系统。
期刊
1984年,学会面临着改革、开放的新形势,学会的活动如何开展,学会工作干部(包括专、兼职)怎样工作,既带来了有利的环境,又遇到了许多新课题,急需研究解决。首先须清醒地认识到,要充分发挥学会的特点和她的优势,学术团体具有跨行业、跨部门,横向联系多,信息沟通快,知识密集,人才荟萃的特点,而这些正是改革所需要的,因此1984年的学会工作,注意到了要积极开创活动的新局面,并在活动中投身改革,摸索经验。19
期刊
随着产品零部件通用化的发展,在制造业中各种产品在结构上的重复是不可避免的。在应用计算机辅助企业管理的工作中,如何处理产品结构中的重复是一个重要问题。本文简要介绍了已调试通过的利用子一孪指针解决零件表重复和进行展开计算的方法,对准备利用计算机编制生产计划的单位有一定参考价值。
期刊
本文主要是针对全国五千多个铁路站名,如何用科学的方法进行站名字典的编制,并在计算机中存贮和查找,提出了一种方法,通过在TC-800计算机上实現得到了验证。此方法是对全国铁路站名字典的编制采用矩阵模式,而字典在计算机上的存贮采用压缩手段,站名在字典中的查找采用建立的数学公式计算后,直接查找,因此它具有站名字典的编制、维护简便,字典在计算机中的存贮占内存容量最少,在字典中查找一次站名所需的计算机运行时
期刊
中国科学院计算所新技术发展公司组织科技人员编撰出版了三套新书,内容丰富、专业术语准确、语言结构精炼,为满足广大读者需求,特将三套新书简介如下,详情请从速与该公司联系,地址在北京中关村中科院计算所大院内。《VAX计算机系统的研究与应用》主要内容有:1.VAX计算机的系统体系结构与硬件设计;2.VAX/VMS的系统内部与数据结构;3.VAX诊断程序设计指南;4.DECnet-
期刊
本文分析和统计了一个已投入使用的汇编程序,提出一种能够在裸机上较快实现汇编程序的方法——子汇编法。子汇编法允许程序员用汇编语言本身的一个子集编写汇编程序,唯有与该子集相应的子汇编程序才是用机器指令编写的,而子汇编程序的实际长度仅是汇编程序的十分之一左右,其实现方法也远比汇编程序简便得多。
期刊
本文对Prolog和FP的程序结构、语义、程序设计风格等方面进行了比较,给出了Prolog语言和FP语言的指称语义以及简化的FP系统的Prolog解释与Prolog系统的FP解释,认为Prolog和FP是适用于不同领域的有生命力的非冯·诺依曼式程序设计语言,可以作为不同结构的计算机系统的核心语言。
期刊