一种面向软件工程的时序逻辑语言
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金,电子工业部与863计划资助


A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分.在统一的框架下,不仅能表示不同层次的抽象描述,而且能表示普通高级语言的各种重要性质.本文是关于这一时序逻辑语言最新、最完整的介绍.

    Abstract:

    XYZ system consists of a temporal logic language XYZ/E and a group of CASE tools based on it. The language XYZ/E is designed to facilitate the software engineering methodologies such as stepwise refinement, specification and verification, rapid-prototyping, and in particular, to be able to represent the dynamic aspects of the real time communicating process. With a uniform framework, it can represent not only the specifications of different abstract levels but also almost every kind of significant features in conventional imperative languages. This paper is the most updated and detailed introduction of this temporal logic language in Chinese.

    参考文献
    相似文献
    引证文献
引用本文

唐稚松,赵琛.一种面向软件工程的时序逻辑语言.软件学报,1994,5(12):1-16

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1993-08-12
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号