当前位置:首页 > TAG信息列表 > 开发
开发
-
安宁河谷地区农业信息资源开发与利用
坤燕昌著2013 年出版279 页ISBN:9787561472132本书以安宁河谷地区一市八县农业信息资源为研究对象,立足于信息化的国际环境,基于互联网,以“农业信息资源”为研究点,以“农业信息资源的开发与利用”为核心,从理论、实证的角度系统论述了安宁河谷地区农业实体...
-
B方法与形式化软件开发技术研究
崔梦天,韩伟著2012 年出版133 页ISBN:9787561457290本书从软件实际开发过程出发,将形式化技术应用于每个开发阶段,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法,其中包括UML模型图到B方法形式规约的比较全面的转换方法。...