![基于体系结构的软件自适应方法研究]()
论文摘要客观世界是不断变化和发展的,而衡量软件好坏的一个重要的标准是软件是否具有自修正能力。为了适应Internet开放环境和用户需求的不断变化,软件系统需要不断地进行自我调整...
![面向方面的建模技术研究]()
论文摘要随着软件系统规模和复杂性的不断增大,作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一的软件体系结构已发展成为软件工程中一个重要的研究领域。但是,软...
![基于MADL语言的时钟精确级仿真器生成]()
论文摘要随着处理器设计复杂度的增加,设计前期在系统级别进行规划对芯片各方面性能的影响日趋增加。由于系统级设计中需要时钟精确级仿真器(CAS)进行设计空间探索(DSE),获得芯片...
![软件产品线关键技术研究 ——形式化的产品线体系结构技术]()
论文摘要“软件产品线”是一个以软件工程学为基础发展起来的新兴多学科交叉的研究领域，现已成为软件工程和软件复用领域研究与实践的前沿。软件产品线体系结构描述了产品线内所有成员的公共...
![基于Web服务的特定领域软件体系结构及其关键技术研究]()
论文摘要作为构建柔性的大规模分布式企业级系统的一种新的工具，以Web服务为基础的面向服务软件体系结构（SOA）扮演着越来越重要的角色，其开发方法和建模研究正成为软件工程领域一个...
![专用指令集处理器（ASIP）体系结构设计研究]()
论文摘要专用指令集处理器（ASIP，ApplicationSpecificInstructionSetProcessor）是一种新型的具有处理器结构的芯片，它为某个或某一类型应...
![用例模型到设计模型的平稳过渡研究]()
论文摘要软件建模方法的发展经历了结构化建模方法、OO建模方法和软件体系结构建模方法三个阶段。结构化建模方法不利于软件的重用、维护等,已很难适应当今大型软件的开发。早期的OO建模...
![基于接口自动机的组合验证方法研究]()
论文题目:基于接口自动机的组合验证方法研究论文类型:博士论文论文专业:计算机科学与技术作者:文艳军导师:齐治昌关键词:形式验证,组合验证,模型检验,精化检验,接口自动机,体系结...
![基于软件体系结构的测试用例生成技术研究]()
论文题目:基于软件体系结构的测试用例生成技术研究论文类型:博士论文论文专业:计算机应用技术作者:叶俊民导师:王振宇关键词:软件体系结构,体系结构描述语言,计时状态进程,操作语义...
![软件体系结构形式描述研究]()
论文题目:软件体系结构形式描述研究论文类型:博士论文论文专业:计算机软件与理论作者:朱雪阳导师:唐稚松关键词:软件体系结构,体系结构描述语言,双重描述框架,系统,活动图,状态图...
