构件化软件动态更新与验证技术
作者： 徐小辉著
关键词： 构件-应用软件-软件开发
页数：119
出版社： 天津：天津大学出版社
出版日期：
发现《构件化软件动态更新与验证技术》在 2023-07-06 可全文阅读或下载。
图书简介
本书从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案，其次结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶演算以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算，以期为动态更新安全性、一致性等的保证提供形式化推演机理；最后构建动态更新服务框架和支持平台，试图对所提议的关键技术解决方案加以技术实现，通过原型案例和实验实现来推导和验证构件化软件动态更新所采用的技术和方法。
用户须知
出版社通过教客网下载电子书并起诉站长多次，本站随时可能倒闭。
诉讼案号：（2022）川01民初4401，（2022）川01民初4403，（2022）川01民初4403，（2022）川0191民初19351号， （2022）川0191民初19594号，（2022）川0191民初20457号，（2022）川0191民初20459号， （2023）川知民终373号，（2023）川知民终374号，（2023）川知民终375号， （2024）川0191民初15977号，（2024）川0191民初15979号，（2024）川0191民初15980号， （2024）川0191民初15981号，（2024）川0191民初15982号
- 找《构件化软件动态更新与验证技术》，去就近图书馆。
- 本页面文字内容和图片来自 m.5read.com。
- 封皮图片引用地址：http://cover.duxiu.com/coverNew/CoverNew.dll?iid=696c676c70696770706f5ea6a797af99ac9daaa599aaa33636393234333838