ZYZ系统的目的,意义,作用与应用

ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题，章介绍了这个系统的目的，意义，作用和应用。     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

程序技术研究三十年

§1前言自五十年代末期,Backus完成Fortran的编译系统以来,程序技术的研究已有三十年的历史了.三十年来,计算机硬软件技术都有了很大的发展和变化,但仍有些带根本性的目标与问题并没有完全解决,或者说变化不大.如何认识这些不变的和变的方面,如何看清这一技术领域发展中带规律性的东西     

汉字输入与高级语言

本文旨在提出一种在高级语言的加工环境中进行汉字输入的方法。它不要求特殊的输入设备并可脱机输入;也不要求按键人员熟记生疏的规则;它不需要固定一种按键方式;它可作为任何容许出现汉字的高级语言的予先加工程序,为之输入汉字。 此外,还介绍了一种简便而按键次数较少的按键方式。     

关于XYZ系统中的汉字处理问题

本文旨在提出一种在高级语言的加工环境中进行汉字输入的方法。它不要求特殊的输入设备并可脱机输入;输入规则简易好记。文中所介绍的XYZ/H汉字输入系统既可独立于高级语言作为一输入汉字的专用系统,亦可与高级语言系统联用,作为其输入系统或预处理系统的一个组成部份,为之输入汉字。 此外,还介绍了一种输入规则简易好记,按键次数较少的汉字编码方案。     

操作系统实现语言XYZ/OSI

<正> 一、前言 操作系统的实现语言一般应满足以下的要求: (1)应有足够的表示能力,能描述出操作系统的各部分的算法。 (2)应有足够的检验能力,能由编译系统查出尽可能多的错误。 (3)应有较好的可阅读性。     

XYZ/G语法公式表

<正> §0 前言 1.XYZ/G整个文法划分为五层子文法:XYZ/G0,XYZ/G1,XYZ/G2,XYZ/G3,XYZ/G4,每层子文法按[1]给出的方法分成六块:即§1总体结构,§2数据结构,§3常量,§4语句,§5表达式,§6附属部分。第i个(i=1,2,3,4)子文法的第j块是第i-1个子文法的第j块的扩充,于是整个文法构成一个二维矩阵,即;     

XYZ/E面向对象程序语义概述

XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.     

XYZ系统中的速成原型示范及其支持工具*

速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视．XYZ系统是一种以时序逻辑为基础的适应多种程序设计方式的CASE环境．它所支持的软件开发方法是“以逐步求精方式，进行形式描述、验证或速成原型示范．直到得出可有效执行的程序”的方法．这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明．而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题．本文着重介绍并讨论运用XYZ系 统进行软件开发时所采用的速成原型示范，以及XYZ系统中支持速成原型示范的软件工具XYX/PROT，该工具可以从目标系统的时序逻辑语言抽象描述自动地构造出PROLOG语言表示的可运行原型．并演示原型．     

时序逻辑程序的证明系统

本文为时序逻辑语言XYZ/E建立了一个证明系统.其主要特点是:1.证明可以直接在时序逻辑系统中进行,无需另行建立专门的公理系统;2.可建立一些元数学定理以简化证明过程;3.可在逐步求精的过程中边设计边证明正确性.