检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:ZHENG ZhiMing MA ShiLong LI Wei WEI Wei JIANG Xin ZHANG ZhanLi GUO BingHui
机构地区:[1]Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry of Education, Beihang University, Beijing 100191 China [2]State Key Laboratory of Software Development Environment, Beihang University, Beijing 100191, China [3]School of Mathematical Sciences, Peking University, Beijing 100871, China
出 处:《Science in China(Series F)》2009年第8期1328-1334,共7页中国科学(F辑英文版)
基 金:Supported partially by the National Basic Research Program of China (Grant No. 2005CB321900) ;the National Natural Science Foundation of China (Grant No. 60473091)
摘 要:Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications, and software trustworthiness modeling has become a prerequisite and necessary means. To discuss and explain the basic scientific problems in software trustworthiness and to establish theoretical foundations for software trustworthiness measurement, combining the ideas of dynamical system study, this paper studies evolutionary laws of software trustworthiness and the dynamical mechanism under the effect of various internal and external factors, and proposes dynamical models for software trustworthiness, thus, software trustworthiness can be considered as the statistical characteristics of behaviors of software systems in the dynamical and open environment. By analyzing two simple examples, the paper explains the relationship between the limit evolutionary behaviors of software trustworthiness attributes and dynamical system characteristics, and interprets the dynamical characteristics of software trustworthiness and their evolutionary complexity.
关 键 词:software trustworthiness trustworthiness attributes evolutionary complexity dynamical system
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28