关键词: statechart  有限状态机  形式化语义  软件规格  

2005年第02期 《交通科学与工程》

关键词: 语义标记  理想化认知模式  原型范畴  认知域  形式化语义  标记方法  认知分析  描述方法  认知模式  理想化  语言学  侧面  

2005年第03期 《萍乡学院学报》

关键词: xpath语言  形式化语义  面向对象  数据类型  程序设计语言  

2004年第02期 《计算机科学》

关键词: xquery语言  形式化语义  面向对象  xml语言  应用程序  标准化  

2004年第03期 《计算机科学》

关键词: uml  活动图  形式化语义  时序逻辑  

2005年第09期 《计算机研究与发展》

关键词: verilog  形式化语义  操作语义  并发  

2005年第04期 《华东理工大学学报·社会科学版》

关键词: 体系结构  构件模型  构件可跟踪性  形式化语义  软件重用  

2006年第06期 《软件学报》

关键词: uml状态图  petri网  形式化语义  

2007年第02期 《北京航空航天大学学报》

关键词: 线性时序逻辑  形式化语义  顺序图  状态图  

2007年第03期 《南京邮电大学学报·自然科学版》

关键词: 网格工作流  查询机制  语义模型  语义框架  知识获取  描述框架  工作流模型  形式化语义  

2007年第10期 《上海交通大学学报》

关键词: 时序逻辑  形式化语义  顺序图  

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

关键词: 统一建模语言状态图  petri网  形式化语义  

2007年第07期 《计算机集成制造系统》

关键词: 统一建模语言  规范和描述语言  模型转换  形式化语义  协议  

2007年第16期 《计算机工程与设计》

关键词: 概念语义  形式化语义  本体  近似  

2007年第11期 《计算机工程》

关键词: 模型驱动开发  协同系统  软件体系结构  形式化语义  

2009年第B04期 《电子学报》

关键词: 网格监控架构  时序算子  形式化语义  

2011年第02期 《甘肃科学学报》

关键词: 系统实现  一致性测试  测试用例生成  形式化语义  

2011年第05期 《西南农业大学学报》

关键词: 自动化验证  通信顺序进程  形式化语义  建模  

2010年第08期 《计算机应用》

关键词: 密码协议  时间相关  谓词模态逻辑  形式化语义  

2011年第03期 《软件学报》

关键词: 系统实现  一致性测试  测试用例生成  形式化语义  

2011年第05期 《西南大学学报·自然科学版》