【摘 要】
：
首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热
【机 构】
：
北京航空航天大学计算机学院,ToulouseInstituteofComputerScienceResearch,浙江大学计算机科学与技术学院
论文部分内容阅读
首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.
其他文献
为探讨石窟区渗水病害的形成和作用机理，在区域性研究的基础上．选择典型窟进行重点解剖．本文着重论述北山三个典型窟经现场调查测量、五年长期观测获得的渗水分布状况及多年变化
国际礼让说学者认为一国法院之所以在一定条件下适用外国法,是基于国家主权观念出于礼让的考虑。这样的观点将国际私法中的国际公法因素发展到极致。国际私法属于广义的国际
<正> 目前重睑术开展较为广泛,许多美容诊所均已实施。由于术者对重睑术知识的了解及个人手术技巧的差异,常由此带来一些并发症,其中下垂为较严重的并发症之一。我科自1998年
测绘工程师确保工程建设在获取基础数据的过程中保证其安全性、可靠性和高效性的主要方式,这就对测绘工程自身科学、安全、公正的系统控制和质量管理提出了更高的要求,同时在
次贷金融危机发生在世界经济最发达的美国,作为监管和风险防范最全面的国家发生如此严重的经济危机,值得深思。信用评级机构作为信息中介发挥着重要作用。一方面,信用评级机
目的为加强我国中药专利保护提供建议。方法分析我国中药产业发展的现状及中药专利保护存在的问题。结果我国中药专利存在的问题集中体现在申请量少、授权量低、专利申请缺乏
社区党组织在社区建设中必须以科学发展观为指导,转变工作方法,创新社区党建模式,加强社区党组织的组织建设,加强居民区党支部的权威;形成共建合力,建立社区党组织和单位党组
为研究斜切工况下采煤机滚筒的运动规律及受力特性,利用ADAMS建立了斜切工况下采煤机虚拟样机模型,通过运动仿真得到了斜切工况下采煤机滚筒运动曲线,并以该曲线作为滚筒运动
蓄能罐式液控缓闭止回蝶阀是我国最新一代液控蝶阀,它兼有闸阀和止回阀的功能,是一种能按预先设定的程序分两阶段关闭,防止水锤对管网破坏的理想控制设备。
本文运用文献资料法、问卷调查法、实地考察法、逻辑分析法、数理统计等方法,对肇庆市绿道体育开展的场地设施、健身指导、管理机制、活动组织、信息宣传、经费保障等现状进