基于时序逻辑语言描述的监控系统的软件体系结构求精

• 作者: 张广泉 戎玫 晏荣杰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件体系结构 监控系统 组件 求精 时序逻辑 XYZ/E
• 年，卷（期）: 2003,（31）
• 所属期刊栏目: 博士论坛
• 页码范围: 14-17
• 页数: 4页
• 分类号: TP311
• 字数: 4347字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.31.005

摘要

该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例--移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
9	戎玫	苏州大学计算机科学与技术学院	48	418	12.0	18.0