基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

关系网的代数规范说明

将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的关系。     

代数规范的可计算实现

本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

计算机代数系统MAPLE及其程序设计语言

介绍了计算机代数系统ＭＡＰＬＥ，以及ＭＡＰＬＥ程序设计语言；并给出ＭＡＰＬＥ因式分解的程序。     

自动机及其代数规范描述

本文利用泛代数的思想和方法研究自动机理论,建立了亚群和自动机的方程规范模型,把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义,并讨论了和规范代数的同态及同余之间的关系。     

规格说明语言NUSL的初步报告

NUSL是一个以数据抽象为核心的,可执行的规格说明语言,它具有如下特点:1.表达力强,2.简明精确,3.模块化,4.可执行.本文描述NUSL的语法语义并给出—个应用例子.     

一个面向对象的需求规格说明语言——SEURSL

提出了一种从建模到实现的完整的面向对象开放方法，它以Ｃｏａｄ／Ｙｏｕｒｄｏｎ方法为基础并对它进行了改进，改进后的方法能够有效地描述系统的功能和行为；同时给出了支持这种方法的需求规格说明语言———ＳＥＵＲＳＬ的规范化定义。     

抽象数据类型的极大代数语义

传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。     

论网络语言的发展与规范

在新时代的大背景下,网络语言逐渐流行起来,并呈现出一系列特点。网络语言的流行对社会既有积极的影响,也有消极的影响。对网络语言进行研究并规范其发展,不仅有极大的语言学价值,更有重要的民族文化价值。     

一种基于XML的CISL表示

针对入侵通用规范语言（CISL）描述入侵行为方式难以被人们所理解的问题，通过利用可扩展标记语言（XML）中的DTD（Document Type Define)对CISL词汇元素进行格式定义，给出了一种基于XML的CISL表示，从而提供一种查阅CISL数据的通用性方法，通过一个应用实例，详尽说明了基于XML的CISL表示的使用方法。     

基于Z语言的互联网登陆系统的形式化规格与验证

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.     

程序设计方法学在汇编语言程序设计中的一些应用

本文介绍程序设计方法学的基本原则和方法,并用这些基本原则和方法编写汇编语言程序,旨在提高汇编语言程序设计的准确性、有效性、简单性,为汇编语言程序设计者提供一套有效的程序设计方法。     

一种新型的程序设计语言——JAVA语言

ＪＡＶＡ语言是由ＳＵＮ公司设计的一种面向对象的新型程序设计语言。ＪＡＶＡ可用来开发能够在Ｉｎｔｅｒｎｅｔ上传输并可在网络任何一处运行的应用程序。文中主要介绍ＪＡＶＡ语言的主要特点及其应用，并简要介绍用ＪＡＶＡ语言进行编程的方法