基于交际接口的Web应用模型检验

• 作者: 李亮 李决龙 杨启亮 邢建春
• 来源期刊: 计算机应用研究
• 关键词: Web应用 交际接口 TICC 模型检验
• 年，卷（期）: 2011,（1）
• 页码范围: 207-210
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.01.058

摘要

为了验证Web应用的质量,首次采用了基于交际接口及其工具TICC的建筑智能化系统Web应用验证方法,通过一个简单的能源管理Web应用系统实例说明了整个建模、构件模块组合验证和系统性质验证过程.结果表明验证能够顺利实现,因而该方法是一种合适的Web应用验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢建春	解放军理工大学工程兵工程学院	95	797	12.0	24.0
2	杨启亮	解放军理工大学工程兵工程学院	53	318	9.0	15.0
3	李决龙		16	64	5.0	7.0