书目详细信息
： 构件化软件动态更新与验证技术
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5618-6155-4:CNY80.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 120000 |
| 题名责任者项： | 构件化软件动态更新与验证技术/.徐小辉著 |
| 出版发行项： | 天津:,天津大学出版社:,2018.06 |
| 载体形态项： | 119页:;+图:;+24cm |
| 丛编项： | 学者文库.计算机 |
| 提要文摘： | 本书从功能和非功能需求分析着手，研究在构件化软件中提供动态更新支持需要解决的关键技术问题，并结合动态模块化、事务处理、状态迁移等动态更新支持需求，对高阶π演算(HOπ)进行扩展研究，开发一种可用于刻画构件化软件动态更新的演算方法，为动态更新安全性、一致性等的保证提供形式化推演机理。 |
| 并列题名： | Dynamic update and verification technology of component-based software eng |
| 题名主题： | 构件 应用软件 软件开发 |
| 中图分类： | TP311.52 |
| 个人名称等同： | 徐小辉 著 |
| 记录来源： | CN CDT 20180829 |