基于可拓学的自适应软件形式化方法

摘要：

可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型. 讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性. 用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法.

关键词：可拓学、可拓基元、拓展分析、可拓变换、优度评价、形式化方法、自适应软件

所属期刊栏目：10

分类号：TP311(计算技术、计算机技术)

资助基金：广东省科技计划资助项目2014A040402010

在线出版日期：2016-01-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：901-911