软件体系结构的数学论域

• 作者: 庄芸 李晖
• 来源期刊: 武汉大学学报(工学版)
• 学科: 工学
• 关键词: 软件体系结构 数学论域 层次区间 重复算子链
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 计算机科学及应用
• 页码范围: 107-110
• 页数: 4页
• 分类号: TP311.5
• 字数: 4060字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-8844.2003.04.026

摘要

把两个数学集合 SAC和定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晖	武汉大学计算中心	22	70	5.0	6.0
2	庄芸		2	4	1.0	2.0