朱关铭
- 作品数：17 被引量：26H指数：3
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：上海市高等学校科学技术发展基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 页面置换算法的Z规格说明被引量：1
- 1999年
- 虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.
- 张阁朱关铭缪淮扣
- 关键词：Z语言
- 规格说明语言Z的类型检查被引量：1
- 2000年
- 软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
- 张晓莺朱关铭缪淮扣
- 关键词：规格说明语言Z语言
- PROLOG系统中的一致化方法
- 1990年
- 本文基于PROLOG 系统中A,B 栈计算模型,讨论了一致化问题,给出了关于替换和环境等数据结构的动态描述,并且给出了求一个目标的基例(ground instance)和一致化两个算法。一致化算法根据PROLOG 系统求解的要求得到基本的mgu(ground mostgeneral unifier)。在算法中应用了环境与结构共享技术,提高了效率。本文还给出了应用上述方法的计算实例。
- 朱关铭缪淮扣
- 关键词：PROLOG系统数据结构
- OOZS:一种面向对象的Z语言扩展被引量：3
- 1997年
- 在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足．在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力．本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征．
- 李刚朱关铭
- 关键词：面向对象Z语言程序语言
- 面向对象的形式规格说明语言OOZS被引量：3
- 2000年
- OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。
- 李刚朱关铭童頫
- 关键词：面向对象形式语义计算机
- 软件求精方法的一种实现模型
- 1996年
- 软件求精是形式化开发方法中的一种新技术．本文介绍了软件求精的基本思想和理论基础，并结合一种广谱语言“扩展ＧｕａｒｄｅｄＣｏｍｍａｎｄｓ”介绍了其一般方法．此外，还基于人工智能技术中的产生式系统，提出了软件求精的一种实现模型．通过该模型，计算机能够与用户交互，半自动地实现程序代码的生成．
- 李刚朱关铭
- 关键词：形式化开发软件工程
- SUST—PROLOG/4361系统的设计与实现被引量：1
- 1989年
- 本文介绍了SUST-PROLOG/4361系统的组成及其实现技术。
- 朱关铭缪淮扣甘小平苗巍山李迎豪
- 关键词：PROLOG程序设计PASCAL
- 结构化面向对象形式规格说明语言OOZS——类型检查器被引量：1
- 1998年
- ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误．本文介绍了ＯＯＺＳ类型检查器的设计与实现．
- 李刚朱关铭缪淮扣
- 关键词：语法分析YACCOOZS软件工程
- 形式化的程序综合方法及综合器NEAT
- 1989年
- 在人工智能领域里,程序综合方法是实现自动程序设计,构造正确程序的一条有效途径,但往往由于它所涉及的知识领域相当广泛,使得以往的程序综合系统多以大中型计算机为其支持。本文提出一种以形式分析为主的程序综合方法,它勿需庞大的知识库及其管理系统,从而能在微型计算机上实现。
- 潘皞朱关铭
- 关键词：人工智能
- Z语言模式正确性的检验被引量：7
- 1995年
- 软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方而对Ｚ语言规格说明加以检验，使能尽早发现错误、提高软件正确性、降低开发开销。
- 陈晶朱关铭童頫
- 关键词：Z语言规格说明语言
