本书从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案，其次结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶演算以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算，以期为动态更新安全性、一致性等的保证提供形式化推演机理；最后构建动态更新服务框架和支持平台，试图对所提议的关键技术解决方案加以技术实现，通过原型案例和实验实现来推导和验证构件化软件动态更新所采用的技术和方法。

📙 相关书籍

  1. 《湖南省大学生计算机程序设计竞赛试题与应用软件开发类作品集萃 2005-2016》高清PDF 本书由两部分组成：其一是“湖南省大学生计算机程序设计竞赛试题及获奖名单”（2005-2016），由历届试题集和获奖名单构成；其二是“湖南省大学生计算机程序设计应用开发类获奖作品选集萃”（2013-2016），由历届作品选登和获奖名单构成。...
  2. 《计算机应用基础》高清PDF 随着我国互联网+思维的不断深入，计算机不仅是在科研、教育、生产等领域得到广泛的应用，对我们日常的学习、生活都产生了重大影响。了解计算机的基本知识，掌握计算机的日常使用与维护，掌握必备的计算机技能，即是时代要求，也是现代职场的基本要求。...
  3. 《“互联网+”计算机应用基础实验教程 Windows 7+Office 2010》高清PDF 本书是《“互联网”计算机应用基础教程-Windows7Office2010》一书的配套实验教程，结合全国计算机等级考试（一级） 大纲（Windows7Office2010）要求，由多年从事大学计算机应用基础一线教学、具有丰富教学经验和实践经验的教师编写。本书着重强调实践环节的教学，根据实践应用安排......
  4. 《WORD/EXCEL/PPT三合一商务办公应用从入门到精通》高清PDF 本书针对初学电脑办公的新手，全面并系统地讲解了WORD、EXCEL、PPT最常用三个组件的办公应用技能。...
  5. 《办公软件案例教程》高清PDF 本书共分为三篇，包括“Word篇”、“Excel篇”和“PowerPoint篇”，第一篇包括：制作电子简报，图文混排、制作员工信息表，表格的制作与编辑、毕业论文排版，长文档的编排、制作邀请函和信封，邮件合并；第二篇包括：制作员工信息表，excel基础员工工资表的统计管理，数据分析与处理；……...
  6. 《计算机应用基础 Windows 7+Office 2010》高清PDF 通过学习本教材，可使学生掌握计算机技术和信息运用能力以及0ffice应用能力。本书内容包括7章：第1章介绍计算机系统的基本概念和计算技术的有关知识；第2章介绍Windows7操作系统和计算机系统应用以及常用应用软件的使用；第3、4、5章分别介绍Word2010、Excel2010、PowerPoin......
  7. 《计算机文化基础Win7+Office 2010》高清PDF 本书是一本讲述计算机基础知识和应用的教材，编写时充分考虑了大学生的知识结构和学习特点，教学内容注重计算机基础知识的介绍和学生动手能力的培养。系统介绍了计算机基础知识、Windows 7操作系统、Word 2010文字处理软件、Excel 2010电子表格软件、PowerPoint 2010演示文稿软......
  8. 《新手学电脑办公从入门到精通》高清PDF 本书为一本新手学电脑办公从入门到精通手册，书中讲解了电脑办公的各项核心技术与精髓内容，帮助读者从入门开始，快速精通使用电脑进行现代办公的各项操作，从新手成为电脑办公高手。全书共分为15章，具体内容包括：体验Windows8、管理办公文件、创建与管理账户、办公文档基本操作、精美图文高级排版、表格数据基......
  9. 《计算机办公软件应用》高清PDF 本教材依据当前中等职业学校计算机专业学生就业岗位实际需求编写，介绍了计算机办公应用的必备知识和技能，包括计算机文字录入、中文Windows、Word、Excel、Powerpoint的使用等内容。为了加深对教学内容的理解和提高实际操作的能力，以行动导向教学和任务驱动教学为总体构思，分为实战篇和实训篇......
  10. 《激情式软件开发 英文版》高清PDF 本书的第一部分讨论了信息技术的影响，如何看待信息系统的价值，以及如何进行适当的需求分析。介绍了人种学及认知技能方法，以帮助开发者为用户工作。这些方法有助于发现系统的主要因素以及他们的相互关系。提出了一个四柱的方法以固定分析：价值，舒适，经验及演变。本书的第二部分提供了一些关于处理急流情形的实践方法和......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。