微信服务号

微信订阅号

1995年第6卷第12期文章目次

  • 显示方式：
  • 简洁模式
  • 摘要模式
    • 1  面向对象软件规格语言的设计
    全炳哲 ,  金淳兆
    1995, 6(12):705-711.
    [摘要](3772) [HTML](0) [PDF 482.96 K](4645)
    摘要:
    本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享。
    2  一种琥珀体汉字字形的自动生成方法
    陆波 ,  蔡士杰 ,  顾进
    1995, 6(12):712-718.
    [摘要](4173) [HTML](0) [PDF 399.23 K](4586)
    摘要:
    本文介绍了一种以圆头体字形特征为基础，使用覆盖规则自动生成一种琥珀体曲线轮廓汉字字形的方法．
    3  XYZ／SE程序的验证
    张文辉
    1995, 6(12):719-727.
    [摘要](3892) [HTML](0) [PDF 478.29 K](4794)
    摘要:
    ＸＹＺ／Ｅ的好处之一在于高级和低级的说明能够在同一框架下表示，因而使得软件的说明和实现变得容易一些．在这同时，开发验证工具以验证不同层次的说明是否满足所期望的关系是很重要的．谢洪亮等同志曾研究过ＸＹＺ／ＳＥ程序的验证规则．本篇文章增加了有关使用数组、过程说明和过程调用的规则．同时着重说明ＸＹＺ／ＳＥ程序验证的自动化方面的问题，且实现了一些化简验证条件的规则．
    4  基于STREAMS的X．25分组交换网访问软件的设计与实现
    杨家海 ,  李军 ,  吴建平 ,  史美林
    1995, 6(12):728-733.
    [摘要](3861) [HTML](0) [PDF 425.71 K](4777)
    摘要:
    随着远程通信需求的不断增长和我国公用分组交换数据网的扩容，实现微机ＵＮＩＸ环境下的分组交换网访问协议软件，使我国成千上万的微机用户实现远程通信已迫在眉睫。本文在简单介绍了基于ＳＴＲＥＡＭＳ机制的通信软件开发的一般思路之后，着重叙述了基于ＳＴＲＥＡＭＳ机制的Ｘ．２５分组交换网协议访问软件的设计与实现．并对基于ＳＴＲＥＡＭＳ机制的通信软件开发方法作了简单评价．
    5  HOS规格说明的功能理解及其应用
    吕建 ,  费宗铭
    1995, 6(12):734-741.
    [摘要](3878) [HTML](0) [PDF 469.68 K](4260)
    摘要:
    本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ＨＯＳ规格说明的语义验证和复用方面的应用．
    6  模态K4、D4系统的归结推理
    孙吉贵 ,  李乔 ,  刘叙华
    1995, 6(12):742-750.
    [摘要](3709) [HTML](0) [PDF 512.31 K](4244)
    摘要:
    本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K4和D4系统，建立了K4逻辑的归结推理ＲK4；D4逻辑的归结推理R D4，分别证明了ＲK4和ＲD4关于K
    7  Z规格说明中初始状态存在性的证明
    缪淮扣 ,  John McDermid ,  Lan Toyn
    1995, 6(12):751-760.
    [摘要](3535) [HTML](0) [PDF 553.77 K](4228)
    摘要:
    Ｚ规格说明中的初始化定理的证明是对基于状态的规格说明的一个标准的检查．本文给出了一个证明初始化定理的过程，该过程可自动地构成证明的证据．作为实例，我们用该过程证明了两个初始化定理．

    当期目录


    年第期

    文章目录

    过刊浏览

    年份

    刊期

    联系方式
    • 《软件学报 》
    • 主办单位：中国科学院软件研究所
                       中国计算机学会
    • 邮编：100190
    • 电话：010-62562563
    • 电子邮箱：jos@iscas.ac.cn
    • 网址：https://www.jos.org.cn
    • 刊号：ISSN 1000-9825
    •           CN 11-2560/TP
    • 国内定价：70元
    友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
    您是第位访问者
    版权所有：中国科学院软件研究所 京ICP备05046678号-3
    地址：北京市海淀区中关村南四街4号,邮政编码：100190
    电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
    技术支持：北京勤云科技发展有限公司

    京公网安备 11040202500063号