MARC状态：审校 文献类型：中文图书 浏览次数：41
- 题名/责任者:
- 构件化软件动态更新与验证技术/徐小辉著
- 出版发行项:
- 天津:天津大学出版社,2018
- ISBN及定价:
- 978-7-5618-6155-4/CNY80.00
- 载体形态项:
- 119页:图;24cm
- 个人责任者:
- 徐小辉 著
- 学科主题:
- 构件-应用软件-软件开发
- 中图法分类号:
- TP311.523
- 一般附注:
- 学者文库·计算机
- 提要文摘附注:
- 本书对应研究中，从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶π演算（HOπ演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为updateπ演算）；最后构建动态更新服务框架和支持平台。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.523/299 | 72243397 |  自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.523/299 | 72243398 | 自然书库（3F东）
|
可借 | 自然书库（3F东） | |
| TP311.523/299 | 72243399 | 自然书库（3F东）
|
可借 | 自然书库（3F东） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架