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文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 一种基于时序逻辑的软件体系结构描述语言XYZ/ADL。 兹比尔1025.68014朱雪阳;唐志松 2003 2位作者引用 1 唐志松 1 朱雪阳 连载1篇 1 软件杂志 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文