%0 Journal Article
%T 一种面向软件工程的时序逻辑语言
%A 唐稚松？
%A 赵琛？
%J 软件学报
%P 1-16
%D 1994
%X ｘｙｚ系统由时序逻辑语言ｘｙｚ／ｅ及一组基于该语言的ｃａｓｅ工具集组成．ｘｙｚ／ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．
%K 时序逻辑语言
%K 一阶逻辑
%K 描述
%K 验证
%K 证明规则
%K hoare逻辑
%K 状态转换
%K 变换
%K 并发性
%K 通信进程
%K 实时
%K 分布式系统
%K 通道
%K 动态束定
%K 同步
%K 并行语句
%K 选择语句
%K case工具
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19941201&flag=1