• 基于语言的软件可信性度量理论及其应用

    基于语言的软件可信性度量理论及其应用

    论文摘要软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注.可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究...
  • 利用构件技术开发虚拟电子测量仪器

    利用构件技术开发虚拟电子测量仪器

    论文摘要基于构件的软件开发方法是软件工程新的研究和发展方向。上个世纪80年代末,美国国家仪器公司提出了“软件就是仪器”的新概念。它将计算机技术与现代仪器技术相结合,开发出了虚拟...
  • 包含非功能特征描述的构件建模技术

    包含非功能特征描述的构件建模技术

    论文摘要基于构件的软件开发方法(Component-BasedSoftwareDevelopment,CBSD)提高了软件生产效率和质量,日益成为软件开发的主流范型,是软件开发...
  • 面向体系结构的构件接口模型研究

    面向体系结构的构件接口模型研究

    论文摘要基于构件的软件工程(ComponentBasedSoftwareEngineering,CBSE)提高软件生产效率和质量,日益成为软件开发的主流范型,是软件开发实现工程...