关键词: aadl  z语言  可靠性  模型转换  xslt  

2019年第12期 《计算机技术与发展》

关键词: 形式化方法  z语言  业务基础软件平台  软件工程  装备管理  

2013年第10期 《软件工程》

关键词: 软件形式化  z语言  设备管理  

2017年第21期 《电子技术与软件工程》

关键词: 面向方面  需求分析  形式化验证  

2017年第06期 《广东工业大学学报》

关键词: 嵌入式软件  可靠性  aadl  z语言  dtmc  

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

关键词: 攻击树  入侵  协同  建模  ip欺骗攻击  形式化语言  攻击模式  z语言  

2005年第04期 《计算机应用与软件》

关键词: 规格说明  组件  事件  z语言  交互模型  图形技术  软件体系结构  重要因素  使用形式  形式化  

2004年第11期 《计算机应用与软件》

关键词: 形式化规格说明  onect  z语言  容忍入侵  建模  

2004年第12期 《系统仿真学报》

关键词: 油库管理  形式化方法  z语言  形式化验证  

2018年第09期 《现代计算机》

关键词: 攻击模型  形式化  z语言  确定有限自动机  dfa  网络攻击  网络安全  

2004年第23期 《计算机工程与应用》

关键词: z语言  过程代数csp  规格说明  

2005年第08期 《计算机技术与发展》

关键词: 体系结构分析设计语言  构件式系统  计算树逻辑  z语言  模型检测  

2017年第11期 《计算机技术与发展》

关键词: 形式化方法  petri网  z语言  pz网  

2004年第08期 《小型微型计算机系统》

关键词: 形式化方法  z语言  西瓜  应用  需求规格说明  棋类游戏  操作模式  状态模式  

2005年第02期 《科技广场》

关键词: 体系结构分析设计语言  构件交互自动机  z语言  模型转换  

2017年第07期 《计算机技术与发展》

关键词: 需求分析  形式化方法  z语言  状态模式  规格说明  前置条件  

2007年第03期 《商丘师范学院学报》

关键词: 答疑系统  软件工程  形式化方法  z语言  

2007年第11期 《西南农业大学学报》

关键词: z语言  xml模式  zml  

2006年第05期 《江西科学》

关键词: 答疑系统  软件工程  形式化方法  z语言  

2007年第11期 《西南大学学报·自然科学版》

关键词: 基于角色的访问控制  形式化规范和证明  责任分离  冲突约束  z语言  

2006年第Z2期 《计算机研究与发展》