未找到相关数据
一种面向软件工程的时序逻辑语言
被引：15
作者：
唐稚松，赵琛
机构：
[1] 中国科学院软件研究所
来源：
关键词：
时序逻辑语言，一阶逻辑，描述，验证，证明规则，Hoare逻辑，状态转换，变换，并发性，通信进程，实时，分布式系统，通道，动态束定，同步，并行语句，选择语句，CASE工具;
D O I：
10.13328/j.cnki.jos.1994.12.001
中图分类号：
TP311.5 [软件工程];
学科分类号：
摘要：
ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．
引用
收藏
页码：1 / 16
页数：16
相关论文