Ada程序格式美化器的设计与实现

程序编写格式对程序可读性有很大影响。我们以提高程序可读性为目的,设计并实现了Ada程序格式美化器。它可将自由格式自动转换为统一格式。本文描述了构造一个格式化语法的基本原理,介绍了该美化器的组成、功能和开发方法。     

Ada语法制导编辑器的设计与实现

Ada语法制导编辑器ASDE是集成化的Ada程序设计环境AWA(Ada working Assistant)的核心系统。它引导用户按照Ada的语法规则编写程序,支持自顶向下逐步求精的程序设计方法,并提供了与其它软件工具的接口,使得用户在编辑状态下就可以执行其它的系统命令。本文首先介绍ASDE所采用的模板驱动方式的语法制导编辑模型,然后详细描述了ASDE的功能、总体结构和主要实现技术。     

分布式Ada语言系统的实现

基于Ada 95参考手册附录E“分布式系统”中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分区通信子系统的接口,实现了分布式Ada语言系统.最后通过一个实例,具体介绍了分布式Ada语言系统的程序设计方法.     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个、问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是:基于这里的思想,我们已经实现了一个用于开发Ada软件的支持系统。实验表明:在该系统的支持下,井发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

KLND编辑程序KE的设计与实现

KLND编辑程序是用作核心语言KLND的一个软件开发工具.它能在全屏幕正文编辑的方式下,对KLND语言源程序自动进行语法检查,并自动为KLND编译程序提供增殖编译单位.本文给出该编辑程序的设计思想、主要功能以及相应的实现技术.     

Ada程序设计环境的中间语言DIANA

DIANA是Ada编程环境中用来描述Ada程序的一种中间语言,它已被许多Ada环境所采用。本文介绍了DIANA的形成过程和设计原则,阐述了它的作用、意义和基本特征。同时,通过例子说明怎样用DIANA反映Ada的各种语言特征。     

一种半自动生成算法的Ada可重用部件

本文探索了一种新的半自动的算法生成方法，那就是基于算法设计方法的Ada可重用部件──算法生成器，阐述了算法生成器的思想，通过两个算法生成器的开发实例描述了算法生成器的构造与使用过程，并分析了算法生成器对于自动程序设计的意义。     

Ada-S系统的设计与实现

Ada语言是一个新的通用程序语言。它的诞生对于软件工程、软件生产以及软件开发环境的影响是不可低估的。Ada语言及其程序设计支持环境,集当今软件技术之大成,代表了国际上八十年代程序设计语言与软件工程支持环境的发展趋向。由于强大的用户团体的支持,Ada语言必将成为八十年代最重要的程序     

Ada语言并发机制的设计与实现

Ada语言并发机制是Ada语言区别于其他高级程序设计语言的主要特征之一。本文介绍了Ada语言并发机制的一种实现方法及其符合我们环境要求的实现策略;此外,还就如何编译含并发语句成份的Ada程序作了介绍。     

Ada软件开发环境中求助技术

在软件开发环境中为软件设计人员提供界面友好、方便快捷的工具是一个优秀软件所须具备的特性之一。本文分析了Ada软件开发环境中的求助功能的特点,详细说明了其设计方法和实现中的一些关键技术,并总结了设计求助功能的一些基本原则。     

基于设计决定的逐步求精方法及环境

逐步描述、变换及证明的软件开发过程包含两个转换,一是从非形式的用户需求到形式描述,一是从形式描述到算法实现。开发过程中的关键是如何做出设计决定。为了更好地维护、重用软件以及程序证明,不仅仅要对软件的形式描述及实现做文档记录,也要记下开发过程中所做的每一步决定。我 们用两个例子来说明如上这种逐步求精的方法以及设计决定在其中所起的作用,并且我们实现了一个包括SPEC、OOMM、PROT、VERI几个子系统组成的环境来支持上述过程。     

一个基于程序变换的制表程序

本文介绍了一种报表打印程序生成系统的设计思想和实现方法。系统采用程序变换的思想,设计使用一种用来描述报表格式的报表描述语句对报表结构进行描述,由微机自动生成报表打印程序。     

基于组态软件和仿真软件的层流冷却实验平台

针对热轧层流冷却过程的自动化系统及优化控制算法难以在实际运行环境中进行充分的调试和验证、基于仿真软件发的实验平台则脱离工业实际的监控与运行环境、购买硬件控制系统进行实物/半实物仿真价格昂贵等问题,本文提出了采用组态软件、工业控制器模拟软件、仿真软件混合编程开发层流冷却虚拟实验平台的方法。该平台采用C#语言开发参数优化子系统、组态软件开发管理监控子系统、工业控制器模拟软件运行回路控制程序、MATLAB软件开发对象模型子系统,通过OPC软总线等技术实现了各个子系统的无缝连接。本文最后采用实际工业数据验证了平台的有效性,表明其广阔的应用前景。     

基于Ada的软件开发新模式

本文分析了Ada程序设计支持环境APSE在大型嵌入式软件开发过程中的成就与不足;论述了基于Ada的自动化软件开发新模式;讨论了实现这一模式的途径和面临的困难。     

ADL语言及其在程序展开中的应用

本文提出了一种以ADL语言为基础的程序展开方法。用这种方法展开程序,首先用ADL描述层语言给出问题功能特性的描述,然后应用变换规则将该描述逐步变换为用ADL核心层语言写出的与其语义等价的程序。变换规则的选用以及展开过程的控制不仅可以由程序员执行,而且也可以由机器自动完成。作者设计的实验性质的程序自动展开系统对于一些教学规模的程序已经调试成功。     

神图的灵魂—“无”头文件的C／C＋＋程序设计

本文结合软件工程原理和Ada的设计思想,详细介绍了神图软件开发环境中的“无”头文件的程序设计技巧,杜绝了由头文件所致的系统隐患多、软件开发效率低下等问题。     

试评Ada语言

本文分析了Ada语言的主要成分,Ada语言在下列方面有明显的优点: 1.它有模块化的功能和精确的数据描述,从而提高了程序的可靠性; 2.它具有适当而齐全的数据结构和运算控制结构,可以面向广泛的应用领域; 3.它在语法和语义两方面都特别适合于大量应用问题,提高了程序的开发效率; 4.它是第一个与软件支撑环境结合在一起的程序设计语言。为了适应广泛的应用领域,Ada语言在简明性和程序的执行效率两方面付出了代价。     

程序员助手NPA

NPA(Naming University Programmer’s Apprentice)是一个交互式程序设计助手系统,它的主要基础是格局——一种程序表示方法.在这种表示中忽略了程序的非本质特征,仅仅描述有关算法的基本逻辑特征. NPA的设计目标是通过引用格局库中的程序片段,迅速而准确地构造程 序,它的目标语言是Ada.目前该系统由五个部分组成:编码程序,分析程序,格局库,格局编辑程序和正文编辑程序.     

一个Ada软件开发工具系统的设计与实现

本文通过对Ada/PAD文本的制定原则,以及对PAD文本的具体扩充,PADA系统的设计思想和系统的组织结构,乃至PADA系统的各个部分具体实现的数据结构及表格的详尽阐述,介绍了Ada软件开发工具PADA系统的功能和特点。     

嵌入式软PLC编程系统的设计

完成一种在Windows操作环境下采用VC++开发工具设计的嵌入式软PLC编程 系统.采用面向对象的设计思想,提出了描述软PLC梯形图元件的数据结构,以及对梯形图元件集合存储和交互的方案.该系统针对VC++的Document/View的结构,设计了软PLC编程系统的软件结构,分为编辑、编译和仿真等功能模块,且结合相应的算法实现,并重点介绍了梯形图程序的编辑和编译扫描原理.为低成本高效率实现嵌入式软PLC编程系统提出了新方案,也为软件开发人员提供一种软件设计的新思维.