论文部分内容阅读
一种基于OCL的体系结构一致性验证环境
【出 处】
：
计算机科学
【发表日期】
：
2012年z3期
其他文献
《中国食品卫生杂志》经新闻出版总署批准,由卫生部主管,中华预防医学会、中国疾病预防控制中心营养与食品安全所主办。1989年创刊,双月刊,逢单月末出版,96页。本刊为中文核
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
解析“桑树套作马铃薯和红薯”(Ms)与“桑树套作蚕豆和黄豆”(Md)2种桑园一年二熟制套作模式下的植物群体光能竞争机制,有助于通过技术措施提高桑园种植植物复合系统的光能利
风险投资作为一种金融制度改革与创新的产物,对促进一国中小型企业,尤其是高新技术企业的创业、成长与发展起到了极好的促进作用。在风险投资过程中,存在着“风险投资者-风险
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
企业年金在国内还是一项比较陌生的福利制度，而在一些发达的工业化国家，企业年金却已经成为现代社会多支柱养老保障体系的重要一极。与基本养老保险、商业人寿保险一起共同构成
<正>在新的时代条件下,领导干部要不断提高自己,经受住各种考验,就要坚持在读书学习中坚定理想信念、提高政治素养、锤炼道德操守、提升思想境界,坚持在读书学习中把握人生道
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥