×

XYZ/ADL公司

swMATH ID: 2924
软件作者: 朱雪阳;唐志松
描述: 基于时序逻辑的软件体系结构描述语言XYZ/ADL体系结构描述语言(ADL)是基于软件体系结构的软件开发的基础。支持逐步细化的ADL可以使良好的设计导致良好的实现更加方便。架构描述语言XYZ/ADL基于时态逻辑语言XYZ/E,可以在统一的逻辑框架下表示动态语义和静态语义,因此可以支持从高级架构到低级架构的逐步过渡,介绍了XYZ/ADL的框架和语法,并用XYZ/E解释了其底层语义,介绍了如何用XYZ/ADL描述软件体系结构和软件体系结构风格。
主页: http://en.cnki.com.cn/Article_en/CJFDTOTAL-RJXB200304000.htm
关键词: 时序逻辑语言
相关软件: 自旋
引用于: 1文件

2位作者引用

1 唐志松
1 朱雪阳

连载1篇

1 软件杂志

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文