论文部分内容阅读
Assisting Temporal Requirement Specification
【机 构】
：
UnivLilleNorddeFrance,IFSTTAR,ECLILLE
【出 处】
：
计算机技术与应用：英文
【发表日期】
：
2012年1期
其他文献
如何推进农业和农村经济战略性结构调整，促进农民增收，一直是社会各界关注的热点。而这其中很关键的一点，是如何提高对农村、农业、农民的金融服务水平，给他们打造一个发展的平台
目前，在很多老牌资本主义国家，如意大利、西班牙和法国，家族企业依然占公司版图的主导地位，亚洲“四小龙”也依然是家族企业“看家”。企业制度的选择必须符合经济的发展水平，必须
<正> 塔什塔戈尔铁矿床是苏联最具岩爆危险的矿床之一。矿床主要围岩为侵入石英正长岩和正长斑岩;而矿体则是在正长岩侵入体中磁铁矿石凝灰质沉积层页岩的交替作用而形成。矿
以古玩经济为示例证明,信息态是历史的运动状态与过程,是二元价值容介态经济的源泉、基础、灵魂,是经济发展方向的动力源;物质经济与精神经济是"水溶性"关系;人们对物质经济
<正> 穆龙陶露天矿开采的矿床赋存在坚硬厚层的变质岩中。矿体为粉砂岩与页岩及少量经受角岩化的细粒砂岩的互层。矿床的岩石组成是具有各种矿物成分的页岩及砂岩。据专家们
广义虚拟经济理论提供了观察经济社会发展和人的发展的新视角。从“实体经济”到“广义虚拟经济”，从“生理需求”满足到“心理需求”满足，从“看不见的手”到“看不见的心”，都