B语言和方法与Z、VDM的比较

1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:     

用C/C++实现Java的本地方法

本文详细介绍了如何在Java中用C语言实现类的本地方法，以及如何在本地方法中访问对象的动态、静态域和调用对象的方法。     

GCLISP对其他高级语言的调用方法

目前的GCLISP版本,对用其他高级语言编写的程序交互能力差,这对需要进行复杂计算或想直接调用其他高级语言编写的“标准程序”的用户造成了一定的困难。本文介绍了作者在使用GCLISP调用其他高级语言的一点体会,提出了用高级批处理的方法来解决这种联接调用。这对使用GCLISP的用户可能会有一定的启发。     

用C语言和AutoLISP实现西文AutoCAD汉字输入的方法

针对工程设计图纸中需要标注少量汉字的情况，开发了在西文状态下实现汉字输入的一种实用方法，并与其它汉字标注方法相结合应用于机械零件ＣＡＤ，效果良好。     

OOZS：一种面向对象的Z语言扩展

在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足。在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力。本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征。     

基于语言计算方法的语言认知实验综述

人脑对语言的理解过程十分复杂,涉及多个脑网络和加工机制。以往的工作大多采用严格控制的实验设计,针对特定的语言现象展开研究,导致了研究结论趋于碎片化,无法形成关于大脑语言理解的总体结论。另一方面,深度学习的出现引发了语言计算领域的技术变革,语言计算模型在多个任务上达到甚至超越了人类的水平。这为进行全局性、高生态效度的人脑语言理解实验带来可能性,促进了语言认知实验中引入语言计算模型方法的快速发展。那么,利用新兴的语言计算方法可以为大脑语言认知机理的研究带来哪些新的机遇和启发呢？该文归纳总结了利用语言计算方法进行语言认知实验的相关工作,并对未来发展趋势予以展望。     

方程式语言及其实现

方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。     

基于XML的用户界面标记语言--XUL

深入考察如何基于XUL开发Rich Client Web Application。本文首先介绍XUL以及XUL的使用方法然后利用XUL实现文件查询系统，最后讨论XUL和其他UI语言相比所具有的优点。     

使用UML和C语言实现基于对象的嵌入式软件开发

针对C 语言难以在低端嵌入式系统项目中应用的情况，对嵌入式系统软件开发中基于对象的方法进行了研究，提出了一种使用UML和C语言设计和开发嵌入式软件的实用方法。实践证明，该方法很好地融合了UML和C语言的优点，能够大大提高嵌入式软件的开发效率和可维护性。     

函数式语言FP中并行的开发和控制

函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语义的多步向前驱动法.LE计值中由于引进了延迟对象,使得延迟计值统一为函数对对象的作用,因而简化了编译系统的代码生成.多步向前驱动法是一种结合需求驱动和数据驱动的方法,该方法在开发了尽可能多的并行的同时,又保证了程序并行归约的终止性.根据这些方法,一分布式内存的多处理机软件模拟系统已在MIC-VAX Ⅱ上实现.文中最后给出了一些实验数据,这些数据有力地证明了多步向前驱动法的有效性,从而揭示了函数式语言并行处理是一非常有发展前途的研究方向.     

UNIX操作系统下FORTRAN语言与C语言混合编程的方法

本文介绍了在ＵＮＩＸ操作系统下，用Ｃ语言和ＦＯＲＴＲＡＮ语言进行混合编程的技术，讨论了二种语言之间进行数据交换的方法，以及子程序之间相互调用的方法。     

实现Ada的中间语言：Diana语言库的方法

DIANA是ADA程序的一种中间表示形式,它适用于ADA编译程序中两个主要工具—前端和后端之间的通信,也是ADA环境中各种工具之间的公共数据界面。DIANA的不同应用场合,可以以不同的方法来实现它。在这篇文章中,介绍了一种实现DIANA语言的简单方法,其中包括了DIANA的特性、实现的思想及操作。这种方法的特点是简单,而且易于实现。     

用VB将DOS下C程序改编成Windows程序

本文介绍了将ＤＯＳ下的程序，改编成Ｗｉｎｄｏｗｓ程序的两种方法。指出了两种方法之间的区别、适用条件及各自应注意的事项。     

Windows下C动态链接库的创建及其在VB中的应用

本文介绍了Ｗｉｎｄｏｗ环境下，Ｃ动态链接库的创建以及ＶＢ如何利用Ｃ动态链接库扩展其功能，并详细讨论了ＶＢ调用Ｃ动态链接库的方法。     

C＋＋与Fortran混合语言编程中动态链接库的调用

绍了Ｃ＋＋和ＦＯＲＴＲＡＮ９０混合语言编程中,在Ｃ＋＋中调用Ｆｏｒｔｒａｎ动态链接库（ＤＬＬ,Ｄｙａｎａｍｉｃ Ｌｉｎｋ Ｌｉｂｒａｒｙ）的方法以及参量传递、函数调用等的方法。     

Java中C语言的调用方法

介绍Ｊａｖａ程序中Ｃ语言代码的调用方法，即将Ｃ语言编写的程序构造成动态链接库（ＤＬＬ），然后再由Ｊａｖａ程序去调用动态链接中的函数。     

Matlab与VisualC＋＋混合编程的实现

从不同角度分析和研究了VisualC 与工程计算语言Matlab的接口技术。为工程设计人员提供了比较全面的VisualC 与Matlab的混合编程方法,并给出了各种方法的优缺点。通过二者的结合,既有效地利用了Matlab强大的数值计算能力和众多的函数,大大减少程序设计的工作量,又继承了VisualC 良好的程序界面,证明是一种很好的程序设计方法。     

多范例语言概观

本文简要地介绍目前智能语言研究领域中的一种趋向——多程序设计范例的语言研究,给出了多范例语言结合的一般方法,并评述了几个典型的多范例语言。     

PASCAL语言汉化的设计与实现

PASCAL语言是一种结构化的程序设计语言。本文针对PASCAL语言缺乏汉字处理功能,介绍一种汉字处理方法,并实现了标识符汉字化,最后提供了实用程序流程图。     

实体模型语言SML

为了研究过程模型技术,开发了实体模型语言SML。该语言是一种将几何物体作为数据类型的高级程序设计语言。本文给出了应用实例,并叙述了它的实现方法。