主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
唐稚松,赵琛.一种面向软件工程的时序逻辑语言.软件学报,1994,5(12):1-16
一种面向软件工程的时序逻辑语言
A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING
投稿时间:1993-08-12  
DOI:
中文关键词:  时序逻辑语言,一阶逻辑,描述,验证,证明规则,Hoare逻辑,状态转换,变换,并发性,通信进程,实时,分布式系统,通道,动态束定,同步,并行语句,选择语句,CASE工具
英文关键词:Temporal logic language, first order logic, specification, verification, proof rules, Hoars-logic, state-transition, transformation, concurrency, communicating process, real time, distributed system, channels, dynamic binding, synchronization, parallel statement, select statement, CASE tools.
基金项目:国家自然科学基金,电子工业部与863计划资助
作者单位
唐稚松 中国科学院软件研究所北京 100080 
赵琛 中国科学院软件研究所北京 100080 
摘要点击次数: 3596
全文下载次数: 2833
中文摘要:
      XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分.在统一的框架下,不仅能表示不同层次的抽象描述,而且能表示普通高级语言的各种重要性质.本文是关于这一时序逻辑语言最新、最完整的介绍.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利