机读格式显示(MARC)

• 000 01304nam0 2200265 450

• 001 0000716825

• 005 20181106104900.0

• 010 __ |a 978-7-5618-6155-4 |d CNY80.00

• 100 __ |a 20180817d2018 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 120000

• 105 __ |a a z 000yy

• 106 __ |a r

• 200 1_ |a 构件化软件动态更新与验证技术 |A gou jian hua ruan jian dong tai geng xin yu yan zheng ji shu |b 专著 |d Dynamic update and verification technology of component-based software |f 徐小辉著 |z eng

• 210 __ |a 天津 |c 天津大学出版社 |d 2018

• 215 __ |a 119页 |c 图 |d 24cm

• 300 __ |a 学者文库·计算机

• 330 __ |a 本书对应研究中，从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶π演算（HOπ演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为updateπ演算）；最后构建动态更新服务框架和支持平台。

• 510 1_ |a Dynamic update and verification technology of component-based software |z eng

• 606 0_ |a 构件 |A Gou Jian |x 应用软件 |x 软件开发

• 690 __ |a TP311.523 |v 5

• 701 _0 |a 徐小辉 |A xu xiao hui |4 著

• 801 _0 |a CN |b HDUL |c 20181106

• 905 __ |a HDUL |d TP311.523/299

• 920 __ |a 233030 |z 1