精品文献
公开招标项目暂停有时间限制吗
某市建设工程施工公开招标项目文件范本
1 广州市建设工程施工公开招标项目 招标文件范本 （适用于非资格后审及电子评标的施工招标项目） 资格预审 GZZB2010-006-1 2 广州市城乡建设委员会 二○一一年十一月 第一部分 招标公告范本 3 [工程名称 ] 施工 [总承包 /专业承包 ]招标公告 根据 [ 立项批文 ]、[用地批文 ]、[ 规划批文 ] 批准，并且本工程具有施工图审 查证明文件及资金证明， [ 招标单位 ] 现对 [工程名称 ] 工程施工 进行施工 [总承包 /专业承包 ]公开招标，选定承包人。 一、工程名称： 二、招标单位： 联系人： 联系电话： 项目建设管理单位 1 ： 联系人： 联系电话： 招标代理机构： 联系人： 联系电话： 招标监督机构： 投诉电话： 三、建设地点： 四、项目概况 五、标段划分及各标段招标内容、规模和招标控制价： 注：两个或两个以上标段
嵌入式建模中带有时间扩展的UML状态图的形式化方法
嵌入式建模中带有时间扩展的UML状态图的形式化方法
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。