【摘 要】
：
软件体系结构经过10多年的发展,在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前,就软件体系结构的分析、评
【机 构】
：
东南大学计算机科学与工程学院,南京大学计算机软件新技术国家重点实验室
【基金项目】
：
国家自然科学基金(批准号:60473065);计算机软件新技术国家重点实验室(南京大学)课题资助
论文部分内容阅读
软件体系结构经过10多年的发展,在体系结构的基础理论、体系结构风格、体系结构描述语言和体系结构建模等方面的研究取得了一系列可喜的成就。目前,就软件体系结构的分析、评价、测试和验证的研究也在如火如荼地进行中。模型检验是一种基于自动机理论的形式验证方法,采用穷举状态空间的方式来证明系统的模型是否满足要验证的属性。同传统的测试和验证的手段相比,模型检验有其自身的优势。为此,越来越多的研究人员正在将模型检验技术应用到软件体系结构的分析和验证中。本文调查了模型检验技术在软件体系结构中的应用现状,剖析了影响软件体系结构模型检验的因素,给出了软件体系结构模型检验的未来主题。
其他文献
猪传染性胸膜肺炎(Porcine Contagious Pleuropneumonia, PCP)是胸膜肺炎放线杆菌（Actinobacillus pleuropneumoniae,APP）引起的一种高度传染性、致死性猪呼吸道传染病。近年来
我国新一轮基础教育课程改革是在科学竞争的迅猛发展,知识经济时代的到来,国际竞争日趋激烈的大背景下展开的。其实早在2001年,国家教育部就在邓小平同志“教育要面向现代化,
本文介绍了定义可靠软件的 HOS 方法论。这种方法论已在美国国家航天局用来开发宇宙飞船飞行软件系统。它以控制系统的六条公理为基础,使用HOS 规范语言描述系统,进行系统功
随着经济全球化,尤其是我国加入世界贸易组织以后,英语作为一种比较普遍的国际交流语言正发挥着越来越重要的作用。社会对英语的口语表达应用能力的需求不断增强,但是中国当
随着我国市场经济的发展,房地产行业获得了良好外部发展环境。房地产市场日益活跃,已经成为发展国民经济的重要支柱产业之一。与此同时,房地产行业市场竞争也日趋激烈房地产
手枪作为重要的单兵自卫武器，在其应用领域中具有举足轻重的地位，但手枪在击发时由扳机力作用造成的枪口抖动会严重影响其射击精度。本文从多个方面对手枪射击时的动态特性展开
心理危机预警指标是大学生心理危机预警体系的重要组成部分,通过对2003年～2013年间大学生心理危机预警指标研究情况分析可见,当前大学生心理危机预警指标研究成果薄弱。理论研
本文选取吉林电信终端直供平台建设与应用作为研究对象，通过深入研究该项目的建设和应用过程，阐述4G时代中国电信终端直供系统的工程与应用方向。论文根据课题特点，采用理论与实
青年大学生是富有活力、充满激情的知识群体,是祖国的高素质人才,是建设美好未来的生力军。他们肩负着国家富强、民族振兴、人民幸福的历史重任,要肩负起这份历史使命,就要求
目的：通过实验的方法，对锥形束CT和多层螺旋CT的辐射剂量和成像质量进行对比研究，旨在临床应用时，根据锥形束CT及多层螺旋CT各自不同的特点，选则合适的方法。材料和方法：研究辐射剂