书籍简介:

本书从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案，其次结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶演算以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算，以期为动态更新安全性、一致性等的保证提供形式化推演机理；最后构建动态更新服务框架和支持平台，试图对所提议的关键技术解决方案加以技术实现，通过原型案例和实验实现来推导和验证构件化软件动态更新所采用的技术和方法。

书籍规格:

书籍详细信息
书名	构件化软件动态更新与验证技术站内查询相似图书
丛书名	学者文库
	9787561861554 如需购买下载《构件化软件动态更新与验证技术》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	天津	出版单位	天津大学出版社
版次	1版	印次	1
定价(元)	80.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数		印数

全网搜索试读资源

书籍信息归属:

构件化软件动态更新与验证技术是天津大学出版社于2018.6出版的中图分类号为 TP311.523 的主题关于构件－应用软件－软件开发的书籍。