程序设计语言Ada简介(一)

1.1 简史 1.七十年代中期美国国防部(DoD)经过调查,发现软件费用半数以上用于所谓“嵌入”式计算机软件,而这类软件的主要特征是: ①程序大(5万到10万行);②生存周期长(10到15年);③人员流动快(一般为2年);④输出不仅为数据,而且有控制信号;⑤不断改变。 2.软件问题主要有 ①现有语言不合适;②开发与维护工具不合适;③开发中未能很好考虑维护     

基于解释的程序转换

程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.     

程序理解模型

本文基于一个人脑信息处理模型,从阅读程序的角度,提出了一个程序理解模型,作为程序复杂性的一种量度.此外,还介绍了几个程序理解实验,分析了程序理解模型的特点与不足之处.     

从软件功能实例规格说明到软件功能形式规格说明的自动转换

软件功能形式规格说明的获取是软件自动化领域中十分重要的问题。本文采用概念学习与前件推导机制相结合的方法完成从软件功能实例规格说明到软件功能形式规格说明的自动转换,并能在某种意义下保证转换结果具有一定的合理性。     

系统设计:研究与实践之新进展——第十三届国际软件工程会议参加记

经国家教委及中国计算机学会分别派遣,我们七人于1991年5月去美国奥斯汀参加了第十三届国际软件工程会议,会后分赴匹茨堡的卡内基-梅隆大学、纽约州立大学石溪分校,以及波士顿、旧金山等地参观访问。本汇报包括五部分:1.概况,2.分组报告,3.基调讲演,4.专题讨论,5.建议。一、概况第十三届国际软件工程会议于1991年5月13日至16日在美国奥斯汀召开。来自美、加、英、德、法、日、中等20多个国家约800名     

XCY-2分块编译的实现

模块化是当今高级程序设计语言的发展趋向之一,分块编译是模块化的必然结果.本文概要地讨论了模块化语言分块编译的实现问题,并以系统程序设计语言XCY-2为背景重点讨论了实现模块间正确连接的主要点.在IBM360型计算机上的试验表明该方案简单、可行,效果是明显的.     

创刊贺词

多年来深感国内缺少专门刊载计算机软件研究成果的学术刊物。《计算机应用与软件》杂志的诞生是值得庆贺的。八十年代是信息的年代。其主要标志是,第一,计算机与计算机网面向人人;第二,计算机化和计算机网化的服务行业面向人人;第三,在某种程度上人们的日常生活受到计算机的控制与管理。这就是说,计算机应用大普及,它渗透到整个社会的各个领域,渗透到人们的日常生活,从而,整个社会将有一个大的飞跃,进入到信息化社会。这就是所谓的第四次产业革命。不言而喻,在这次革命中,计算机应用和计算机软件将要起突     

量子程序设计语言NDQJava-2

简述了量子程序设计语言NDQJava-2.该语言是在NDQJava的基础上增添了量子条件语句、量子循环语句、量子子程序、量子模块以及量子异常处理机制等量子成分,使其成为一种结构化的量子程序设计语言.书写量子程序的实践表明,相对于NDQJava而言,NDQJava-2是一种更为实用、易读,其成分设定更为合适的量子程序设计...     

量子程序设计语言NDQJava处理系统

简要介绍了量子程序设计语言NDQJava的一个处理系统.其特点是:程序中经典部分之处理借助Java系统,着重考虑量子部分之处理.该处理系统遵循编译-解释的途径,由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成.文末还给出了示例,该系统已于2006年6月底在经典计算机上模拟实现.     

NDSAIL系统的归纳结构正确性准则及其自动确认方法

归纳结论正确性的自动确认是归纳学习用于软件自动化必须解决的首要问题。本文针对自学习软件自动化系统ＮＤＳＡＩＬ的需要，提出了保证归纳结论正确性的一致性准则和可满足性准则以及用多层次的演绎推理加以自动确认的方法。其主要特点是：（１）面向应用的归纳结论正确性准则；（２）验证功能与修正功能相结合的确认方法；（３）基于自动演绎机制的自动实现。