基于可拓学的自适应软件形式化方法
A method for self-adaptive software formal modeling by Extenics作者机构：广东海洋大学软件学院广东湛江524088 广东海洋大学财务处广东湛江524088
出 版 物：《智能系统学报》 (CAAI Transactions on Intelligent Systems)
年 卷 期：2015年第10卷第6期
页 面：901-911页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：广东省科技计划资助项目(2014A040402010)
主 题：可拓学 可拓基元 拓展分析 可拓变换 优度评价 形式化方法 自适应软件
摘 要：可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。
维普期刊数据库
同方期刊数据库