一种面向软件工程的时序逻辑语言

唐稚松; 赵琛

首页> 中文期刊> 《软件学报》 >一种面向软件工程的时序逻辑语言

一种面向软件工程的时序逻辑语言

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |1994年第12期|1-16|共16页
作者
唐稚松; 赵琛;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类软件工程;
关键词
软件工程; 时序逻辑语言; CASE;

相似文献

中文文献
外文文献
专利

1. 框架时序逻辑语言MSVL中面向对象机制的实现 [J] . 王小兵 ,段振华 . 西安电子科技大学学报（自然科学版） . 2010,第003期
2. 面向对象的时序逻辑语言 [J] . 王小兵 ,段振华 . 电子科技大学学报 . 2009,第001期
3. 一种基于时序逻辑语言的实时售票系统描述与精化方法 [J] . 金旗铭 ,张广泉 . 苏州大学学报（工科版） . 2009,第004期
4. 实时时序逻辑语言XYZ/RE到时间自动机的映射 [J] . 刘珊艳 ,戎玫 ,张广泉 . 网络新媒体技术 . 2008,第006期
5. 基于时序逻辑语言XYZ/E的实时系统应用研究 [J] . 刘珊艳 ,张广泉 . 重庆师范大学学报：自然科学版 . 2006,第3期
6. 一种面向时序电路的故障测试产生方法及其实现 [C] . 宫云战 . 中国电子学会电路与系统学会第十二届年会 . 1995
7. 基于时序逻辑语言的分布式实时软件体系结构描述与精化 [A] . 金旗铭 . 2009

一种面向软件工程的时序逻辑语言

摘要

著录项

相似文献

相关主题

期刊订阅