软件体系结构的属性图文法描述及其约束验证

来源 :计算机应用研究 | 被引量 : 0次 | 上传用户:renj19861123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
该研究旨在比较高血压和非高血压患者估算的肾小球滤过率(estimated glomerular filtration rate,eGFR)较低与脑卒中预后的相关性。方法:获取2012和2013年中国脑卒中登记处确
期刊
住房和城乡建设部建筑节能与科技司与德国技术合作公司(GTZ)2009年7月16日-17日在北京联合组织召开了“外墙外保温防火技术国际研讨会”.会议邀请了包括欧洲薄抹灰外墙外保温
交往式思想政治教育的提出具有深刻的理论基础和现实依据,它的发展研究是对马克思主义理论指向及现实时空境遇要求的回应,解决了以往思想政治教育以人为本仅停留在理念、原则
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
7月18日,国网江西省电力有限公司2019年年中工作会议在昌召开.会议以习近平新时代中国特色社会主义思想为指导,传达贯彻国家电网有限公司年中工作会议精神,落实国家电网“三
期刊
目前,农村信用社一直是我们党与政府联系于广大人民群众非常重要的金融纽带;同时也是作为广阔农村金融市场的主要金融服务提供商。可以说,农村信用社涉农信贷业务开展的好与
B2C模式下,网络交易中平台提供者处于核心地位。其一方面是交易平台的所有权人,另一方面也是促进双方交易的特殊中介人,跟实体商城中的商铺出租人角色不一样。平台提供者在网络
本文通过对荣华二采区10
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊