接口自动机论文

基于MDE的AADL构件组合建模及仿真途径研究
论文摘要软件体系结构是控制软件复杂度、提高软件质量的一种重要手段。近年来,随着模型驱动技术在软件开发中的普遍应用,越来越多的基于构件的可视化建模语言被提出,相应的系统构件模型也...
基于接口自动机的组合验证方法研究
论文题目:基于接口自动机的组合验证方法研究论文类型:博士论文论文专业:计算机科学与技术作者:文艳军导师:齐治昌关键词:形式验证,组合验证,模型检验,精化检验,接口自动机,体系结...
构件化嵌入式软件设计的分析与验证
论文题目:构件化嵌入式软件设计的分析与验证论文类型:博士论文论文专业:计算机软件与理论作者:胡军导师:李宣东,郑国梁关键词:构件化系统设计,嵌入式软件设计,实时软件系统,资源分...