临沂职业学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

构件化软件动态更新与验证技术/徐小辉著

出版发行项:

天津:天津大学出版社,2018.06

ISBN及定价:

978-7-5618-6155-4/CNY80.00

载体形态项:

119页:图;24cm

并列正题名:

Dynamic update and verification technology of component-based software

丛编项:

学者文库.计算机

个人责任者:

徐小辉 著

学科主题:

构件-应用软件-软件开发

中图法分类号:

TP311.523

提要文摘附注:

本书从功能和非功能需求分析着手，研究在构件化软件中提供动态更新支持需要解决的关键技术问题，并结合动态模块化、事务处理、状态迁移等动态更新支持需求，对高阶π演算(HOπ)进行扩展研究，开发一种可用于刻画构件化软件动态更新的演算方法，为动态更新安全性、一致性等的保证提供形式化推演机理。

使用对象附注:

计算机专业研究人员

电子资源:

http://www.cxstar.com/Book/Detail?pinst=P6u77RH0me5oQF0l5w3&ruid=291699320004c9XXXX

豆瓣简介：