![PTSC语言形式化语义的仿真设计]()
论文摘要随着计算机系统的日益复杂,对其进行形式化描述也逐渐困难。实时概率并行语言(PTSC)由朱惠彪教授等提出,集概率,实时和基于共享变量的并行机制于一体,可用于描述复杂系统的...
![增量式软件产品线关键技术研究]()
论文摘要软件复用技术已经被认同为提高软件开发效率和质量的有效途径。近年来,软件产品线作为一种系统化的软件复用方式得到了广泛的关注。软件产品线着眼于特定领域,将领域共性和可变性构...
![基于UML与时序逻辑的嵌入式实时软件建模及应用]()
论文摘要嵌入式系统是近年来国内外计算机科学与控制论领域研究的一个热点课题。随着嵌入式系统的规模和复杂性不断增大,建模在嵌入式实时软件开发过程中的作用也越来越重要。统一建模语言U...
![支持模型驱动开发的体系结构形式化语义与转换一致性研究]()
论文摘要模型驱动开发（Model-DrivenDevelopment,MDD）已成为软件工程技术的研究热点和发展趋势,它通过提升抽象层次来应对软件开发的复杂性。模型转换是MDD...
![UML模型的语义模型]()
论文摘要UML是一种图形化的语言，用于明确规定和构建软件系统开发过程中形成的产品，使这些产品可视化并形成文档资料。UML代表了在模拟大型和复杂的系统中被证明是最成功的工程实践的...
![基于UML statecharts测试方法的研究]()
论文题目:基于UMLstatecharts测试方法的研究论文类型:博士论文论文专业:控制理论与控制工程作者:占学德导师:缪淮扣关键词:形式化语义,模型,基于规格说明的软件测试,...
![软件体系结构形式描述研究]()
论文题目:软件体系结构形式描述研究论文类型:博士论文论文专业:计算机软件与理论作者:朱雪阳导师:唐稚松关键词:软件体系结构,体系结构描述语言,双重描述框架,系统,活动图,状态图...
