关键词: 接口自动机  构件  构件模型  适配  构件适配器  

2012年第04期 《煤炭技术》

关键词: 接口自动机  时间接口自动机  资源接口  乐观方法  博弈  形式系统  自动机  接口  组件  种用  

2005年第11期 《计算机科学》

关键词: 接口自动机  时间约束  执行片段  相关性分析  时序缺陷检测  软件测试  嵌入式软件  

2017年第12期 《计算机学报》

关键词: 嵌入式软件  构件式设计  能耗分析  软件验证  接口自动机  

2009年第01期 《南京理工大学学报》

关键词: 实时软件  构件式设计  模型检验  接口自动机  顺序图  统一建模语言  

2006年第01期 《软件学报》

关键词: 接口自动机  消息序列图  极大包含环境  构件  行为抽取  

2007年第01期 《软件学报》

关键词: 接口自动机  精化检验  组合可达性分析  状态空间爆炸问题  

2006年第04期 《计算机工程与科学》

关键词: 构件式系统设计  接口自动机  模型检验  顺序图  

2006年第04期 《计算机学报》

关键词: 服务组合  业务流程执行语言  形式化工具  接口自动机  

2008年第02期 《山东理工大学学报·自然科学版》

关键词: 一致性测试  抽象状态机语言  接口自动机  协议测试模型  

2011年第01期 《自动化与仪器仪表》

关键词: 接口自动机  web服务  web服务组合  web服务商业流程执行语言  

2009年第05期 《计算机应用研究》

关键词: 接口自动机  消息序列图  流体变量  构件  行为舍弃  

2008年第11期 《计算机应用》

关键词: web应用  接口自动机  模型检验  spin  

2009年第03期 《计算机工程与应用》

关键词: 嵌入式软件设计  非功能性质验证  构件化设计  软件验证工具  接口自动机  

2010年第08期 《计算机科学》

关键词: 嵌入式软件设计  uml交互概观图模型  接口自动机  即时验证算法  形式化验证工具  

2011年第10期 《计算机科学》

关键词: 嵌入式软件设计  构件化设计  软件验证  接口自动机  模型检验工具  

2010年第11期 《小型微型计算机系统》

关键词: 接口自动机  构件组合  行为映射图  

2009年第15期 《计算机工程》

关键词: 组合web服务  接口自动机  组合环境  强弱相容性  可达性分析  

2011年第09期 《山东大学学报·理学版》

关键词: 基于构件的软件开发  接口自动机  非法状态  一致性验证  冗余行为  

2010年第24期 《计算机工程》

关键词: 软件工程知识体系  接口自动机  构件行为聚类  聚类构造器  

2011年第09期 《计算机工程》